Robert O'Callahan 
								
							 
						 
						
							
							
							
							
								
							
							
								8b75c06141 
								
							 
						 
						
							
							
								
								Add a general tests/.gitignore and remove redundant entries in subdirectory .gitignore files.  
							
							
							
						 
						
							2025-07-22 10:38:38 +00:00 
							
								 
							
							
								 
							
						 
					 
				
					
						
							
								
								
									Krystine Sherwin 
								
							 
						 
						
							
							
								
								
							
							
							
								
							
							
								cd3b914132 
								
							 
						 
						
							
							
								
								Reinstate  #4768  
							
							... 
							
							
							
							Revert the reversion so that we can fix the bugs that the PR missed. 
							
						 
						
							2025-04-08 11:58:05 +12:00 
							
								 
							
							
								 
							
						 
					 
				
					
						
							
								
								
									Miodrag Milanović 
								
							 
						 
						
							
							
								
								
							
							
							
								
							
							
								d49364d96f 
								
							 
						 
						
							
							
								
								Revert "Refactor full_selection"  
							
							
							
						 
						
							2025-04-07 12:11:55 +02:00 
							
								 
							
							
								 
							
						 
					 
				
					
						
							
								
								
									Krystine Sherwin 
								
							 
						 
						
							
							
								
								
							
							
							
								
							
							
								9a9cd05f6c 
								
							 
						 
						
							
							
								
								tests: Fixes for boxes  
							
							... 
							
							
							
							cxxrtl `test_unconnected_output` and simple_abc9 `abc9.v` both expect boxed modules in the outputs, so make sure they work as expected. 
							
						 
						
							2025-03-14 14:08:15 +13:00 
							
								 
							
							
								 
							
						 
					 
				
					
						
							
								
								
									Charlotte 
								
							 
						 
						
							
							
							
							
								
							
							
								d130f7fca2 
								
							 
						 
						
							
							
								
								tests: use /usr/bin/env for bash.  
							
							
							
						 
						
							2023-08-12 11:59:39 +10:00 
							
								 
							
							
								 
							
						 
					 
				
					
						
							
								
								
									Eddie Hung 
								
							 
						 
						
							
							
								
								
							
							
							
								
							
							
								55dc5a4e4f 
								
							 
						 
						
							
							
								
								abc9: fix SCC issues ( #2694 )  
							
							... 
							
							
							
							* xilinx: add SCC test for DSP48E1
* xilinx: Gate DSP48E1 being a whitebox behind ALLOW_WHITEBOX_DSP48E1
Have a test that checks it works through ABC9 when enabled
* abc9 to break SCCs using $__ABC9_SCC_BREAKER module
* Add test
* abc9_ops: remove refs to (* abc9_keep *) on wires
* abc9_ops: do not bypass cells in an SCC
* Add myself to CODEOWNERS for abc9*
* Fix compile
* abc9_ops: run -prep_hier before scc
* Fix tests
* Remove bug reference pending fix
* abc9: fix for -prep_hier -dff
* xaiger: restore PI handling
* abc9_ops: -prep_xaiger sigmap
* abc9_ops: -mark_scc -> -break_scc
* abc9: eliminate hard-coded abc9.box from tests
Also tidy up
* Address review 
							
						 
						
							2021-03-29 22:01:57 -07:00 
							
								 
							
							
								 
							
						 
					 
				
					
						
							
								
								
									Zachary Snow 
								
							 
						 
						
							
							
							
							
								
							
							
								b6904a8e53 
								
							 
						 
						
							
							
								
								Set aside extraneous tests in simple_abc9 test suite  
							
							... 
							
							
							
							New test cases on one branch may be automatically copied from simple/ to
simple_abc9/, causing failures when switching to another branch. This
updates the simple_abc9 script to set aside extraneous tests in a
non-destructive way. 
							
						 
						
							2021-03-01 12:13:11 -05:00 
							
								 
							
							
								 
							
						 
					 
				
					
						
							
								
								
									Eddie Hung 
								
							 
						 
						
							
							
							
							
								
							
							
								5ad3a85288 
								
							 
						 
						
							
							
								
								abc9: test to use box file instead of auto  
							
							
							
						 
						
							2020-05-14 10:33:56 -07:00 
							
								 
							
							
								 
							
						 
					 
				
					
						
							
								
								
									Eddie Hung 
								
							 
						 
						
							
							
							
							
								
							
							
								977262c803 
								
							 
						 
						
							
							
								
								Update simple_abc9 tests  
							
							
							
						 
						
							2020-02-27 10:17:29 -08:00 
							
								 
							
							
								 
							
						 
					 
				
					
						
							
								
								
									Eddie Hung 
								
							 
						 
						
							
							
							
							
								
							
							
								dca1c806ec 
								
							 
						 
						
							
							
								
								simple_abc9 tests to discard whitebox before write for sim  
							
							
							
						 
						
							2020-01-23 19:55:11 -08:00 
							
								 
							
							
								 
							
						 
					 
				
					
						
							
								
								
									Eddie Hung 
								
							 
						 
						
							
							
							
							
								
							
							
								11e50c0e9e 
								
							 
						 
						
							
							
								
								Test for (* keep *)-ed abc9_box_id  
							
							
							
						 
						
							2020-01-23 18:56:25 -08:00 
							
								 
							
							
								 
							
						 
					 
				
					
						
							
								
								
									Eddie Hung 
								
							 
						 
						
							
							
							
							
								
							
							
								48aec34e0d 
								
							 
						 
						
							
							
								
								abc_box_id -> abc9_box_id in test  
							
							
							
						 
						
							2020-01-23 18:53:14 -08:00 
							
								 
							
							
								 
							
						 
					 
				
					
						
							
								
								
									Eddie Hung 
								
							 
						 
						
							
							
							
							
								
							
							
								aed67dd020 
								
							 
						 
						
							
							
								
								abc9 needs a clean afterwards  
							
							
							
						 
						
							2019-12-16 18:42:23 -08:00 
							
								 
							
							
								 
							
						 
					 
				
					
						
							
								
								
									Eddie Hung 
								
							 
						 
						
							
							
							
							
								
							
							
								a46a7e8a67 
								
							 
						 
						
							
							
								
								Merge remote-tracking branch 'origin/master' into xaig_dff  
							
							
							
						 
						
							2019-12-06 23:22:52 -08:00 
							
								 
							
							
								 
							
						 
					 
				
					
						
							
								
								
									David Shah 
								
							 
						 
						
							
							
							
							
								
							
							
								e9ce4e658b 
								
							 
						 
						
							
							
								
								abc9: Fix breaking of SCCs  
							
							... 
							
							
							
							Signed-off-by: David Shah <dave@ds0.me> 
							
						 
						
							2019-12-01 20:44:56 +00:00 
							
								 
							
							
								 
							
						 
					 
				
					
						
							
								
								
									Eddie Hung 
								
							 
						 
						
							
							
							
							
								
							
							
								f6c0ec1d09 
								
							 
						 
						
							
							
								
								Merge remote-tracking branch 'origin/eddie/write_xaiger_improve' into xaig_dff  
							
							
							
						 
						
							2019-11-27 01:03:33 -08:00 
							
								 
							
							
								 
							
						 
					 
				
					
						
							
								
								
									Eddie Hung 
								
							 
						 
						
							
							
							
							
								
							
							
								15042eaf57 
								
							 
						 
						
							
							
								
								Remove notes  
							
							
							
						 
						
							2019-11-26 22:41:35 -08:00 
							
								 
							
							
								 
							
						 
					 
				
					
						
							
								
								
									Eddie Hung 
								
							 
						 
						
							
							
							
							
								
							
							
								b46e636c91 
								
							 
						 
						
							
							
								
								Merge branch 'xaig_dff' of github.com:YosysHQ/yosys into xaig_dff  
							
							
							
						 
						
							2019-11-23 08:38:48 -08:00 
							
								 
							
							
								 
							
						 
					 
				
					
						
							
								
								
									Eddie Hung 
								
							 
						 
						
							
							
							
							
								
							
							
								74ea438136 
								
							 
						 
						
							
							
								
								Add testcase for signal used as part input part output  
							
							
							
						 
						
							2019-11-22 16:52:55 -08:00 
							
								 
							
							
								 
							
						 
					 
				
					
						
							
								
								
									Eddie Hung 
								
							 
						 
						
							
							
							
							
								
							
							
								c761fa49b7 
								
							 
						 
						
							
							
								
								Missing endmodule  
							
							
							
						 
						
							2019-11-22 12:37:57 -08:00 
							
								 
							
							
								 
							
						 
					 
				
					
						
							
								
								
									Eddie Hung 
								
							 
						 
						
							
							
							
							
								
							
							
								fe36275234 
								
							 
						 
						
							
							
								
								Merge remote-tracking branch 'origin/xaig_dff' into eddie/xaig_dff_adff  
							
							
							
						 
						
							2019-11-21 16:32:52 -08:00 
							
								 
							
							
								 
							
						 
					 
				
					
						
							
								
								
									Eddie Hung 
								
							 
						 
						
							
							
							
							
								
							
							
								5a30e3ac3b 
								
							 
						 
						
							
							
								
								Merge branch 'eddie/xaig_dff_adff' into xaig_dff  
							
							
							
						 
						
							2019-11-21 16:15:25 -08:00 
							
								 
							
							
								 
							
						 
					 
				
					
						
							
								
								
									Eddie Hung 
								
							 
						 
						
							
							
							
							
								
							
							
								911a152b39 
								
							 
						 
						
							
							
								
								Add test  
							
							
							
						 
						
							2019-11-21 16:13:28 -08:00 
							
								 
							
							
								 
							
						 
					 
				
					
						
							
								
								
									Eddie Hung 
								
							 
						 
						
							
							
							
							
								
							
							
								cd9e830b67 
								
							 
						 
						
							
							
								
								Add multi clock test  
							
							
							
						 
						
							2019-11-20 13:28:55 -08:00 
							
								 
							
							
								 
							
						 
					 
				
					
						
							
								
								
									Eddie Hung 
								
							 
						 
						
							
							
							
							
								
							
							
								90c5ca330c 
								
							 
						 
						
							
							
								
								Add two tests  
							
							
							
						 
						
							2019-11-19 16:57:58 -08:00 
							
								 
							
							
								 
							
						 
					 
				
					
						
							
								
								
									Emily 
								
							 
						 
						
							
							
							
							
								
							
							
								69a5dea89e 
								
							 
						 
						
							
							
								
								Use command -v rather than which  
							
							
							
						 
						
							2019-09-03 00:57:32 +01:00 
							
								 
							
							
								 
							
						 
					 
				
					
						
							
								
								
									Eddie Hung 
								
							 
						 
						
							
							
							
							
								
							
							
								6a111ad324 
								
							 
						 
						
							
							
								
								Nicer formatting  
							
							
							
						 
						
							2019-08-29 17:24:48 -07:00 
							
								 
							
							
								 
							
						 
					 
				
					
						
							
								
								
									Clifford Wolf 
								
							 
						 
						
							
							
							
							
								
							
							
								21699e5840 
								
							 
						 
						
							
							
								
								Add *.sv to tests/simple_abc9/.gitignore  
							
							... 
							
							
							
							Signed-off-by: Clifford Wolf <clifford@clifford.at> 
							
						 
						
							2019-08-19 13:04:57 +02:00 
							
								 
							
							
								 
							
						 
					 
				
					
						
							
								
								
									Clifford Wolf 
								
							 
						 
						
							
							
							
							
								
							
							
								9e940f1276 
								
							 
						 
						
							
							
								
								Speed up "make test" and related cleanups  
							
							... 
							
							
							
							Signed-off-by: Clifford Wolf <clifford@clifford.at> 
							
						 
						
							2019-08-17 14:37:07 +02:00 
							
								 
							
							
								 
							
						 
					 
				
					
						
							
								
								
									Clifford Wolf 
								
							 
						 
						
							
							
							
							
								
							
							
								f8512864cd 
								
							 
						 
						
							
							
								
								Add tests/simple_abc9/.gitignore  
							
							... 
							
							
							
							Signed-off-by: Clifford Wolf <clifford@clifford.at> 
							
						 
						
							2019-07-09 20:58:01 +02:00 
							
								 
							
							
								 
							
						 
					 
				
					
						
							
								
								
									Eddie Hung 
								
							 
						 
						
							
							
							
							
								
							
							
								014606affe 
								
							 
						 
						
							
							
								
								Fix issue with part of PI being 1'bx  
							
							
							
						 
						
							2019-06-20 17:38:16 -07:00 
							
								 
							
							
								 
							
						 
					 
				
					
						
							
								
								
									Eddie Hung 
								
							 
						 
						
							
							
							
							
								
							
							
								2e7b3eee40 
								
							 
						 
						
							
							
								
								Add a couple more tests  
							
							
							
						 
						
							2019-06-12 15:43:43 -07:00 
							
								 
							
							
								 
							
						 
					 
				
					
						
							
								
								
									Eddie Hung 
								
							 
						 
						
							
							
							
							
								
							
							
								25befbf542 
								
							 
						 
						
							
							
								
								Rename to  #23  
							
							
							
						 
						
							2019-05-29 15:26:33 -07:00 
							
								 
							
							
								 
							
						 
					 
				
					
						
							
								
								
									Eddie Hung 
								
							 
						 
						
							
							
							
							
								
							
							
								aa2380c17a 
								
							 
						 
						
							
							
								
								Add abc_test024  
							
							
							
						 
						
							2019-05-29 15:24:38 -07:00 
							
								 
							
							
								 
							
						 
					 
				
					
						
							
								
								
									Eddie Hung 
								
							 
						 
						
							
							
							
							
								
							
							
								92197326b8 
								
							 
						 
						
							
							
								
								Add abc9_test022  
							
							
							
						 
						
							2019-05-28 12:43:07 -07:00 
							
								 
							
							
								 
							
						 
					 
				
					
						
							
								
								
									Eddie Hung 
								
							 
						 
						
							
							
							
							
								
							
							
								eec314e262 
								
							 
						 
						
							
							
								
								Remove topo sort no-loop assertion, with test  
							
							
							
						 
						
							2019-04-24 21:06:53 -07:00 
							
								 
							
							
								 
							
						 
					 
				
					
						
							
								
								
									Eddie Hung 
								
							 
						 
						
							
							
							
							
								
							
							
								bfd71e0990 
								
							 
						 
						
							
							
								
								Fix abc9 with (* keep *) wires  
							
							
							
						 
						
							2019-04-23 16:11:14 -07:00 
							
								 
							
							
								 
							
						 
					 
				
					
						
							
								
								
									Eddie Hung 
								
							 
						 
						
							
							
							
							
								
							
							
								59c993e437 
								
							 
						 
						
							
							
								
								Select to find union of both sets on stack  
							
							
							
						 
						
							2019-04-19 15:47:53 -07:00 
							
								 
							
							
								 
							
						 
					 
				
					
						
							
								
								
									Eddie Hung 
								
							 
						 
						
							
							
							
							
								
							
							
								0c8a839f13 
								
							 
						 
						
							
							
								
								Re-enable partsel.v test  
							
							
							
						 
						
							2019-04-16 13:10:35 -07:00 
							
								 
							
							
								 
							
						 
					 
				
					
						
							
								
								
									Eddie Hung 
								
							 
						 
						
							
							
							
							
								
							
							
								dfb23a79dd 
								
							 
						 
						
							
							
								
								Uncomment out more tests  
							
							
							
						 
						
							2019-02-26 12:18:48 -08:00 
							
								 
							
							
								 
							
						 
					 
				
					
						
							
								
								
									Eddie Hung 
								
							 
						 
						
							
							
							
							
								
							
							
								66b5f5166b 
								
							 
						 
						
							
							
								
								Enable two inout tests  
							
							
							
						 
						
							2019-02-26 11:39:17 -08:00 
							
								 
							
							
								 
							
						 
					 
				
					
						
							
								
								
									Eddie Hung 
								
							 
						 
						
							
							
							
							
								
							
							
								65c8ccf7b5 
								
							 
						 
						
							
							
								
								Add broken testcases  
							
							
							
						 
						
							2019-02-25 15:06:23 -08:00 
							
								 
							
							
								 
							
						 
					 
				
					
						
							
								
								
									Eddie Hung 
								
							 
						 
						
							
							
							
							
								
							
							
								107da3becf 
								
							 
						 
						
							
							
								
								Working simple_abc9 tests  
							
							
							
						 
						
							2019-02-21 11:16:25 -08:00 
							
								 
							
							
								 
							
						 
					 
				
					
						
							
								
								
									Eddie Hung 
								
							 
						 
						
							
							
							
							
								
							
							
								c6fd057eda 
								
							 
						 
						
							
							
								
								Add abc9.v testcase to simple_abc9  
							
							
							
						 
						
							2019-02-21 10:37:45 -08:00 
							
								 
							
							
								 
							
						 
					 
				
					
						
							
								
								
									Eddie Hung 
								
							 
						 
						
							
							
							
							
								
							
							
								869343b040 
								
							 
						 
						
							
							
								
								simple_abc9 tests to now preserve memories  
							
							
							
						 
						
							2019-02-20 16:19:01 -08:00 
							
								 
							
							
								 
							
						 
					 
				
					
						
							
								
								
									Eddie Hung 
								
							 
						 
						
							
							
							
							
								
							
							
								43d5471570 
								
							 
						 
						
							
							
								
								Move tests/techmap/abc9 to simple_abc9  
							
							
							
						 
						
							2019-02-20 15:34:59 -08:00 
							
								 
							
							
								 
							
						 
					 
				
					
						
							
								
								
									Eddie Hung 
								
							 
						 
						
							
							
							
							
								
							
							
								945bbcc298 
								
							 
						 
						
							
							
								
								Add tests/simple_abc9  
							
							
							
						 
						
							2019-02-20 15:31:35 -08:00