Commit Graph

4622 Commits

Author SHA1 Message Date
Akash Levy 3098dcc86c
Merge pull request #56 from alaindargelas/limit_fanout
Fanout limit with buffer tree
2025-03-07 14:19:45 -08:00
Alain Dargelas 52b1cbf456 Separate into 2 passes 2025-03-07 14:11:25 -08:00
Akash Levy fa97c4830e Generalize muxadd to muxorder 2025-03-06 16:57:47 -08:00
Alain Dargelas c54c3f66b7 Single call to splitnets 2025-03-06 16:46:22 -08:00
Alain Dargelas 81ab3b5fed call splitnets for the whole design 2025-03-06 16:21:11 -08:00
Alain Dargelas d4e4ece9fe bit split initial splitfanout call 2025-03-06 10:47:27 -08:00
Alain Dargelas 4b598e317b getfanout factor 2025-03-05 13:10:53 -08:00
Alain Dargelas f65d822935 cleanup dangling buffers 2025-03-05 11:49:12 -08:00
Alain Dargelas 7d46ab08d5 clocks, resets filters 2025-03-05 10:28:49 -08:00
Alain Dargelas bc05f4fead Use buf instead of pos 2025-03-05 09:40:26 -08:00
Akash Levy 881080a827 Merge upstream 2025-03-05 07:54:26 -08:00
Akash Levy 12137c7ac4 Update memory_dff naming 2025-03-05 06:39:47 -08:00
Akash Levy 27c0fd9905 Fix pmuxtree naming 2025-03-05 06:36:17 -08:00
Akash Levy e42e196695 Reenable opt_clean in submod 2025-03-05 06:18:38 -08:00
Akash Levy fce2f2676d Rename minor things in opt_share 2025-03-05 06:17:41 -08:00
Akash Levy 7c1cb53c85 Packed muxes have src attr for each constituent mux 2025-03-05 06:09:40 -08:00
Akash Levy 8117ab228e Use set for strpool_attribute to maintain ordering, but keep some backwards compatibility 2025-03-05 03:28:19 -08:00
Akash Levy 3a67468860 Use ordered set for src attrs when flattening 2025-03-04 23:47:48 -08:00
Akash Levy 1b1855353d Reduce verbosity of some key things 2025-03-04 22:58:56 -08:00
Alain Dargelas 9f36d9dea9 comments 2025-03-04 15:52:10 -08:00
Alain Dargelas 4035a24e4c bulk splitnets 2025-03-04 15:06:58 -08:00
Alain Dargelas 7df2a8eb8e splinets fencing 2025-03-04 14:32:44 -08:00
Alain Dargelas 1027a96860 inputs option 2025-03-04 11:43:12 -08:00
Alain Dargelas 864850ab51 speedup 2025-03-04 11:09:09 -08:00
Alain Dargelas 3e25ff70ee input fanout 2025-03-04 10:52:46 -08:00
Alain Dargelas 104d39057e unique names 2025-03-04 10:31:20 -08:00
Alain Dargelas fd2ac3ad8d simplify 2025-03-04 09:22:55 -08:00
Alain Dargelas a8fa936080 simplify 2025-03-04 09:20:31 -08:00
Alain Dargelas 425e1a03ae reuse net on same cell 2025-03-03 21:45:53 -08:00
Alain Dargelas 6cff6d9c49 input fanout 2025-03-03 16:51:10 -08:00
Alain Dargelas d5d58349fd split input nets with high fanout 2025-03-03 15:06:02 -08:00
Alain Dargelas a1ad385702 help 2025-03-03 11:31:27 -08:00
Alain Dargelas be95a08c08 cleanup 2025-03-03 11:23:45 -08:00
Alain Dargelas c7623e4850 cleanup 2025-03-03 10:39:47 -08:00
Alain Dargelas b95fc57136 comments 2025-03-03 10:08:27 -08:00
Alain Dargelas c8847e8286 debug flag 2025-03-03 09:35:49 -08:00
Alain Dargelas 21f026cb05 formal 2025-02-28 22:08:19 -08:00
Alain Dargelas aa4c5e9ee5 working splinets 2025-02-28 21:54:28 -08:00
Alain Dargelas 0d854120a7 fanout per buffer 2025-02-28 20:38:36 -08:00
Alain Dargelas 2741989158 honor limits 2025-02-28 14:50:17 -08:00
Alain Dargelas 25553a8ca9 splitnets 2025-02-28 12:07:58 -08:00
Alain Dargelas 5e31574ff0 Help 2025-02-27 11:09:27 -08:00
Alain Dargelas 3d1fb7a093 warning 2025-02-27 10:48:01 -08:00
Alain Dargelas 4089c1b358 obs_clean debug and fencing 2025-02-27 10:13:16 -08:00
Alain Dargelas ecd2ac4302 fixes 2025-02-26 16:51:39 -08:00
Alain Dargelas 6a26b2db55 WIP 2025-02-26 16:17:09 -08:00
Akash Levy 9d3b7f7474
Merge branch 'YosysHQ:main' into main 2025-02-26 09:51:44 -08:00
Emil J b4a169527d
Merge pull request #4894 from YosysHQ/emil/abstract
Add `abstract` pass for formal verification
2025-02-25 11:16:37 +01:00
Akash Levy a49e492693
Merge pull request #54 from alaindargelas/obs_clean
Observability clean pass
2025-02-24 18:16:15 -08:00
Akash Levy 18393156db
Update Makefile.inc 2025-02-24 16:18:05 -08:00