| .. | 
			
		
		
			
			
			
			
				| 
					
						
							
								.gitignore
							
						
					
				 | 
				
					
						
							
							opt_mem: Remove constant-value bit lanes.
						
					
				 | 
				2022-05-07 23:13:16 +02:00 | 
			
		
			
			
			
			
				| 
					
						
							
								abc9.ys
							
						
					
				 | 
				
					
						
							
							Merge remote-tracking branch 'origin/master' into eddie/abc9_refactor
						
					
				 | 
				2020-01-15 16:42:16 -08:00 | 
			
		
			
			
			
			
				| 
					
						
							
								adff2dff.ys
							
						
					
				 | 
				
					
						
							
							Reenable existing equiv_opt tests
						
					
				 | 
				2022-10-07 16:04:51 +02:00 | 
			
		
			
			
			
			
				| 
					
						
							
								aigmap.ys
							
						
					
				 | 
				
					
						
							
							tests: Extend aigmap.ys with SAT comparison
						
					
				 | 
				2023-07-31 16:26:50 +02:00 | 
			
		
			
			
			
			
				| 
					
						
							
								autopurge.ys
							
						
					
				 | 
				
					
						
							
							Hell let's add the original #1381 testcase too
						
					
				 | 
				2019-09-20 17:58:51 -07:00 | 
			
		
			
			
			
			
				| 
					
						
							
								bmuxmap_pmux.ys
							
						
					
				 | 
				
					
						
							
							add pmux option to bmuxmap for better fsm detection with verific frontend
						
					
				 | 
				2023-01-30 16:12:53 +01:00 | 
			
		
			
			
			
			
				| 
					
						
							
								booth.ys
							
						
					
				 | 
				
					
						
							
							booth: Extend test to catch bug from previous commit
						
					
				 | 
				2023-10-04 23:30:29 +02:00 | 
			
		
			
			
			
			
				| 
					
						
							
								booth_map_script.ys_
							
						
					
				 | 
				
					
						
							
							renamed passname to booth, replaced connect_sigSpecToWire with connect, updated test script
						
					
				 | 
				2023-09-08 15:34:56 -07:00 | 
			
		
			
			
			
			
				| 
					
						
							
								bug2183.ys
							
						
					
				 | 
				
					
						
							
							flatten, techmap: don't canonicalize tpl driven bits via sigmap.
						
					
				 | 
				2020-08-26 16:29:42 +00:00 | 
			
		
			
			
			
			
				| 
					
						
							
								bug2321.ys
							
						
					
				 | 
				
					
						
							
							techmap.CONSTMAP: Handle outputs before inputs.
						
					
				 | 
				2020-08-05 12:28:18 +02:00 | 
			
		
			
			
			
			
				| 
					
						
							
								bug2332.ys
							
						
					
				 | 
				
					
						
							
							peeopt.shiftmul: Add a signedness check.
						
					
				 | 
				2020-08-05 21:01:20 +02:00 | 
			
		
			
			
			
			
				| 
					
						
							
								bug2759.ys
							
						
					
				 | 
				
					
						
							
							abc9: holes module to instantiate cells with NEW_ID (#2992)
						
					
				 | 
				2021-09-09 10:06:20 -07:00 | 
			
		
			
			
			
			
				| 
					
						
							
								bug2972.ys
							
						
					
				 | 
				
					
						
							
							abc9: make re-entrant (#2993)
						
					
				 | 
				2021-09-09 10:06:31 -07:00 | 
			
		
			
			
			
			
				| 
					
						
							
								cellmatch.ys
							
						
					
				 | 
				
					
						
							
							cellmatch: Rename the special design to $cellmatch
						
					
				 | 
				2024-05-03 16:42:41 +02:00 | 
			
		
			
			
			
			
				| 
					
						
							
								cellname.ys
							
						
					
				 | 
				
					
						
							
							techmap: Add _TECHMAP_CELLNAME_ special parameter.
						
					
				 | 
				2020-07-21 15:00:54 +02:00 | 
			
		
			
			
			
			
				| 
					
						
							
								clkbufmap.ys
							
						
					
				 | 
				
					
						
							
							clkbufmap: improve input pad handling.
						
					
				 | 
				2020-07-09 18:48:01 +02:00 | 
			
		
			
			
			
			
				| 
					
						
							
								clockgate.ys
							
						
					
				 | 
				
					
						
							
							clockgate: bail on constant signals
						
					
				 | 
				2024-09-09 21:20:19 +02:00 | 
			
		
			
			
			
			
				| 
					
						
							
								cmp2lcu.ys
							
						
					
				 | 
				
					
						
							
							+/cmp2lcu.v to work efficiently for fully/partially constant inputs
						
					
				 | 
				2020-04-03 14:28:22 -07:00 | 
			
		
			
			
			
			
				| 
					
						
							
								dff2ff.ys
							
						
					
				 | 
				
					
						
							
							Reenable existing equiv_opt tests
						
					
				 | 
				2022-10-07 16:04:51 +02:00 | 
			
		
			
			
			
			
				| 
					
						
							
								dffinit.ys
							
						
					
				 | 
				
					
						
							
							dffinit: Avoid setting init parameter to zero-length value.
						
					
				 | 
				2020-04-14 19:52:19 +02:00 | 
			
		
			
			
			
			
				| 
					
						
							
								dfflegalize_adff.ys
							
						
					
				 | 
				
					
						
							
							dfflegalize: Add tests targetting aldff.
						
					
				 | 
				2021-10-27 14:14:01 +02:00 | 
			
		
			
			
			
			
				| 
					
						
							
								dfflegalize_adff_init.ys
							
						
					
				 | 
				
					
						
							
							dfflegalize: Add tests targetting aldff.
						
					
				 | 
				2021-10-27 14:14:01 +02:00 | 
			
		
			
			
			
			
				| 
					
						
							
								dfflegalize_adlatch.ys
							
						
					
				 | 
				
					
						
							
							Fix tests for check in equiv_opt
						
					
				 | 
				2022-10-07 16:04:51 +02:00 | 
			
		
			
			
			
			
				| 
					
						
							
								dfflegalize_adlatch_init.ys
							
						
					
				 | 
				
					
						
							
							Fix tests for check in equiv_opt
						
					
				 | 
				2022-10-07 16:04:51 +02:00 | 
			
		
			
			
			
			
				| 
					
						
							
								dfflegalize_aldff.ys
							
						
					
				 | 
				
					
						
							
							Reenable existing equiv_opt tests
						
					
				 | 
				2022-10-07 16:04:51 +02:00 | 
			
		
			
			
			
			
				| 
					
						
							
								dfflegalize_aldff_init.ys
							
						
					
				 | 
				
					
						
							
							Reenable existing equiv_opt tests
						
					
				 | 
				2022-10-07 16:04:51 +02:00 | 
			
		
			
			
			
			
				| 
					
						
							
								dfflegalize_dff.ys
							
						
					
				 | 
				
					
						
							
							dfflegalize: Add tests targetting aldff.
						
					
				 | 
				2021-10-27 14:14:01 +02:00 | 
			
		
			
			
			
			
				| 
					
						
							
								dfflegalize_dff_init.ys
							
						
					
				 | 
				
					
						
							
							dfflegalize: Add tests targetting aldff.
						
					
				 | 
				2021-10-27 14:14:01 +02:00 | 
			
		
			
			
			
			
				| 
					
						
							
								dfflegalize_dffsr.ys
							
						
					
				 | 
				
					
						
							
							clk2fflogic: Support all FF types.
						
					
				 | 
				2020-07-24 03:19:48 +02:00 | 
			
		
			
			
			
			
				| 
					
						
							
								dfflegalize_dffsr_init.ys
							
						
					
				 | 
				
					
						
							
							Reenable existing equiv_opt tests
						
					
				 | 
				2022-10-07 16:04:51 +02:00 | 
			
		
			
			
			
			
				| 
					
						
							
								dfflegalize_dlatch.ys
							
						
					
				 | 
				
					
						
							
							dfflegalize: Add tests targetting aldff.
						
					
				 | 
				2021-10-27 14:14:01 +02:00 | 
			
		
			
			
			
			
				| 
					
						
							
								dfflegalize_dlatch_const.ys
							
						
					
				 | 
				
					
						
							
							dfflegalize: Refactor, add aldff support.
						
					
				 | 
				2021-10-27 14:14:01 +02:00 | 
			
		
			
			
			
			
				| 
					
						
							
								dfflegalize_dlatch_init.ys
							
						
					
				 | 
				
					
						
							
							dfflegalize: Add tests targetting aldff.
						
					
				 | 
				2021-10-27 14:14:01 +02:00 | 
			
		
			
			
			
			
				| 
					
						
							
								dfflegalize_dlatchsr.ys
							
						
					
				 | 
				
					
						
							
							clk2fflogic: Support all FF types.
						
					
				 | 
				2020-07-24 03:19:48 +02:00 | 
			
		
			
			
			
			
				| 
					
						
							
								dfflegalize_dlatchsr_init.ys
							
						
					
				 | 
				
					
						
							
							Reenable existing equiv_opt tests
						
					
				 | 
				2022-10-07 16:04:51 +02:00 | 
			
		
			
			
			
			
				| 
					
						
							
								dfflegalize_inv.ys
							
						
					
				 | 
				
					
						
							
							dfflegalize: Add tests targetting aldff.
						
					
				 | 
				2021-10-27 14:14:01 +02:00 | 
			
		
			
			
			
			
				| 
					
						
							
								dfflegalize_mince.ys
							
						
					
				 | 
				
					
						
							
							clk2fflogic: Support all FF types.
						
					
				 | 
				2020-07-24 03:19:48 +02:00 | 
			
		
			
			
			
			
				| 
					
						
							
								dfflegalize_minsrst.ys
							
						
					
				 | 
				
					
						
							
							dfflegalize: Refactor, add aldff support.
						
					
				 | 
				2021-10-27 14:14:01 +02:00 | 
			
		
			
			
			
			
				| 
					
						
							
								dfflegalize_sr.ys
							
						
					
				 | 
				
					
						
							
							dfflegalize: Refactor, add aldff support.
						
					
				 | 
				2021-10-27 14:14:01 +02:00 | 
			
		
			
			
			
			
				| 
					
						
							
								dfflegalize_sr_init.ys
							
						
					
				 | 
				
					
						
							
							Reenable existing equiv_opt tests
						
					
				 | 
				2022-10-07 16:04:51 +02:00 | 
			
		
			
			
			
			
				| 
					
						
							
								dfflibmap-sim.v
							
						
					
				 | 
				
					
						
							
							dfflibmap: Refactor to use dfflegalize internally.
						
					
				 | 
				2020-07-09 18:51:03 +02:00 | 
			
		
			
			
			
			
				| 
					
						
							
								dfflibmap.lib
							
						
					
				 | 
				
					
						
							
							dfflibmap: Refactor to use dfflegalize internally.
						
					
				 | 
				2020-07-09 18:51:03 +02:00 | 
			
		
			
			
			
			
				| 
					
						
							
								dfflibmap.ys
							
						
					
				 | 
				
					
						
							
							dfflibmap: Add a -dont_use flag to ignore cells
						
					
				 | 
				2024-02-19 13:00:18 -05:00 | 
			
		
			
			
			
			
				| 
					
						
							
								dffunmap.ys
							
						
					
				 | 
				
					
						
							
							Fix tests for check in equiv_opt
						
					
				 | 
				2022-10-07 16:04:51 +02:00 | 
			
		
			
			
			
			
				| 
					
						
							
								extractinv.ys
							
						
					
				 | 
				
					
						
							
							Added extractinv pass
						
					
				 | 
				2019-09-19 04:02:48 +02:00 | 
			
		
			
			
			
			
				| 
					
						
							
								iopadmap.ys
							
						
					
				 | 
				
					
						
							
							opt_clean: Make the init attribute follow the FF's Q.
						
					
				 | 
				2021-08-22 15:38:29 +02:00 | 
			
		
			
			
			
			
				| 
					
						
							
								kogge-stone.ys
							
						
					
				 | 
				
					
						
							
							techmap: Add Kogge-Stone test
						
					
				 | 
				2024-03-27 11:08:26 +01:00 | 
			
		
			
			
			
			
				| 
					
						
							
								mem_simple_4x1_cells.v
							
						
					
				 | 
				
					
						
							
							Added tests/techmap/mem_simple_4x1
						
					
				 | 
				2014-02-21 12:06:40 +01:00 | 
			
		
			
			
			
			
				| 
					
						
							
								mem_simple_4x1_map.v
							
						
					
				 | 
				
					
						
							
							Added read-enable to memory model
						
					
				 | 
				2015-09-25 12:23:11 +02:00 | 
			
		
			
			
			
			
				| 
					
						
							
								mem_simple_4x1_runtest.sh
							
						
					
				 | 
				
					
						
							
							tests: use /usr/bin/env for bash.
						
					
				 | 
				2023-08-12 11:59:39 +10:00 | 
			
		
			
			
			
			
				| 
					
						
							
								mem_simple_4x1_tb.v
							
						
					
				 | 
				
					
						
							
							Added tests/techmap/mem_simple_4x1
						
					
				 | 
				2014-02-21 12:06:40 +01:00 | 
			
		
			
			
			
			
				| 
					
						
							
								mem_simple_4x1_uut.v
							
						
					
				 | 
				
					
						
							
							Added tests/techmap/mem_simple_4x1
						
					
				 | 
				2014-02-21 12:06:40 +01:00 | 
			
		
			
			
			
			
				| 
					
						
							
								pmux2mux.ys
							
						
					
				 | 
				
					
						
							
							Reenable existing equiv_opt tests
						
					
				 | 
				2022-10-07 16:04:51 +02:00 | 
			
		
			
			
			
			
				| 
					
						
							
								recursive.v
							
						
					
				 | 
				
					
						
							
							Add test
						
					
				 | 
				2019-08-20 20:05:16 -07:00 | 
			
		
			
			
			
			
				| 
					
						
							
								recursive_map.v
							
						
					
				 | 
				
					
						
							
							Add test
						
					
				 | 
				2019-08-20 20:05:16 -07:00 | 
			
		
			
			
			
			
				| 
					
						
							
								recursive_runtest.sh
							
						
					
				 | 
				
					
						
							
							Fix the tests we just broke
						
					
				 | 
				2021-12-10 00:22:37 +01:00 | 
			
		
			
			
			
			
				| 
					
						
							
								run-test.sh
							
						
					
				 | 
				
					
						
							
							tests: Centralize test collection and Makefile generation
						
					
				 | 
				2020-09-21 15:07:02 +02:00 | 
			
		
			
			
			
			
				| 
					
						
							
								shiftx2mux.ys
							
						
					
				 | 
				
					
						
							
							Reenable existing equiv_opt tests
						
					
				 | 
				2022-10-07 16:04:51 +02:00 | 
			
		
			
			
			
			
				| 
					
						
							
								techmap_chtype.ys
							
						
					
				 | 
				
					
						
							
							techmap: add dynamic cell type test
						
					
				 | 
				2024-05-03 13:53:49 +02:00 | 
			
		
			
			
			
			
				| 
					
						
							
								techmap_replace.ys
							
						
					
				 | 
				
					
						
							
							techmap: Fix cell names with _TECHMAP_REPLACE_.*
						
					
				 | 
				2020-03-23 11:17:07 +01:00 | 
			
		
			
			
			
			
				| 
					
						
							
								wireinit.ys
							
						
					
				 | 
				
					
						
							
							Fix _TECHMAP_REMOVEINIT_ handling.
						
					
				 | 
				2019-09-27 18:34:12 +02:00 | 
			
		
			
			
			
			
				| 
					
						
							
								zinit.ys
							
						
					
				 | 
				
					
						
							
							Reenable existing equiv_opt tests
						
					
				 | 
				2022-10-07 16:04:51 +02:00 |