| 
								
								
									 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 |  | 
				
					
						| 
								
								
									 Eddie Hung | 6a111ad324 | Nicer formatting | 2019-08-29 17:24:48 -07: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 |  | 
				
					
						| 
								
								
									 Eddie Hung | 67587bad7f | Add constant expression attribute to test | 2019-08-29 09:10:20 -07:00 |  | 
				
					
						| 
								
								
									 SergeyDegtyar | d588c6898f | Add comments for examples from Lattice user guide | 2019-08-29 10:49:46 +03:00 |  | 
				
					
						| 
								
								
									 Eddie Hung | 1fdb3fc98c | Add failing test | 2019-08-28 19:58:58 -07: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 |  | 
				
					
						| 
								
								
									 Eddie Hung | 32eef26ee2 | Merge remote-tracking branch 'origin/clifford/async2synclatch' into Sergey/tests_ice40 | 2019-08-28 12:18:32 -07:00 |  | 
				
					
						| 
								
								
									 Eddie Hung | 64ea147236 | Add .gitignore | 2019-08-28 09:55:34 -07:00 |  | 
				
					
						| 
								
								
									 Eddie Hung | 2f493fb465 | Use test_pmgen for xilinx_srl | 2019-08-28 09:55:09 -07:00 |  | 
				
					
						| 
								
								
									 Eddie Hung | 2e9e745efa | Do not simplemap for variable test | 2019-08-28 09:26:08 -07:00 |  | 
				
					
						| 
								
								
									 Eddie Hung | 975aaf190f | Add xilinx_srl test | 2019-08-28 09:24:19 -07:00 |  | 
				
					
						| 
								
								
									 Eddie Hung | ba5d81c7f1 | Merge remote-tracking branch 'origin/master' into eddie/xilinx_srl | 2019-08-28 09:21:03 -07:00 |  | 
				
					
						| 
								
								
									 SergeyDegtyar | fe58790f37 | Revert "Add tests for ecp5" This reverts commit 2270ead09f. | 2019-08-28 09:49:58 +03:00 |  | 
				
					
						| 
								
								
									 SergeyDegtyar | 2270ead09f | Add tests for ecp5 | 2019-08-28 09:47:03 +03:00 |  | 
				
					
						| 
								
								
									 Clifford Wolf | 70c0cddb1e | Merge pull request #1325 from YosysHQ/eddie/sat_init In sat: 'x' in init attr should be ignored | 2019-08-28 00:18:14 +02:00 |  | 
				
					
						| 
								
								
									 Eddie Hung | 00387f3927 | Revert to using clean | 2019-08-27 09:24:32 -07:00 |  | 
				
					
						| 
								
								
									 SergeyDegtyar | 980830f7b8 | Revert "Add tests for ecp5 architecture." This reverts commit 134d3fea90. | 2019-08-27 18:28:05 +03:00 |  | 
				
					
						| 
								
								
									 Marcin Kościelnicki | 5fb4b12cb5 | improve clkbuf_inhibit propagation upwards through hierarchy | 2019-08-27 17:26:47 +02:00 |  | 
				
					
						| 
								
								
									 SergeyDegtyar | 134d3fea90 | Add tests for ecp5 architecture. | 2019-08-27 18:12:18 +03: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 |  | 
				
					
						| 
								
								
									 Eddie Hung | 6b5e65919a | Revert "In sat: 'x' in init attr should not override constant" This reverts commit 2b37a093e9. | 2019-08-26 17:52:57 -07:00 |  | 
				
					
						| 
								
								
									 Eddie Hung | 528f1c8687 | Improve tests to check that clkbuf is connected to expected | 2019-08-26 13:45:16 -07:00 |  | 
				
					
						| 
								
								
									 Eddie Hung | dc87372a97 | Wire with init on FF part, 1'bx on non-FF part | 2019-08-24 15:05:44 -07:00 |  | 
				
					
						| 
								
								
									 Eddie Hung | 78b7d8f531 | Merge remote-tracking branch 'origin/master' into eddie/xilinx_srl | 2019-08-23 11:32:44 -07:00 |  | 
				
					
						| 
								
								
									 Eddie Hung | a0d85393e3 | Check clkbuf_inhibit=1 is ignored for custom selection | 2019-08-23 11:15:26 -07:00 |  | 
				
					
						| 
								
								
									 Eddie Hung | 5628e2ec53 | Add simple clkbufmap tests | 2019-08-23 11:10:02 -07:00 |  | 
				
					
						| 
								
								
									 Eddie Hung | d62c10d641 | tests/techmap/run-test.sh to cope with *.ys | 2019-08-23 11:09:50 -07:00 |  | 
				
					
						| 
								
								
									 Eddie Hung | 10c41a5cf5 | Blocking assignment | 2019-08-23 09:11:04 -07: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 | fe1b2337fd | Do not propagate mem2reg attribute through to result | 2019-08-22 16:57:59 -07:00 |  | 
				
					
						| 
								
								
									 Eddie Hung | 36cf0a3dd5 | Remove adffs_tb.v | 2019-08-22 16:50:14 -07:00 |  | 
				
					
						| 
								
								
									 Eddie Hung | 51ffb093b5 | In sat: 'x' in init attr should not override constant | 2019-08-22 16:43:08 -07:00 |  | 
				
					
						| 
								
								
									 Eddie Hung | 2b37a093e9 | In sat: 'x' in init attr should not override constant | 2019-08-22 16:42:19 -07:00 |  | 
				
					
						| 
								
								
									 Eddie Hung | 66607845ec | Remove Xilinx test | 2019-08-22 16:18:07 -07:00 |  | 
				
					
						| 
								
								
									 Eddie Hung | e7a8cdbccf | Add shregmap -tech xilinx test | 2019-08-22 16:16:54 -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 |  |