Commit Graph

18187 Commits

Author SHA1 Message Date
Akash Levy f810bff900
Merge pull request #132 from Silimate/ignore_placeholder_ports
[ENG-1827] ignore placeholder/empty ports from verific
2026-03-27 16:41:20 -07:00
Abhinav Tondapu d5122ed2fa [ENG-1827] ignore placeholder/empty ports from verific 2026-03-27 15:20:12 -07:00
Akash Levy 5376dc27e1 Update Verific for bugfix 2026-03-25 22:49:17 -07:00
Akash Levy 22bfdc23a8
Merge pull request #128 from Silimate/negopt_debug_logs
adding temp debug logs to fix runtime issue
2026-03-25 19:07:10 -07:00
Abhinav Tondapu 510ef01b09 adding temp debug logs to fix runtime issue 2026-03-25 16:55:29 -07:00
Akash Levy d99ba91fe7
Merge pull request #126 from Silimate/fix_mem_crash
Safe parameter extraction in mem_from_cell
2026-03-23 07:39:16 -04:00
Akash Levy 0ed1f1bfa4 Smallfixes 2026-03-23 03:51:49 -07:00
Akash Levy 91739e79cb Safe parameter extraction in mem_from_cell 2026-03-23 03:30:55 -07:00
Akash Levy fc320a7e8e
Merge pull request #123 from Silimate/accessor_helpers
adding more fast Cell accessors and small refactoring to reduce code dup
2026-03-19 17:40:18 -04:00
Akash Levy 7771a489e8
Merge pull request #124 from Silimate/sim
Add debugging code before assertion
2026-03-19 12:45:49 -04:00
Stan Lee 8268a79af5 debug before assertion 2026-03-18 14:06:18 -07:00
Stan Lee f9d099503a Merge branch 'main' of github.com:silimate/yosys into sim 2026-03-17 11:44:18 -07:00
Stan Lee a45eaad9a7 Merge branch 'sim' of github.com:silimate/yosys into sim 2026-03-17 11:44:11 -07:00
Akash Levy 00e67a30d0
Merge pull request #121 from Silimate/autoscope
dump the number of scopes/signals in the search space
2026-03-16 13:33:40 -07:00
Stan Lee e5d3bb954e correction 2026-03-16 12:05:27 -07:00
tondapusili 29b182fd9b adding more fast Cell accessors and small refactoring to reduce code dup 2026-03-16 10:47:54 -07:00
Akash Levy 521b1db5ee
Merge pull request #122 from Silimate/optimize_cell_accessors
rtlil: add fast Cell accessors and SigSpec::const_ratio()
2026-03-13 16:45:26 -07:00
tondapusili 5d25ae4db6 rtlil: add fast Cell accessors and SigSpec::const_ratio() 2026-03-13 15:56:55 -07:00
Stan Lee bcf71dea85 dump the number of scopes/signals in the search space 2026-03-13 11:15:46 -07:00
Akash Levy 168d64ab19
Merge pull request #120 from Silimate/is_mostly_const_param
rtlil: parameterize SigSpec::is_mostly_const
2026-03-06 18:37:18 -08:00
Akash Levy 7e6f82ad4d
Merge pull request #119 from Silimate/autoscope
Autoscope Improvement
2026-03-06 16:19:57 -08:00
tondapusili e394197bc5 rtlil: parameterize SigSpec::is_mostly_const 2026-03-06 15:51:58 -08:00
Stan Lee b7984f12f8 greptile 2026-03-06 12:19:17 -08:00
Stan Lee 1592125e71 fix err 2026-03-06 10:36:29 -08:00
Stan Lee 69145403df more updates 2026-03-06 10:32:28 -08:00
Stan Lee c9330dc36f oop 2026-03-06 10:30:49 -08:00
Stan Lee 20c1f3212f cleaner with warning 2026-03-06 10:23:31 -08:00
Stan Lee c3a9a6d90e fix 2026-03-06 09:59:51 -08:00
Stan Lee cb3853fca0 improvements to autoscope 2026-03-06 09:51:45 -08:00
Akash Levy a67471d7f9
Merge pull request #115 from Silimate/sat_clkgate
Sat clkgate
2026-03-04 18:02:27 -08:00
Akash Levy e765688cb7
Merge pull request #118 from Silimate/autoscope
Autoscope supports top-level fork scope ports
2026-03-04 15:06:41 -08:00
AdvaySingh1 e2b71b0d55 Added -word arg 2026-03-04 14:51:47 -08:00
AdvaySingh1 2836cc8f25 Added test cases for the infer_ce pass 2026-03-04 12:03:38 -08:00
AdvaySingh1 26adc17fd7 Revert "Changed to for chacterization"
Removing changing _DFF_ to dff for chacterization
2026-03-04 10:43:53 -08:00
Stan Lee a01d0b2935 autoscope supports top-level fork scope ports 2026-03-04 10:25:53 -08:00
Akash Levy b9dcda8ca6
Merge pull request #112 from Silimate/sim
Fix activity annotation bug
2026-03-03 22:46:32 -08:00
Akash Levy d05236907a Merge branch 'main' into sim 2026-03-03 20:58:07 -08:00
Akash Levy 96104b4431 Merge branch 'main' into sat_clkgate 2026-03-03 20:57:42 -08:00
Akash Levy 958f1c608a
Merge pull request #116 from Silimate/autoscope
Autoscope
2026-03-03 20:49:13 -08:00
Akash Levy 1de7182d14
Merge pull request #114 from Silimate/vcd-fork
Vcd fork
2026-03-03 20:48:44 -08:00
Stan Lee 7e8331dd95 greptile 2026-03-03 15:15:26 -08:00
Akash Levy f126ab94fa
Merge pull request #117 from Silimate/negopt_revision_1
negopt: fix quadratic blowup by adding index hints and deferring nuse…
2026-03-02 21:23:22 -08:00
tondapusili b438fd1fe9 negopt: fix quadratic blowup by adding index hints and deferring nusers to filter 2026-03-02 19:33:25 -08:00
Stan Lee 2bb46d0453 Merge branch 'main' of github.com:silimate/yosys into sim 2026-03-02 14:34:52 -08:00
Stan Lee a1470e14fe typos 2026-03-02 12:57:37 -08:00
Stan Lee a449e6ab38 always dump available scopes 2026-03-02 12:19:09 -08:00
Stan Lee 83e05a6509 fixes 2026-03-02 12:07:59 -08:00
Stan Lee da25b800bc finalized 2026-03-02 11:05:44 -08:00
Stan Lee 6594ff508f improvement 2026-03-02 00:42:34 -08:00
Akash Levy 7d96a7f73c Update aigmap to go a lot faster using aig template cache and uniquify cache 2026-03-01 22:35:06 -08:00