Eddie Hung
								
							 
						 | 
						
							
							
							
							
								
							
							
								fd89c1056e
								
							
						 | 
						
							
							
								
								Working ABC9 script
							
							
							
							
							
						 | 
						
							2019-04-17 12:33:32 -07:00 | 
						
						
							
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Eddie Hung
								
							 
						 | 
						
							
							
							
							
								
							
							
								2b860809e9
								
							
						 | 
						
							
							
								
								Stop topological sort at abc_flop_q
							
							
							
							
							
						 | 
						
							2019-04-17 12:28:19 -07:00 | 
						
						
							
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Eddie Hung
								
							 
						 | 
						
							
							
							
							
								
							
							
								58847df1b9
								
							
						 | 
						
							
							
								
								Mark seq output ports with "abc_flop_q" attr
							
							
							
							
							
						 | 
						
							2019-04-17 12:27:45 -07:00 | 
						
						
							
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Eddie Hung
								
							 
						 | 
						
							
							
							
							
								
							
							
								1eade06671
								
							
						 | 
						
							
							
								
								Also update Makefile.inc
							
							
							
							
							
						 | 
						
							2019-04-17 12:27:02 -07:00 | 
						
						
							
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Eddie Hung
								
							 
						 | 
						
							
							
							
							
								
							
							
								4fb9ccfcd8
								
							
						 | 
						
							
							
								
								synth_ice40 to use renamed files
							
							
							
							
							
						 | 
						
							2019-04-17 12:22:03 -07:00 | 
						
						
							
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Eddie Hung
								
							 
						 | 
						
							
							
							
							
								
							
							
								42c33db22c
								
							
						 | 
						
							
							
								
								Rename to abc.*
							
							
							
							
							
						 | 
						
							2019-04-17 12:15:34 -07:00 | 
						
						
							
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Eddie Hung
								
							 
						 | 
						
							
							
							
							
								
							
							
								c1ebe51a75
								
							
						 | 
						
							
							
								
								Revert "Try using an ICE40_CARRY_LUT primitive to avoid ABC issues"
							
							
							
							
							
							
							
							This reverts commit a7632ab332. 
							
						 | 
						
							2019-04-17 11:10:20 -07:00 | 
						
						
							
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Eddie Hung
								
							 
						 | 
						
							
							
							
							
								
							
							
								a7632ab332
								
							
						 | 
						
							
							
								
								Try using an ICE40_CARRY_LUT primitive to avoid ABC issues
							
							
							
							
							
						 | 
						
							2019-04-17 11:10:04 -07:00 | 
						
						
							
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Eddie Hung
								
							 
						 | 
						
							
							
							
							
								
							
							
								d59185f1d6
								
							
						 | 
						
							
							
								
								Remove init* from xaiger, also topo-sort cells for box flow
							
							
							
							
							
						 | 
						
							2019-04-17 11:08:42 -07:00 | 
						
						
							
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Eddie Hung
								
							 
						 | 
						
							
							
							
							
								
							
							
								116176e151
								
							
						 | 
						
							
							
								
								Merge remote-tracking branch 'origin/master' into xaig
							
							
							
							
							
						 | 
						
							2019-04-17 11:01:15 -07:00 | 
						
						
							
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Eddie Hung
								
							 
						 | 
						
							
							
							
							
								
							
							
								e1b550d203
								
							
						 | 
						
							
							
								
								Ignore a/i/o/h XAIGER extensions
							
							
							
							
							
						 | 
						
							2019-04-17 10:55:23 -07:00 | 
						
						
							
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Eddie Hung
								
							 
						 | 
						
							
							
							
							
								
							
							
								17fb6c3522
								
							
						 | 
						
							
							
								
								Fix spacing
							
							
							
							
							
						 | 
						
							2019-04-17 08:40:50 -07:00 | 
						
						
							
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Clifford Wolf
								
							 
						 | 
						
							
							
							
							
								
							
							
								ea8ac0aaad
								
							
						 | 
						
							
							
								
								Update to ABC d1b6413
							
							
							
							
							
							
							
							Signed-off-by: Clifford Wolf <clifford@clifford.at> 
							
						 | 
						
							2019-04-17 13:51:34 +02:00 | 
						
						
							
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Eddie Hung
								
							 
						 | 
						
							
							
							
							
								
							
							
								5c134980c4
								
							
						 | 
						
							
							
								
								Optimise
							
							
							
							
							
						 | 
						
							2019-04-16 21:05:44 -07:00 | 
						
						
							
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Eddie Hung
								
							 
						 | 
						
							
							
							
							
								
							
							
								743c164eee
								
							
						 | 
						
							
							
								
								Add SB_LUT4 to box library
							
							
							
							
							
						 | 
						
							2019-04-16 17:34:11 -07:00 | 
						
						
							
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Eddie Hung
								
							 
						 | 
						
							
							
							
							
								
							
							
								7980118d74
								
							
						 | 
						
							
							
								
								Add ice40 box files
							
							
							
							
							
						 | 
						
							2019-04-16 16:39:30 -07:00 | 
						
						
							
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Eddie Hung
								
							 
						 | 
						
							
							
							
							
								
							
							
								ae2653c50f
								
							
						 | 
						
							
							
								
								abc9 to output some more info
							
							
							
							
							
						 | 
						
							2019-04-16 16:39:16 -07:00 | 
						
						
							
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Eddie Hung
								
							 
						 | 
						
							
							
							
							
								
							
							
								e7a8955818
								
							
						 | 
						
							
							
								
								CIs before PIs; also sort each cell's connections before iterating
							
							
							
							
							
						 | 
						
							2019-04-16 16:37:47 -07:00 | 
						
						
							
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Eddie Hung
								
							 
						 | 
						
							
							
							
							
								
							
							
								b015ed48f7
								
							
						 | 
						
							
							
								
								Merge remote-tracking branch 'origin/master' into xaig
							
							
							
							
							
						 | 
						
							2019-04-16 15:04:20 -07:00 | 
						
						
							
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Eddie Hung
								
							 
						 | 
						
							
							
							
							
								
							
							
								55a3638c71
								
							
						 | 
						
							
							
								
								Port from xc7mux branch
							
							
							
							
							
						 | 
						
							2019-04-16 15:01:45 -07:00 | 
						
						
							
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Eddie Hung
								
							 
						 | 
						
							
							
							
							
								
							
							
								0c8a839f13
								
							
						 | 
						
							
							
								
								Re-enable partsel.v test
							
							
							
							
							
						 | 
						
							2019-04-16 13:10:35 -07:00 | 
						
						
							
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Eddie Hung
								
							 
						 | 
						
							
							
							
							
								
							
							
								afcb86c3d1
								
							
						 | 
						
							
							
								
								abc9 to call "setundef -zero" behaving as for abc
							
							
							
							
							
						 | 
						
							2019-04-16 13:10:13 -07:00 | 
						
						
							
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Eddie Hung
								
							 
						 | 
						
							
							
								
								
							
							
							
								
							
							
								2df7d97b72
								
							
						 | 
						
							
							
								
								Merge pull request #939 from YosysHQ/revert895
							
							
							
							
							
							
							
							Revert #895 (mux-to-shiftx optimisation) 
							
						 | 
						
							2019-04-16 11:59:21 -07:00 | 
						
						
							
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Eddie Hung
								
							 
						 | 
						
							
							
							
							
								
							
							
								4da4a6da2f
								
							
						 | 
						
							
							
								
								Revert #895
							
							
							
							
							
						 | 
						
							2019-04-16 11:07:51 -07:00 | 
						
						
							
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Eddie Hung
								
							 
						 | 
						
							
							
							
							
								
							
							
								0391499e46
								
							
						 | 
						
							
							
								
								Merge remote-tracking branch 'origin/master' into xaig
							
							
							
							
							
						 | 
						
							2019-04-15 21:56:45 -07:00 | 
						
						
							
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Eddie Hung
								
							 
						 | 
						
							
							
								
								
							
							
							
								
							
							
								dca45c0888
								
							
						 | 
						
							
							
								
								Merge pull request #937 from YosysHQ/revert-932-eddie/fixdlatch
							
							
							
							
							
							
							
							Revert "Recognise default entry in case even if all cases covered (fix for #931)" 
							
						 | 
						
							2019-04-15 18:39:20 -07:00 | 
						
						
							
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Eddie Hung
								
							 
						 | 
						
							
							
								
								
							
							
							
								
							
							
								b3378745fd
								
							
						 | 
						
							
							
								
								Revert "Recognise default entry in case even if all cases covered (fix for #931)"
							
							
							
							
							
						 | 
						
							2019-04-15 17:52:45 -07:00 | 
						
						
							
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Eddie Hung
								
							 
						 | 
						
							
							
								
								
							
							
							
								
							
							
								18a4045858
								
							
						 | 
						
							
							
								
								Merge pull request #936 from YosysHQ/README-fix-quotes
							
							
							
							
							
							
							
							README: fix some incorrect quoting 
							
						 | 
						
							2019-04-15 12:22:05 -07:00 | 
						
						
							
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									whitequark
								
							 
						 | 
						
							
							
								
								
							
							
							
								
							
							
								6323e73cc9
								
							
						 | 
						
							
							
								
								README: fix some incorrect quoting.
							
							
							
							
							
						 | 
						
							2019-04-15 14:29:46 +00:00 | 
						
						
							
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Eddie Hung
								
							 
						 | 
						
							
							
							
							
								
							
							
								fecafb2207
								
							
						 | 
						
							
							
								
								Forgot backslashes
							
							
							
							
							
						 | 
						
							2019-04-12 18:22:44 -07:00 | 
						
						
							
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Eddie Hung
								
							 
						 | 
						
							
							
							
							
								
							
							
								9bfcd80063
								
							
						 | 
						
							
							
								
								Handle __dummy_o__ and __const[01]__ in read_aiger not abc
							
							
							
							
							
						 | 
						
							2019-04-12 18:21:16 -07:00 | 
						
						
							
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Eddie Hung
								
							 
						 | 
						
							
							
							
							
								
							
							
								482a60825b
								
							
						 | 
						
							
							
								
								abc to ignore __dummy_o__ and __const[01]__ when re-integrating
							
							
							
							
							
						 | 
						
							2019-04-12 18:16:50 -07:00 | 
						
						
							
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Eddie Hung
								
							 
						 | 
						
							
							
							
							
								
							
							
								fe0b421212
								
							
						 | 
						
							
							
								
								Output __const0__ and __const1__ CIs
							
							
							
							
							
						 | 
						
							2019-04-12 18:16:25 -07:00 | 
						
						
							
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Eddie Hung
								
							 
						 | 
						
							
							
							
							
								
							
							
								c776db3320
								
							
						 | 
						
							
							
								
								Merge branch 'xaig' of github.com:YosysHQ/yosys into xaig
							
							
							
							
							
						 | 
						
							2019-04-12 17:09:24 -07:00 | 
						
						
							
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Eddie Hung
								
							 
						 | 
						
							
							
							
							
								
							
							
								acf3f5694b
								
							
						 | 
						
							
							
								
								Fix inout handling for -map option
							
							
							
							
							
						 | 
						
							2019-04-12 17:02:24 -07:00 | 
						
						
							
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Eddie Hung
								
							 
						 | 
						
							
							
							
							
								
							
							
								a16123cc7d
								
							
						 | 
						
							
							
								
								Merge branch 'xaig' of github.com:YosysHQ/yosys into xaig
							
							
							
							
							
						 | 
						
							2019-04-12 16:31:12 -07:00 | 
						
						
							
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Eddie Hung
								
							 
						 | 
						
							
							
							
							
								
							
							
								d880f73c79
								
							
						 | 
						
							
							
								
								Merge remote-tracking branch 'origin/master' into xaig
							
							
							
							
							
						 | 
						
							2019-04-12 16:30:53 -07:00 | 
						
						
							
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Eddie Hung
								
							 
						 | 
						
							
							
							
							
								
							
							
								88d43a519b
								
							
						 | 
						
							
							
								
								Use -map instead of -symbols for aiger
							
							
							
							
							
						 | 
						
							2019-04-12 16:29:14 -07:00 | 
						
						
							
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Eddie Hung
								
							 
						 | 
						
							
							
							
							
								
							
							
								686e772f0b
								
							
						 | 
						
							
							
								
								ci_bits and co_bits now a list, order is important for ABC
							
							
							
							
							
						 | 
						
							2019-04-12 16:17:48 -07:00 | 
						
						
							
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Eddie Hung
								
							 
						 | 
						
							
							
							
							
								
							
							
								ada130b459
								
							
						 | 
						
							
							
								
								Also cope with duplicated CIs
							
							
							
							
							
						 | 
						
							2019-04-12 16:17:12 -07:00 | 
						
						
							
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Eddie Hung
								
							 
						 | 
						
							
							
							
							
								
							
							
								c748391730
								
							
						 | 
						
							
							
								
								WIP
							
							
							
							
							
						 | 
						
							2019-04-12 14:13:11 -07:00 | 
						
						
							
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Eddie Hung
								
							 
						 | 
						
							
							
							
							
								
							
							
								941365b4bb
								
							
						 | 
						
							
							
								
								Comment out
							
							
							
							
							
						 | 
						
							2019-04-12 12:29:04 -07:00 | 
						
						
							
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Eddie Hung
								
							 
						 | 
						
							
							
							
							
								
							
							
								04e466d5e4
								
							
						 | 
						
							
							
								
								Add support for synth_xilinx -abc9 and ignore abc9 -dress opt
							
							
							
							
							
						 | 
						
							2019-04-12 12:28:37 -07:00 | 
						
						
							
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Eddie Hung
								
							 
						 | 
						
							
							
							
							
								
							
							
								1c6f0cffd9
								
							
						 | 
						
							
							
								
								Cope with an output having same name as an input (i.e. CO)
							
							
							
							
							
						 | 
						
							2019-04-12 12:27:07 -07:00 | 
						
						
							
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Eddie Hung
								
							 
						 | 
						
							
							
							
							
								
							
							
								f77da46a87
								
							
						 | 
						
							
							
								
								Merge remote-tracking branch 'origin/master' into xaig
							
							
							
							
							
						 | 
						
							2019-04-12 12:21:48 -07:00 | 
						
						
							
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Eddie Hung
								
							 
						 | 
						
							
							
								
								
							
							
							
								
							
							
								db1a5ec6a2
								
							
						 | 
						
							
							
								
								Merge pull request #928 from litghost/add_xc7_sim_models
							
							
							
							
							
							
							
							Add additional cells sim models for core 7-series primitives. 
							
						 | 
						
							2019-04-12 11:52:45 -07:00 | 
						
						
							
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Keith Rothman
								
							 
						 | 
						
							
							
							
							
								
							
							
								1f9235ede5
								
							
						 | 
						
							
							
								
								Remove BUFGCTRL, BUFHCE and LUT6_2 from cells_xtra.
							
							
							
							
							
							
							
							Signed-off-by: Keith Rothman <537074+litghost@users.noreply.github.com> 
							
						 | 
						
							2019-04-12 09:35:15 -07:00 | 
						
						
							
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Clifford Wolf
								
							 
						 | 
						
							
							
								
								
							
							
							
								
							
							
								9d6586b4e1
								
							
						 | 
						
							
							
								
								Merge pull request #933 from dh73/master
							
							
							
							
							
							
							
							Fixing issues in CycloneV cell sim 
							
						 | 
						
							2019-04-12 14:57:36 +02:00 | 
						
						
							
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Clifford Wolf
								
							 
						 | 
						
							
							
								
								
							
							
							
								
							
							
								48bc203653
								
							
						 | 
						
							
							
								
								Merge pull request #932 from YosysHQ/eddie/fixdlatch
							
							
							
							
							
							
							
							Recognise default entry in case even if all cases covered (fix for #931) 
							
						 | 
						
							2019-04-12 14:57:01 +02:00 | 
						
						
							
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Diego
								
							 
						 | 
						
							
							
							
							
								
							
							
								643ae9bfc5
								
							
						 | 
						
							
							
								
								Fixing issues in CycloneV cell sim
							
							
							
							
							
						 | 
						
							2019-04-11 19:59:03 -05:00 | 
						
						
							
							
							
							
								
							
							
						 |