127 commits

Author	SHA1	Message	Date
Kelvin Chung	81f3369f24	Add check at constmap and merge test	2025-04-14 11:44:52 +01:00
Kelvin Chung	414dc85573	Correct and more test	2025-04-10 00:01:50 +01:00
Kelvin Chung	a0dabf9203	Add extra test	2025-03-26 22:24:41 +00:00
Kelvin Chung	7bbdf6049a	Move implementation to constmap and add test	2025-03-26 11:52:55 +00:00
Martin Povišer	557047fe1e	opt_clean, simplemap: Add $buf handling	2025-03-07 16:08:38 +01:00
Emil J. Tywoniak	6240aec433	test: restore verific handling, nicer naming	2024-12-13 10:24:47 +01:00
Emil J. Tywoniak	55dcf0e200	tests: fix dfflibmap test - false negative conflict multiple -liberty vs enable inference	2024-12-10 15:48:23 +01:00
Emil J	87736a2bf9	Merge pull request #4807 from YosysHQ/emil/dfflibmap-test-dffe ... dfflibmap: cover enable inference with test	2024-12-10 12:41:11 +01:00
Emil J. Tywoniak	681b678417	dfflibmap: cover enable inference with test	2024-12-09 14:18:08 +01:00
Martin Povišer	14ee5ce800	Merge pull request #4787 from povik/booth-macc ... booth: Map simple `$macc` instances too	2024-12-04 11:49:34 +01:00
Emil J. Tywoniak	6edf9c86cb	libparse: add LibertyMergedCells, enable multiple -liberty args for dfflibmap and clockgate	2024-12-03 17:36:00 +01:00
Emil J. Tywoniak	fe64a714a9	techmap: add a Sklansky option for $lcu mapping	2024-12-02 11:34:58 +01:00
Martin Povišer	1ded817beb	booth: Map simple $macc instances too	2024-12-01 16:00:04 +01:00
Emil J. Tywoniak	3ebc714dbc	techmap: test consistently with other equiv_make tests	2024-11-29 00:15:02 +01:00
Emil J. Tywoniak	91844968fd	techmap: wrap builtin $lcu as golden module in PPA tests	2024-11-29 00:13:21 +01:00
Emil J. Tywoniak	a41ef0271c	techmap: remove ppa.nomatch by purging internal signals	2024-11-29 00:03:49 +01:00
Emil J. Tywoniak	4bf3677640	techmap: set Han-Carlson adder priority consistent with Kogge-Stone	2024-11-28 23:54:00 +01:00
Emil J. Tywoniak	3f078d9afa	tests: rework Kogge-Stone test consistently with Han-Carlson	2024-11-28 15:33:21 +01:00
Emil J. Tywoniak	1a562f9605	techmap: add TCL test for Han-Carlson adder	2024-11-28 15:33:21 +01:00
Emil J. Tywoniak	a5bc36f77e	clockgate: add -dont_use	2024-11-18 13:45:30 +01:00
Emil J. Tywoniak	b08441d95c	clockgate: shuffle test liberty to exercise comparison better	2024-11-18 12:48:50 +01:00
Emil J. Tywoniak	1e3f8cc630	clockgate: add test liberty file	2024-11-18 12:45:27 +01:00
Emil J. Tywoniak	c921d85a85	clockgate: fix test comments	2024-11-18 12:33:09 +01:00
KrystalDelusion	4343c791cb	Merge pull request #4704 from YosysHQ/krys/drop_ilang ... Remove references to ilang	2024-11-08 11:28:06 +13:00
George Rennie	a31c968340	tests/bufnorm: add test for bufnorm of constant	2024-11-07 12:55:50 +01:00
Krystine Sherwin	ee73a91f44	Remove references to ilang	2024-11-05 12:36:31 +13:00
Martin Povišer	c9ed6d8dcf	cellmatch: Rename -lut_attrs to -derive_luts; document option	2024-11-04 14:28:40 +01:00
Martin Povišer	4cfdb7ab50	Adjust operation naming in aigmap test	2024-09-17 13:55:58 +02:00
Emil J. Tywoniak	1e999a3cb7	clockgate: EN can be a bit on a multi-bit wire	2024-09-11 19:18:25 +02:00
Emil J. Tywoniak	7e473299bd	clockgate: bail on constant signals	2024-09-09 21:20:19 +02:00
Emil J. Tywoniak	dc039d8be4	clockgate: test fine-grained cells	2024-09-09 21:03:22 +02:00
Emil J. Tywoniak	e64fceef70	clockgate: prototype clock gating	2024-09-09 15:00:54 +02:00
Martin Povišer	b143e5678f	cellmatch: Rename the special design to $cellmatch	2024-05-03 16:42:41 +02:00
Martin Povišer	913bc87c44	cellmatch: Add test	2024-05-03 16:42:41 +02:00
Emil J. Tywoniak	a833f05036	techmap: add dynamic cell type test	2024-05-03 13:53:49 +02:00
Martin Povišer	c49d6e7874	techmap: Add Kogge-Stone test	2024-03-27 11:08:26 +01:00
Austin Rovinski	689feed012	dfflibmap: Add a -dont_use flag to ignore cells ... This is an alternative to setting the dont_use property in lib. This brings dfflibmap in parity with the abc pass for dont_use. Signed-off-by: Austin Rovinski <rovinski@nyu.edu>	2024-02-19 13:00:18 -05:00
N. Engelhardt	d87bd7ca3f	Merge pull request #3887 from kivikakk/env-bash ... tests: use /usr/bin/env for bash.	2023-12-18 16:33:35 +01:00
Martin Povišer	4506e11d0f	booth: Extend test to catch bug from previous commit	2023-10-04 23:30:29 +02:00
Martin Povišer	b0045300fd	booth: Cut down the test ... Cut the test down from taking ~25 s to ~3 s.	2023-09-28 11:55:51 +02:00
andyfox-rushc	6d29dc659b	renamed passname to booth, replaced connect_sigSpecToWire with connect, updated test script	2023-09-08 15:34:56 -07:00
Martin Povišer	25a33d4082	techmap: Make the Booth test deterministic	2023-09-07 14:56:56 +02:00
Martin Povišer	0c2a99ca47	techmap: Test the Booth multiplier	2023-09-07 14:46:59 +02:00
Charlotte	d130f7fca2	tests: use /usr/bin/env for bash.	2023-08-12 11:59:39 +10:00
Martin Povišer	93988ef5df	tests: Extend aigmap.ys with SAT comparison ... Extend the aigmap.ys test with SAT-based comparison of the original cells and their AIG implementations. This tests both the usual cells and the single-bit Yosys gates.	2023-07-31 16:26:50 +02:00
N. Engelhardt	ecfa7e9fbc	add pmux option to bmuxmap for better fsm detection with verific frontend	2023-01-30 16:12:53 +01:00
Jannis Harder	0113f44faa	Reenable existing equiv_opt tests	2022-10-07 16:04:51 +02:00
Jannis Harder	81906aa627	Fix tests for check in equiv_opt	2022-10-07 16:04:51 +02:00
Marcelina Kościelnicka	77b1dfd8c3	opt_mem: Remove constant-value bit lanes.	2022-05-07 23:13:16 +02:00
Claire Xenia Wolf	d6e4d3f1ba	Fix the tests we just broke ... Signed-off-by: Claire Xenia Wolf <claire@clairexen.net>	2021-12-10 00:22:37 +01:00