14928 commits

This branch

This branch

All branches

Author	SHA1	Message	Date
Martin Povišer	2dba345049	portarcs: New command to derive propagation arcs	2024-11-13 16:20:35 +01:00
Martin Povišer	4ce8c7a0d3	Merge pull request #4709 from YosysHQ/emil/idstring-in-fold ... functional, glift: use fold overload of IdString::in instead of pool …	2024-11-13 15:17:33 +01:00
Martin Povišer	9da7341003	Merge pull request #4727 from georgerennie/george/bufnorm_constants2 ... bufnorm: preserve constant bits when mapping back to connections	2024-11-13 14:32:15 +01:00
Akash Levy	77257b15ea	Merge pull request #19 from alaindargelas/reconstruct_busses ... Reconstructs busses	2024-11-12 20:06:51 -08:00
Alain Dargelas	61b37bebb6	Reduced complexity: NxM -> N log(M)	2024-11-12 19:55:10 -08:00
Alain Dargelas	ad48ce3da5	Comments and Makefile	2024-11-12 16:22:22 -08:00
github-actions[bot]	8d0bf3f35e	Bump version	2024-11-13 00:20:36 +00:00
Alain Dargelas	846d7d9f4d	Initial commit	2024-11-12 15:51:24 -08:00
Akash Levy	e99828dc94	Add aigmap	2024-11-12 12:00:09 -08:00
Akash Levy	80169758b6	Another naming improvement	2024-11-12 11:54:15 -08:00
Mike Inouye	06e3ac4415	Fix bug when setting Verific runtime string flags. ... Signed-off-by: Mike Inouye <mikeinouye@google.com>	2024-11-12 18:46:26 +00:00
Robin Ole Heinemann	6d4f056a35	cxxrtl: use debug attrs of alias not aliasee	2024-11-12 13:07:33 +00:00
Martin Povišer	0d5c412807	read_liberty: s/busses/buses/	2024-11-12 13:33:41 +01:00
Martin Povišer	56a9202a97	Add read_liberty tests of new options	2024-11-12 13:29:16 +01:00
Martin Povišer	5a0cb5d453	Check in filtered samples of IHP's Liberty data for tests	2024-11-12 13:28:15 +01:00
Martin Povišer	28aa7b00ee	read_liberty: Start an -ignore_busses option	2024-11-12 13:26:38 +01:00
Martin Povišer	0e96e477a2	read_liberty: Defer handling of re-definitions ... Postpone handling re-definitions to after we have established the cell is not supposed to be ignored on the grounds of one of the user-provided flags.	2024-11-12 13:26:38 +01:00
Martin Povišer	c7e8d41600	read_liberty: Set area capacitance attributes	2024-11-12 13:26:38 +01:00
Akash Levy	9f9bacc029	Fixes	2024-11-12 03:44:22 -08:00
Akash Levy	1017b19405	Small README updates	2024-11-12 02:53:13 -08:00
Akash Levy	a3b4789934	Smallfixes	2024-11-12 02:32:03 -08:00
Martin Povišer	915df16c84	Merge pull request #4728 from YosysHQ/emil/fix-filterlib-roundtrip ... filterlib: preserve value quotes	2024-11-12 10:54:35 +01:00
Akash Levy	86d321a306	Undo blif frontend stuff	2024-11-12 01:30:06 -08:00
Akash Levy	950379ecdc	Reenable techmap	2024-11-12 01:22:26 -08:00
Akash Levy	0a87b0f075	Smallfix to opt_expr	2024-11-12 01:22:12 -08:00
Akash Levy	771e5c9996	Fix mem	2024-11-12 00:59:05 -08:00
Krystine Sherwin	d0e5677760	Docs: Less exaggeration	2024-11-12 16:33:47 +13:00
Akash Levy	ddbad572dc	Reduce fanout limit to 256	2024-11-11 17:17:25 -08:00
Akash Levy	5e364599be	Keep shorter name for opt_merge always	2024-11-11 17:07:41 -08:00
Akash Levy	3da6e3f060	No arguments for opt_balance_tree any more	2024-11-11 17:07:30 -08:00
Akash Levy	83234d24f7	Switch from Synopsys register naming to preserve	2024-11-11 17:06:56 -08:00
Akash Levy	894c9816d3	Improve naming: big fix	2024-11-11 17:06:11 -08:00
Emil J. Tywoniak	49e1597ea4	filterlib: preserve value quotes	2024-11-12 01:21:07 +01:00
github-actions[bot]	3afb7725f1	Bump version	2024-11-12 00:20:17 +00:00
George Rennie	ff6c9446c0	bufnorm: preserve constant bits when mapping back to connections	2024-11-12 01:05:15 +01:00
Akash Levy	ea76abdaee	Merge	2024-11-11 11:47:58 -08:00
Robin Ole Heinemann	8bc4bd8a20	cxxrtl, fmt: escape double quotes in c strings	2024-11-11 18:49:05 +00:00
Martin Povišer	7cfc49791f	Merge pull request #4703 from georgerennie/george/pyosys_objrange ... pyosys: support ObjRange	2024-11-11 17:07:28 +01:00
Jannis Harder	558b2f9ae9	Merge pull request #3953 from georgerennie/bug_3769 ... write_smt2: Check for constant bool after fully resolving signal	2024-11-11 16:23:35 +01:00
Jannis Harder	014cb531aa	Merge pull request #4645 from georgerennie/george/btor_undef_array_init ... write_btor: only initialize array with const value when it is fully def	2024-11-11 16:18:57 +01:00
Jannis Harder	261b44718d	Merge pull request #4641 from georgerennie/george/btor_undriven_wires ... write_btor: don't emit undriven bits multiple times	2024-11-11 16:17:25 +01:00
Martin Povišer	1b1a6c4aed	Merge pull request #4525 from georgerennie/peepopt_clock_gate ... peepopt: Add formal opt to rewrite latches to ffs in clock gates	2024-11-11 14:49:09 +01:00
Akash Levy	5f2b77df13	Merge pull request #18 from alaindargelas/main ... remove output port bitblast index	2024-11-10 14:58:11 -08:00
Alain Dargelas	ee8d9e74ac	comment	2024-11-10 09:03:51 -08:00
Alain Dargelas	21034a0b0a	Support assign {a,b} = {c,d} with diff widths	2024-11-10 09:00:29 -08:00
Alain Dargelas	a8eb39f569	faster and simpler code	2024-11-09 14:00:57 -08:00
Alain Dargelas	72ff11fb9b	remove output port bitblast index	2024-11-08 16:43:52 -08:00
Akash Levy	fa50434708	Merge branch 'YosysHQ:main' into main	2024-11-08 14:10:24 -08:00
Emil J	f20f913223	Merge pull request #4679 from YosysHQ/emil/readme-mac-lto ... readme: tell macOS users to use brew clang with LTO	2024-11-08 19:26:28 +01:00
Emil J	792de6e2eb	Merge pull request #4680 from YosysHQ/emil/fix-mac-lto-plugins ... Makefile: add -rdynamic on macOS to fix plugins with LTO	2024-11-08 19:24:48 +01:00