| 
								
								
									 Eddie Hung | b45d06d7a3 | Fix leak removing cells during ABC integration; also preserve attr | 2019-06-17 12:54:24 -07:00 |  | 
				
					
						| 
								
								
									 Eddie Hung | 5ce672d1c5 | Merge remote-tracking branch 'origin/xaig' into xaig_dff | 2019-06-17 12:14:55 -07:00 |  | 
				
					
						| 
								
								
									 Eddie Hung | 7250c57c5a | Re-enable &dc2 | 2019-06-17 10:28:51 -07:00 |  | 
				
					
						| 
								
								
									 Eddie Hung | fb90d8c18c | Cleanup | 2019-06-16 09:34:26 -07:00 |  | 
				
					
						| 
								
								
									 Eddie Hung | 3ed95dae8d | Cleanup | 2019-06-15 22:48:16 -07:00 |  | 
				
					
						| 
								
								
									 Eddie Hung | 416312b9ed | abc9 to recover_init by default | 2019-06-15 22:44:45 -07:00 |  | 
				
					
						| 
								
								
									 Eddie Hung | 2309459605 | Do not treat $__ABC_FF_ as a user cell | 2019-06-15 19:36:55 -07:00 |  | 
				
					
						| 
								
								
									 Eddie Hung | cdfb634977 | Cleanup | 2019-06-15 18:18:56 -07:00 |  | 
				
					
						| 
								
								
									 Eddie Hung | c2f3f116d0 | Use $__ABC_FF_ instead of $_FF_ | 2019-06-15 18:16:14 -07:00 |  | 
				
					
						| 
								
								
									 Eddie Hung | a76c8a7ffd | Fix initialisation of flops | 2019-06-15 09:46:35 -07:00 |  | 
				
					
						| 
								
								
									 Eddie Hung | ac18a76beb | Map to $_FF_ instead of $_DFF_P_ to prevent recursion issues | 2019-06-15 09:34:48 -07:00 |  | 
				
					
						| 
								
								
									 Eddie Hung | da487c4f31 | For now, short $_DFF_[NP]_ from ff_map.v at re-integration | 2019-06-15 09:08:18 -07:00 |  | 
				
					
						| 
								
								
									 Eddie Hung | 2d85725604 | Get rid of compiler warnings | 2019-06-14 13:07:56 -07:00 |  | 
				
					
						| 
								
								
									 Eddie Hung | a632799d5b | Update abc9 -D doc | 2019-06-14 12:29:46 -07:00 |  | 
				
					
						| 
								
								
									 Eddie Hung | e391fc8e7b | Enable "abc9 -D <num>" for timing-driven synthesis | 2019-06-14 12:28:01 -07:00 |  | 
				
					
						| 
								
								
									 Eddie Hung | a48b5bfaa5 | Further cleanup based on @daveshah1 | 2019-06-14 12:25:06 -07:00 |  | 
				
					
						| 
								
								
									 Eddie Hung | 751e640c1d | Merge branch 'xaig' of github.com:YosysHQ/yosys into xaig | 2019-06-14 10:29:16 -07:00 |  | 
				
					
						| 
								
								
									 Eddie Hung | a5425a2f7e | Remove extra semicolon | 2019-06-14 10:11:34 -07:00 |  | 
				
					
						| 
								
								
									 David Shah | 9566573054 | ecp5: Add abc9 option Signed-off-by: David Shah <dave@ds0.me> | 2019-06-14 17:15:02 +01:00 |  | 
				
					
						| 
								
								
									 Bogdan Vukobratovic | 8451cbea89 | Move netlist helper module to passes/opt for the time being | 2019-06-14 12:14:02 +02:00 |  | 
				
					
						| 
								
								
									 Bogdan Vukobratovic | fe651922cb | Merge remote-tracking branch 'upstream/master' | 2019-06-14 12:06:57 +02:00 |  | 
				
					
						| 
								
								
									 Bogdan Vukobratovic | 53695e6729 | Prepare for situation when port of the signal cannot be found | 2019-06-14 11:39:24 +02:00 |  | 
				
					
						| 
								
								
									 Bogdan Vukobratovic | 291b36afeb | Some cleanup, revert sat.cc | 2019-06-14 11:35:45 +02:00 |  | 
				
					
						| 
								
								
									 Bogdan Vukobratovic | 8665f48879 | Implement disconnection of constant register bits | 2019-06-13 19:35:37 +02:00 |  | 
				
					
						| 
								
								
									 Eddie Hung | 2c40b66785 | Rip out all non FPGA stuff from abc9 | 2019-06-12 16:53:12 -07:00 |  | 
				
					
						| 
								
								
									 Eddie Hung | f81a189fb8 | Fix spelling | 2019-06-12 16:52:09 -07:00 |  | 
				
					
						| 
								
								
									 Eddie Hung | 90dc4d82de | Revert "For 'stat' do not count modules with abc_box_id" This reverts commit b89bb74452. | 2019-06-12 16:51:37 -07:00 |  | 
				
					
						| 
								
								
									 Eddie Hung | b3faf0246d | Be more precise when connecting during ABC9 re-integration | 2019-06-12 16:04:33 -07:00 |  | 
				
					
						| 
								
								
									 Eddie Hung | 2e7e73f483 | Remove hacky wideports_split from abc9 | 2019-06-12 15:52:49 -07:00 |  | 
				
					
						| 
								
								
									 Eddie Hung | d9974b85e7 | Fix compile errors when #if 1 for debug | 2019-06-12 15:47:39 -07:00 |  | 
				
					
						| 
								
								
									 Bogdan Vukobratovic | d69989b8d2 | Rename satgen_algo.h -> algo.h, code cleanup and refactoring | 2019-06-12 19:35:05 +02:00 |  | 
				
					
						| 
								
								
									 Eddie Hung | 8bb67fa67c | Do not call abc9 if no outputs | 2019-06-12 10:18:44 -07:00 |  | 
				
					
						| 
								
								
									 Eddie Hung | 14e870d4c4 | More write_xaiger cleanup | 2019-06-12 10:00:57 -07:00 |  | 
				
					
						| 
								
								
									 Eddie Hung | b21d29598a | Consistency | 2019-06-12 09:40:51 -07:00 |  | 
				
					
						| 
								
								
									 Eddie Hung | b2c72f74f0 | Merge branch 'xc7mux' into xaig | 2019-06-12 09:14:27 -07:00 |  | 
				
					
						| 
								
								
									 Eddie Hung | afd620fd5f | Typo: wire delay is -W argument | 2019-06-12 09:13:53 -07:00 |  | 
				
					
						| 
								
								
									 Eddie Hung | 2cbcd6224c | Revert "Merge remote-tracking branch 'origin/eddie/shregmap_improve' into xc7mux" This reverts commit a138381ac3, reversing
changes made tob77c5da769. | 2019-06-12 09:05:02 -07:00 |  | 
				
					
						| 
								
								
									 Eddie Hung | 882a83c383 | Revert "Merge remote-tracking branch 'origin/eddie/muxpack' into xc7mux" This reverts commit eaee250a6e, reversing
changes made to935df3569b. | 2019-06-12 09:04:31 -07:00 |  | 
				
					
						| 
								
								
									 Eddie Hung | 86efe9a616 | Revert "Merge remote-tracking branch 'origin/eddie/muxpack' into xc7mux" This reverts commit 2223ca91b0, reversing
changes made toeaee250a6e. | 2019-06-12 09:01:15 -07:00 |  | 
				
					
						| 
								
								
									 Eddie Hung | 1e838a8913 | Retry "Add "-W' wire delay arg to abc9, use from synth_xilinx" | 2019-06-12 08:49:15 -07:00 |  | 
				
					
						| 
								
								
									 Eddie Hung | 4c9fde87d1 | Revert "Add "-W' wire delay arg to abc9, use from synth_xilinx" This reverts commit 2dffa4685b. | 2019-06-12 08:48:45 -07:00 |  | 
				
					
						| 
								
								
									 Eddie Hung | 2dffa4685b | Add "-W' wire delay arg to abc9, use from synth_xilinx | 2019-06-11 17:10:47 -07:00 |  | 
				
					
						| 
								
								
									 Eddie Hung | 6cdea93724 | Revert "Try way that doesn't involve creating a new wire" This reverts commit 2f427acc9e. | 2019-06-11 16:05:42 -07:00 |  | 
				
					
						| 
								
								
									 Eddie Hung | d26646051c | Revert "Merge remote-tracking branch 'origin/eddie/shregmap_improve' into xc7mux" This reverts commit 5174082208, reversing
changes made to54379f9872. | 2019-06-11 16:05:27 -07:00 |  | 
				
					
						| 
								
								
									 Eddie Hung | 5174082208 | Merge remote-tracking branch 'origin/eddie/shregmap_improve' into xc7mux | 2019-06-11 15:48:41 -07:00 |  | 
				
					
						| 
								
								
									 Eddie Hung | 2f427acc9e | Try way that doesn't involve creating a new wire | 2019-06-11 15:48:20 -07:00 |  | 
				
					
						| 
								
								
									 Bogdan Vukobratovic | 9892df17ef | Generate satgen instance instead of calling sat pass | 2019-06-11 11:47:13 +02:00 |  | 
				
					
						| 
								
								
									 Eddie Hung | a138381ac3 | Merge remote-tracking branch 'origin/eddie/shregmap_improve' into xc7mux | 2019-06-10 16:21:43 -07:00 |  | 
				
					
						| 
								
								
									 Eddie Hung | f19aa8d989 | If d_bit already in sigbit_chain_next, create extra wire | 2019-06-10 16:16:40 -07:00 |  | 
				
					
						| 
								
								
									 Eddie Hung | a1d4ae78a0 | Revert "Rename shregmap -tech xilinx -> xilinx_dynamic" This reverts commit 94a5f4e609. | 2019-06-10 14:34:43 -07:00 |  |