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 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Eddie Hung
								
							 
						 | 
						
							
							
							
							
								
							
							
								76a52712da
								
							
						 | 
						
							
							
								
								Improve tests/ice40/macc.ys for SB_MAC16
							
							
							
							
							
						 | 
						
							2019-08-30 12:22:59 -07:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									SergeyDegtyar
								
							 
						 | 
						
							
							
							
							
								
							
							
								53912ad649
								
							
						 | 
						
							
							
								
								macc test fix
							
							
							
							
							
						 | 
						
							2019-08-30 16:01:36 +03:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									SergeyDegtyar
								
							 
						 | 
						
							
							
							
							
								
							
							
								17c92dc679
								
							
						 | 
						
							
							
								
								Fix macc test
							
							
							
							
							
						 | 
						
							2019-08-30 15:22:46 +03:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									SergeyDegtyar
								
							 
						 | 
						
							
							
							
							
								
							
							
								94a56c14b7
								
							
						 | 
						
							
							
								
								div_mod test fix
							
							
							
							
							
						 | 
						
							2019-08-30 14:17:03 +03:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									SergeyDegtyar
								
							 
						 | 
						
							
							
							
							
								
							
							
								f4a48ce8e6
								
							
						 | 
						
							
							
								
								fix div_mod test
							
							
							
							
							
						 | 
						
							2019-08-30 13:22:11 +03:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									SergeyDegtyar
								
							 
						 | 
						
							
							
							
							
								
							
							
								86f1375ecd
								
							
						 | 
						
							
							
								
								Fix test for counter
							
							
							
							
							
						 | 
						
							2019-08-30 12:38:28 +03:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Sergey
								
							 
						 | 
						
							
							
								
								
							
							
							
								
							
							
								f23b540b45
								
							
						 | 
						
							
							
								
								Merge branch 'master' into master
							
							
							
							
							
						 | 
						
							2019-08-30 10:29:47 +03:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									SergeyDegtyar
								
							 
						 | 
						
							
							
							
							
								
							
							
								d144748401
								
							
						 | 
						
							
							
								
								Add new tests.
							
							
							
							
							
						 | 
						
							2019-08-30 09:45:33 +03:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									SergeyDegtyar
								
							 
						 | 
						
							
							
							
							
								
							
							
								eb0a5b2293
								
							
						 | 
						
							
							
								
								Remove unnecessary common.v(assertions for testbenches).
							
							
							
							
							
						 | 
						
							2019-08-30 09:17:32 +03:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									SergeyDegtyar
								
							 
						 | 
						
							
							
							
							
								
							
							
								8e3abda193
								
							
						 | 
						
							
							
								
								Remove simulation from run-test.sh (unnecessary paths)
							
							
							
							
							
						 | 
						
							2019-08-30 09:11:03 +03:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									SergeyDegtyar
								
							 
						 | 
						
							
							
							
							
								
							
							
								20f4aea480
								
							
						 | 
						
							
							
								
								Remove simulation from run-test.sh
							
							
							
							
							
						 | 
						
							2019-08-30 08:53:35 +03:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Sergey
								
							 
						 | 
						
							
							
								
								
							
							
							
								
							
							
								d360693040
								
							
						 | 
						
							
							
								
								Merge pull request #3 from YosysHQ/Sergey/tests_ice40
							
							
							
							
							
							
							
							Merge my changes to tests_ice40 branch 
							
						 | 
						
							2019-08-29 21:07:34 +03:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									SergeyDegtyar
								
							 
						 | 
						
							
							
							
							
								
							
							
								d588c6898f
								
							
						 | 
						
							
							
								
								Add comments for examples from Lattice user guide
							
							
							
							
							
						 | 
						
							2019-08-29 10:49:46 +03:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Eddie Hung
								
							 
						 | 
						
							
							
							
							
								
							
							
								13ecd8b0df
								
							
						 | 
						
							
							
								
								Add run-test.sh too
							
							
							
							
							
						 | 
						
							2019-08-28 18:47:48 -07:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Eddie Hung
								
							 
						 | 
						
							
							
							
							
								
							
							
								e301a3dadb
								
							
						 | 
						
							
							
								
								Add SB_CARRY to ice40_opt test
							
							
							
							
							
						 | 
						
							2019-08-28 18:46:53 -07:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Eddie Hung
								
							 
						 | 
						
							
							
							
							
								
							
							
								dd42aa87b9
								
							
						 | 
						
							
							
								
								Add ice40_opt test
							
							
							
							
							
						 | 
						
							2019-08-28 18:46:53 -07:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Eddie Hung
								
							 
						 | 
						
							
							
							
							
								
							
							
								b8a9f73089
								
							
						 | 
						
							
							
								
								Comment out *.sh used for testbenches as we have no more
							
							
							
							
							
						 | 
						
							2019-08-28 12:36:20 -07:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Eddie Hung
								
							 
						 | 
						
							
							
							
							
								
							
							
								87d5d9b8c8
								
							
						 | 
						
							
							
								
								Use equiv for memory and dpram
							
							
							
							
							
						 | 
						
							2019-08-28 12:30:35 -07:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Eddie Hung
								
							 
						 | 
						
							
							
							
							
								
							
							
								ebd0a1875b
								
							
						 | 
						
							
							
								
								Use equiv_opt for latches
							
							
							
							
							
						 | 
						
							2019-08-28 12:21:15 -07:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									SergeyDegtyar
								
							 
						 | 
						
							
							
							
							
								
							
							
								aad9bad326
								
							
						 | 
						
							
							
								
								Add tests for macc and rom;
							
							
							
							
							
							
							
							Test cases from
https://www.latticesemi.com/-/media/LatticeSemi/Documents/UserManuals/EI/iCEcube201701UserGuide.ashx?document_id=52071;
In both cases synthesized only LUTs and DFFs. 
							
						 | 
						
							2019-08-27 13:56:26 +03:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									SergeyDegtyar
								
							 
						 | 
						
							
							
							
							
								
							
							
								c29380b381
								
							
						 | 
						
							
							
								
								Fix pull request
							
							
							
							
							
						 | 
						
							2019-08-23 18:55:01 +03:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									SergeyDegtyar
								
							 
						 | 
						
							
							
							
							
								
							
							
								3c10f58d04
								
							
						 | 
						
							
							
								
								Fix run-test.sh; Add new test for dpram.
							
							
							
							
							
						 | 
						
							2019-08-23 17:00:16 +03:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									SergeyDegtyar
								
							 
						 | 
						
							
							
							
							
								
							
							
								0b25dbf1c6
								
							
						 | 
						
							
							
								
								Fix path in run-test.sh
							
							
							
							
							
						 | 
						
							2019-08-23 12:40:14 +03:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Eddie Hung
								
							 
						 | 
						
							
							
							
							
								
							
							
								36cf0a3dd5
								
							
						 | 
						
							
							
								
								Remove adffs_tb.v
							
							
							
							
							
						 | 
						
							2019-08-22 16:50:14 -07:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Eddie Hung
								
							 
						 | 
						
							
							
							
							
								
							
							
								698a0e3aaf
								
							
						 | 
						
							
							
								
								WIP for equivalency checking memories
							
							
							
							
							
						 | 
						
							2019-08-22 16:05:12 -07:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Eddie Hung
								
							 
						 | 
						
							
							
							
							
								
							
							
								43e7c4917a
								
							
						 | 
						
							
							
								
								Do not print OKAY
							
							
							
							
							
						 | 
						
							2019-08-22 16:05:12 -07:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Eddie Hung
								
							 
						 | 
						
							
							
							
							
								
							
							
								5061d239ae
								
							
						 | 
						
							
							
								
								Fail if iverilog fails
							
							
							
							
							
						 | 
						
							2019-08-22 16:05:12 -07:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Eddie Hung
								
							 
						 | 
						
							
							
							
							
								
							
							
								8e3754bdb4
								
							
						 | 
						
							
							
								
								Hide tri-state warning message for now
							
							
							
							
							
						 | 
						
							2019-08-22 16:05:12 -07:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Eddie Hung
								
							 
						 | 
						
							
							
							
							
								
							
							
								659a481482
								
							
						 | 
						
							
							
								
								Remove unused output
							
							
							
							
							
						 | 
						
							2019-08-22 16:05:12 -07:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Eddie Hung
								
							 
						 | 
						
							
							
							
							
								
							
							
								61087329ef
								
							
						 | 
						
							
							
								
								Fix tribuf test
							
							
							
							
							
						 | 
						
							2019-08-22 16:05:12 -07:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Eddie Hung
								
							 
						 | 
						
							
							
							
							
								
							
							
								f9906eed68
								
							
						 | 
						
							
							
								
								Fix comments
							
							
							
							
							
						 | 
						
							2019-08-22 16:05:12 -07:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Eddie Hung
								
							 
						 | 
						
							
							
							
							
								
							
							
								9224b3bc17
								
							
						 | 
						
							
							
								
								Remove tech independent synthesis
							
							
							
							
							
						 | 
						
							2019-08-22 16:05:12 -07:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Eddie Hung
								
							 
						 | 
						
							
							
							
							
								
							
							
								388eb3288c
								
							
						 | 
						
							
							
								
								Remove dffe instantation
							
							
							
							
							
						 | 
						
							2019-08-22 16:04:50 -07:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Eddie Hung
								
							 
						 | 
						
							
							
							
							
								
							
							
								9e537a76b5
								
							
						 | 
						
							
							
								
								Move $dffe to dffs.{v,ys}
							
							
							
							
							
						 | 
						
							2019-08-22 16:04:48 -07:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Eddie Hung
								
							 
						 | 
						
							
							
							
							
								
							
							
								c5754d9e8b
								
							
						 | 
						
							
							
								
								Make multiplier wider, do not do tech independent synth
							
							
							
							
							
						 | 
						
							2019-08-22 16:04:07 -07:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									SergeyDegtyar
								
							 
						 | 
						
							
							
							
							
								
							
							
								d945b8a357
								
							
						 | 
						
							
							
								
								Fix all comments from PR
							
							
							
							
							
						 | 
						
							2019-08-21 21:52:07 +03:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									SergeyDegtyar
								
							 
						 | 
						
							
							
							
							
								
							
							
								b835ec37cb
								
							
						 | 
						
							
							
								
								Add temp directory
							
							
							
							
							
						 | 
						
							2019-08-21 07:53:34 +03:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									SergeyDegtyar
								
							 
						 | 
						
							
							
							
							
								
							
							
								71dd412ac5
								
							
						 | 
						
							
							
								
								Fix tests; Remove simulation;
							
							
							
							
							
							
							
							- Add -map and -assert options for equiv_opt;
	!!! '-assert' option was commented for the next tests (unproven
$equiv cells was found):
		- dffs;
		- div_mod;
		- latches;
		- mul_pow;
- Add design -load;
- Remove simulations; 
							
						 | 
						
							2019-08-20 15:52:25 +03:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									SergeyDegtyar
								
							 
						 | 
						
							
							
							
							
								
							
							
								153ec0541c
								
							
						 | 
						
							
							
								
								Add new tests for ice40 architecture
							
							
							
							
							
						 | 
						
							2019-08-20 07:50:05 +03:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 |