Eddie Hung
								
							 
						 | 
						
							
							
							
							
								
							
							
								2f98f9deee
								
							
						 | 
						
							
							
								
								Add mac.sh and macc_tb.v for testing
							
							
							
							
							
						 | 
						
							2019-09-19 18:08:16 -07:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Eddie Hung
								
							 
						 | 
						
							
							
							
							
								
							
							
								b88f0f6450
								
							
						 | 
						
							
							
								
								Merge remote-tracking branch 'origin/clifford/fix1381' into xc7dsp
							
							
							
							
							
						 | 
						
							2019-09-19 15:47:41 -07:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Eddie Hung
								
							 
						 | 
						
							
							
							
							
								
							
							
								65fa8adf6c
								
							
						 | 
						
							
							
								
								Format macc.v
							
							
							
							
							
						 | 
						
							2019-09-19 11:02:14 -07:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Marcin Kościelnicki
								
							 
						 | 
						
							
							
							
							
								
							
							
								c9f9518de4
								
							
						 | 
						
							
							
								
								Added extractinv pass
							
							
							
							
							
						 | 
						
							2019-09-19 04:02:48 +02:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Eddie Hung
								
							 
						 | 
						
							
							
							
							
								
							
							
								c663a3680b
								
							
						 | 
						
							
							
								
								Remove stat
							
							
							
							
							
						 | 
						
							2019-09-18 12:44:34 -07:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Eddie Hung
								
							 
						 | 
						
							
							
							
							
								
							
							
								f7dbfef792
								
							
						 | 
						
							
							
								
								Merge remote-tracking branch 'origin/master' into xc7dsp
							
							
							
							
							
						 | 
						
							2019-09-18 12:40:21 -07:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Eddie Hung
								
							 
						 | 
						
							
							
								
								
							
							
							
								
							
							
								b66c99ece0
								
							
						 | 
						
							
							
								
								Merge pull request #1355 from YosysHQ/eddie/peepopt_dffmuxext
							
							
							
							
							
							
							
							peepopt_dffmux -- bit optimisations for word level $dff + (enable/reset) $mux cells 
							
						 | 
						
							2019-09-18 12:40:08 -07:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Eddie Hung
								
							 
						 | 
						
							
							
							
							
								
							
							
								c9fe4d7992
								
							
						 | 
						
							
							
								
								Add .gitignore
							
							
							
							
							
						 | 
						
							2019-09-18 12:11:33 -07:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Eddie Hung
								
							 
						 | 
						
							
							
							
							
								
							
							
								c3cba7ab93
								
							
						 | 
						
							
							
								
								Refine macc testcase
							
							
							
							
							
						 | 
						
							2019-09-18 12:07:25 -07:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									SergeyDegtyar
								
							 
						 | 
						
							
							
							
							
								
							
							
								5eb91fa69f
								
							
						 | 
						
							
							
								
								Add comment to dpram test about related issue.
							
							
							
							
							
						 | 
						
							2019-09-18 12:16:04 +03:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									SergeyDegtyar
								
							 
						 | 
						
							
							
							
							
								
							
							
								c597c2f2ae
								
							
						 | 
						
							
							
								
								adffs test update (equiv_opt -multiclock). div_mod test fix
							
							
							
							
							
						 | 
						
							2019-09-17 12:19:31 +03:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Eddie Hung
								
							 
						 | 
						
							
							
							
							
								
							
							
								f492567c87
								
							
						 | 
						
							
							
								
								Oops
							
							
							
							
							
						 | 
						
							2019-09-13 18:19:07 -07:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Eddie Hung
								
							 
						 | 
						
							
							
							
							
								
							
							
								a2eee9ebef
								
							
						 | 
						
							
							
								
								Add counter-example from @cliffordwolf
							
							
							
							
							
						 | 
						
							2019-09-13 16:41:10 -07:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Eddie Hung
								
							 
						 | 
						
							
							
							
							
								
							
							
								14d72c39c3
								
							
						 | 
						
							
							
								
								Revert "Make one check $shift(x)? only; change testcase to be 8b"
							
							
							
							
							
							
							
							This reverts commit e2c2d784c8. 
							
						 | 
						
							2019-09-13 16:33:18 -07:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Eddie Hung
								
							 
						 | 
						
							
							
							
							
								
							
							
								a1123b095c
								
							
						 | 
						
							
							
								
								Merge remote-tracking branch 'origin/master' into xc7dsp
							
							
							
							
							
						 | 
						
							2019-09-12 12:11:11 -07:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									David Shah
								
							 
						 | 
						
							
							
								
								
							
							
							
								
							
							
								6044fff074
								
							
						 | 
						
							
							
								
								Merge pull request #1370 from YosysHQ/dave/equiv_opt_multiclock
							
							
							
							
							
							
							
							Add equiv_opt -multiclock 
							
						 | 
						
							2019-09-12 12:26:28 +01:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Eddie Hung
								
							 
						 | 
						
							
							
							
							
								
							
							
								7d644f40ed
								
							
						 | 
						
							
							
								
								Add AREG=2 BREG=2 test
							
							
							
							
							
						 | 
						
							2019-09-11 17:05:47 -07:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Eddie Hung
								
							 
						 | 
						
							
							
							
							
								
							
							
								c0f26c2da8
								
							
						 | 
						
							
							
								
								Merge remote-tracking branch 'origin/eddie/peepopt_dffmuxext' into xc7dsp
							
							
							
							
							
						 | 
						
							2019-09-11 13:37:11 -07:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Eddie Hung
								
							 
						 | 
						
							
							
							
							
								
							
							
								bdb5e0f29c
								
							
						 | 
						
							
							
								
								Cope with presence of reset muxes too
							
							
							
							
							
						 | 
						
							2019-09-11 13:36:37 -07:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Eddie Hung
								
							 
						 | 
						
							
							
							
							
								
							
							
								f46ef47893
								
							
						 | 
						
							
							
								
								Add more tests
							
							
							
							
							
						 | 
						
							2019-09-11 13:22:41 -07:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Marcin Kościelnicki
								
							 
						 | 
						
							
							
							
							
								
							
							
								f72765090c
								
							
						 | 
						
							
							
								
								Add -match-init option to dff2dffs.
							
							
							
							
							
						 | 
						
							2019-09-11 19:38:20 +02:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Eddie Hung
								
							 
						 | 
						
							
							
							
							
								
							
							
								6a95ecd41d
								
							
						 | 
						
							
							
								
								Update test with a/b reset
							
							
							
							
							
						 | 
						
							2019-09-11 10:13:13 -07:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Eddie Hung
								
							 
						 | 
						
							
							
							
							
								
							
							
								36d6db7f8a
								
							
						 | 
						
							
							
								
								Extend test for RSTP and RSTM
							
							
							
							
							
						 | 
						
							2019-09-11 09:09:08 -07:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									David Shah
								
							 
						 | 
						
							
							
							
							
								
							
							
								c43e52d2d7
								
							
						 | 
						
							
							
								
								Add equiv_opt -multiclock
							
							
							
							
							
							
							
							Signed-off-by: David Shah <dave@ds0.me> 
							
						 | 
						
							2019-09-11 13:55:59 +01:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Eddie Hung
								
							 
						 | 
						
							
							
							
							
								
							
							
								fc7008671f
								
							
						 | 
						
							
							
								
								Merge remote-tracking branch 'origin/eddie/peepopt_dffmuxext' into xc7dsp
							
							
							
							
							
						 | 
						
							2019-09-11 00:57:25 -07:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Eddie Hung
								
							 
						 | 
						
							
							
							
							
								
							
							
								3a8582081e
								
							
						 | 
						
							
							
								
								proc instead of prep
							
							
							
							
							
						 | 
						
							2019-09-11 00:14:06 -07:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Eddie Hung
								
							 
						 | 
						
							
							
							
							
								
							
							
								6b23c7c227
								
							
						 | 
						
							
							
								
								Merge remote-tracking branch 'origin/eddie/peepopt_dffmuxext' into xc7dsp
							
							
							
							
							
						 | 
						
							2019-09-11 00:07:33 -07:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Eddie Hung
								
							 
						 | 
						
							
							
							
							
								
							
							
								580faae8ad
								
							
						 | 
						
							
							
								
								Add unsigned case
							
							
							
							
							
						 | 
						
							2019-09-11 00:07:17 -07:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Eddie Hung
								
							 
						 | 
						
							
							
							
							
								
							
							
								feb3fa65a3
								
							
						 | 
						
							
							
								
								Merge remote-tracking branch 'origin/master' into xc7dsp
							
							
							
							
							
						 | 
						
							2019-09-11 00:01:31 -07:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Eddie Hung
								
							 
						 | 
						
							
							
							
							
								
							
							
								1fc50a03fc
								
							
						 | 
						
							
							
								
								Add SIMD test
							
							
							
							
							
						 | 
						
							2019-09-09 21:40:06 -07:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Sean Cross
								
							 
						 | 
						
							
							
							
							
								
							
							
								702ce405c1
								
							
						 | 
						
							
							
								
								tests: ice40: fix div_mod SB_LUT4 count
							
							
							
							
							
							
							
							This test is failing due to one of the changes present in this patchset.
Adjust the test to match the newly-observed values.
https://github.com/xobs/yosys/compare/smtbmc-msvc2-build-fixes...YosysHQ:xobs/pr1362
Signed-off-by: Sean Cross <sean@xobs.io> 
							
						 | 
						
							2019-09-10 08:47:16 +08:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Marcin Kościelnicki
								
							 
						 | 
						
							
							
							
							
								
							
							
								a82e8df7d3
								
							
						 | 
						
							
							
								
								techmap: Add support for extracting init values of ports
							
							
							
							
							
						 | 
						
							2019-09-07 16:30:43 +02:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Eddie Hung
								
							 
						 | 
						
							
							
							
							
								
							
							
								e68507a716
								
							
						 | 
						
							
							
								
								Update macc test
							
							
							
							
							
						 | 
						
							2019-09-06 23:19:03 -07:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Eddie Hung
								
							 
						 | 
						
							
							
							
							
								
							
							
								de8adecd39
								
							
						 | 
						
							
							
								
								Merge branch 'master' of github.com:YosysHQ/yosys
							
							
							
							
							
						 | 
						
							2019-09-06 22:52:00 -07:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Eddie Hung
								
							 
						 | 
						
							
							
							
							
								
							
							
								173c7936c3
								
							
						 | 
						
							
							
								
								Add missing -assert to equiv_opt
							
							
							
							
							
						 | 
						
							2019-09-06 22:51:44 -07:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Eddie Hung
								
							 
						 | 
						
							
							
							
							
								
							
							
								97e1520b13
								
							
						 | 
						
							
							
								
								Missing equiv_opt -assert
							
							
							
							
							
						 | 
						
							2019-09-06 22:50:03 -07:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Eddie Hung
								
							 
						 | 
						
							
							
							
							
								
							
							
								e2c2d784c8
								
							
						 | 
						
							
							
								
								Make one check $shift(x)? only; change testcase to be 8b
							
							
							
							
							
						 | 
						
							2019-09-06 22:48:23 -07:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Eddie Hung
								
							 
						 | 
						
							
							
							
							
								
							
							
								51b559af2c
								
							
						 | 
						
							
							
								
								Usee equiv_opt -assert
							
							
							
							
							
						 | 
						
							2019-09-06 22:48:04 -07:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Eddie Hung
								
							 
						 | 
						
							
							
							
							
								
							
							
								38e73a3788
								
							
						 | 
						
							
							
								
								Merge remote-tracking branch 'origin/eddie/peepopt_dffmuxext' into xc7dsp
							
							
							
							
							
						 | 
						
							2019-09-05 13:01:34 -07:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Eddie Hung
								
							 
						 | 
						
							
							
							
							
								
							
							
								e742478e1d
								
							
						 | 
						
							
							
								
								Merge remote-tracking branch 'origin/master' into xc7dsp
							
							
							
							
							
						 | 
						
							2019-09-05 13:01:27 -07:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Eddie Hung
								
							 
						 | 
						
							
							
							
							
								
							
							
								ef0681ea4c
								
							
						 | 
						
							
							
								
								simple/peepopt.v tests to various/peepopt.ys with equiv_opt & select
							
							
							
							
							
						 | 
						
							2019-09-05 08:43:22 -07:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Eddie Hung
								
							 
						 | 
						
							
							
							
							
								
							
							
								11f623cbe0
								
							
						 | 
						
							
							
								
								Revert "abc9 followed by clean otherwise netlist could be invalid for sim"
							
							
							
							
							
							
							
							This reverts commit 6fe1ca633d. 
							
						 | 
						
							2019-09-05 08:25:09 -07:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Eddie Hung
								
							 
						 | 
						
							
							
							
							
								
							
							
								ba629e6a28
								
							
						 | 
						
							
							
								
								Merge remote-tracking branch 'origin/master' into xaig_arrival
							
							
							
							
							
						 | 
						
							2019-09-04 15:36:07 -07:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Eddie Hung
								
							 
						 | 
						
							
							
							
							
								
							
							
								6fe1ca633d
								
							
						 | 
						
							
							
								
								abc9 followed by clean otherwise netlist could be invalid for sim
							
							
							
							
							
						 | 
						
							2019-09-04 15:20:04 -07:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Eddie Hung
								
							 
						 | 
						
							
							
							
							
								
							
							
								229e54568e
								
							
						 | 
						
							
							
								
								Merge remote-tracking branch 'origin/eddie/peepopt_dffmuxext' into xc7dsp
							
							
							
							
							
						 | 
						
							2019-09-04 12:37:48 -07:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Eddie Hung
								
							 
						 | 
						
							
							
							
							
								
							
							
								3732d421c5
								
							
						 | 
						
							
							
								
								Merge remote-tracking branch 'origin/master' into xc7dsp
							
							
							
							
							
						 | 
						
							2019-09-04 12:37:42 -07:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Eddie Hung
								
							 
						 | 
						
							
							
							
							
								
							
							
								0cee66e759
								
							
						 | 
						
							
							
								
								Add peepopt_dffmuxext tests
							
							
							
							
							
						 | 
						
							2019-09-04 12:34:44 -07:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									SergeyDegtyar
								
							 
						 | 
						
							
							
							
							
								
							
							
								93f305b1c5
								
							
						 | 
						
							
							
								
								Remove stat command form shifter.ys test
							
							
							
							
							
						 | 
						
							2019-09-04 14:57:45 +03:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									SergeyDegtyar
								
							 
						 | 
						
							
							
							
							
								
							
							
								a203c8569c
								
							
						 | 
						
							
							
								
								Fix ecp5 tests
							
							
							
							
							
							
							
							- remove *_synth.v files and generation in scripts;
- change synth_ice40 to synth_ecp5; 
							
						 | 
						
							2019-09-04 12:15:52 +03:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Eddie Hung
								
							 
						 | 
						
							
							
							
							
								
							
							
								0ca0706630
								
							
						 | 
						
							
							
								
								Expand test with `hierarchy' without -auto-top
							
							
							
							
							
						 | 
						
							2019-09-03 12:17:26 -07:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 |