Eddie Hung
								
							 
						 | 
						
							
							
							
							
								
							
							
								776d7cea6a
								
							
						 | 
						
							
							
								
								Merge remote-tracking branch 'origin/master' into eddie/muxpack
							
							
							
							
							
						 | 
						
							2019-06-18 11:51:34 -07:00 | 
						
						
							
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Eddie Hung
								
							 
						 | 
						
							
							
							
							
								
							
							
								4ca847a217
								
							
						 | 
						
							
							
								
								Merge remote-tracking branch 'origin/xaig' into xc7mux
							
							
							
							
							
						 | 
						
							2019-06-18 11:49:54 -07:00 | 
						
						
							
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Eddie Hung
								
							 
						 | 
						
							
							
							
							
								
							
							
								8e0a47fb92
								
							
						 | 
						
							
							
								
								Really permute Xilinx LUT mappings as default LUT6.I5:A6
							
							
							
							
							
						 | 
						
							2019-06-18 11:48:48 -07:00 | 
						
						
							
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Eddie Hung
								
							 
						 | 
						
							
							
							
							
								
							
							
								8f5e6d73ff
								
							
						 | 
						
							
							
								
								Revert "Fix (do not) permute LUT inputs, but permute mux selects"
							
							
							
							
							
							
							
							This reverts commit da3d2eedd2. 
							
						 | 
						
							2019-06-18 11:35:21 -07:00 | 
						
						
							
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Eddie Hung
								
							 
						 | 
						
							
							
							
							
								
							
							
								3d283e69f8
								
							
						 | 
						
							
							
								
								Merge remote-tracking branch 'origin/xaig' into xc7mux
							
							
							
							
							
						 | 
						
							2019-06-18 09:51:28 -07:00 | 
						
						
							
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Eddie Hung
								
							 
						 | 
						
							
							
							
							
								
							
							
								b304744d15
								
							
						 | 
						
							
							
								
								Clean up
							
							
							
							
							
						 | 
						
							2019-06-18 09:50:37 -07:00 | 
						
						
							
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Eddie Hung
								
							 
						 | 
						
							
							
							
							
								
							
							
								da3d2eedd2
								
							
						 | 
						
							
							
								
								Fix (do not) permute LUT inputs, but permute mux selects
							
							
							
							
							
						 | 
						
							2019-06-18 09:49:57 -07:00 | 
						
						
							
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Clifford Wolf
								
							 
						 | 
						
							
							
								
								
							
							
							
								
							
							
								64947453e2
								
							
						 | 
						
							
							
								
								Merge pull request #1086 from udif/pr_elab_sys_tasks2
							
							
							
							
							
							
							
							Fixed broken $error()/$info/$warning() on non-generate blocks (within always/initial blocks) 
							
						 | 
						
							2019-06-18 16:52:08 +02:00 | 
						
						
							
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Eddie Hung
								
							 
						 | 
						
							
							
							
							
								
							
							
								2b0e28b261
								
							
						 | 
						
							
							
								
								Merge remote-tracking branch 'origin/xaig' into xc7mux
							
							
							
							
							
						 | 
						
							2019-06-17 22:29:34 -07:00 | 
						
						
							
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Eddie Hung
								
							 
						 | 
						
							
							
							
							
								
							
							
								608a95eb01
								
							
						 | 
						
							
							
								
								Fix copy-pasta issue
							
							
							
							
							
						 | 
						
							2019-06-17 22:29:22 -07:00 | 
						
						
							
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Eddie Hung
								
							 
						 | 
						
							
							
							
							
								
							
							
								59b4e69d16
								
							
						 | 
						
							
							
								
								Merge remote-tracking branch 'origin/xaig' into xc7mux
							
							
							
							
							
						 | 
						
							2019-06-17 22:25:14 -07:00 | 
						
						
							
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Eddie Hung
								
							 
						 | 
						
							
							
							
							
								
							
							
								2a35c4ef94
								
							
						 | 
						
							
							
								
								Permute INIT for +/xilinx/lut_map.v
							
							
							
							
							
						 | 
						
							2019-06-17 22:24:35 -07:00 | 
						
						
							
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Eddie Hung
								
							 
						 | 
						
							
							
							
							
								
							
							
								75f8b4cf10
								
							
						 | 
						
							
							
								
								Simplify comment
							
							
							
							
							
						 | 
						
							2019-06-17 19:14:41 -07:00 | 
						
						
							
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Eddie Hung
								
							 
						 | 
						
							
							
							
							
								
							
							
								75d92fb590
								
							
						 | 
						
							
							
								
								Merge branch 'xaig' into xaig_dff
							
							
							
							
							
						 | 
						
							2019-06-17 19:11:07 -07:00 | 
						
						
							
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Eddie Hung
								
							 
						 | 
						
							
							
							
							
								
							
							
								9d56c0d525
								
							
						 | 
						
							
							
								
								Merge remote-tracking branch 'origin/xaig' into xc7mux
							
							
							
							
							
						 | 
						
							2019-06-17 18:25:35 -07:00 | 
						
						
							
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Eddie Hung
								
							 
						 | 
						
							
							
							
							
								
							
							
								840562943f
								
							
						 | 
						
							
							
								
								Update LUT7/8 delays to take account for [ABC]OUTMUX delay
							
							
							
							
							
						 | 
						
							2019-06-17 17:06:01 -07:00 | 
						
						
							
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Eddie Hung
								
							 
						 | 
						
							
							
							
							
								
							
							
								8a86f9bb62
								
							
						 | 
						
							
							
								
								Add box delays for FD*
							
							
							
							
							
						 | 
						
							2019-06-17 15:13:05 -07:00 | 
						
						
							
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Eddie Hung
								
							 
						 | 
						
							
							
							
							
								
							
							
								d80678e581
								
							
						 | 
						
							
							
								
								Cleanup
							
							
							
							
							
						 | 
						
							2019-06-17 15:10:33 -07:00 | 
						
						
							
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Eddie Hung
								
							 
						 | 
						
							
							
							
							
								
							
							
								3ebba74461
								
							
						 | 
						
							
							
								
								Merge branch 'xaig' into xaig_dff
							
							
							
							
							
						 | 
						
							2019-06-17 13:51:53 -07:00 | 
						
						
							
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Eddie Hung
								
							 
						 | 
						
							
							
							
							
								
							
							
								8d40830ee4
								
							
						 | 
						
							
							
								
								Merge remote-tracking branch 'origin/xaig' into xc7mux
							
							
							
							
							
						 | 
						
							2019-06-17 13:33:47 -07:00 | 
						
						
							
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Eddie Hung
								
							 
						 | 
						
							
							
							
							
								
							
							
								4d6d593fe3
								
							
						 | 
						
							
							
								
								&scorr before &sweep, remove &retime as recommended
							
							
							
							
							
						 | 
						
							2019-06-17 13:32:08 -07:00 | 
						
						
							
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Eddie Hung
								
							 
						 | 
						
							
							
							
							
								
							
							
								4b9eefe3b6
								
							
						 | 
						
							
							
								
								Merge remote-tracking branch 'origin/xaig' into xc7mux
							
							
							
							
							
						 | 
						
							2019-06-17 13:20:29 -07:00 | 
						
						
							
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Eddie Hung
								
							 
						 | 
						
							
							
							
							
								
							
							
								a474fe937b
								
							
						 | 
						
							
							
								
								Merge branch 'xaig' into xaig_dff
							
							
							
							
							
						 | 
						
							2019-06-17 13:20:19 -07:00 | 
						
						
							
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Eddie Hung
								
							 
						 | 
						
							
							
							
							
								
							
							
								63fc879a5f
								
							
						 | 
						
							
							
								
								Copy not move parameters/attributes
							
							
							
							
							
						 | 
						
							2019-06-17 13:19:45 -07:00 | 
						
						
							
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Eddie Hung
								
							 
						 | 
						
							
							
							
							
								
							
							
								0c9cf89239
								
							
						 | 
						
							
							
								
								Merge remote-tracking branch 'origin/xaig' into xc7mux
							
							
							
							
							
						 | 
						
							2019-06-17 12:59:05 -07:00 | 
						
						
							
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Eddie Hung
								
							 
						 | 
						
							
							
							
							
								
							
							
								7dd3a7f161
								
							
						 | 
						
							
							
								
								Merge branch 'xaig' into xaig_dff
							
							
							
							
							
						 | 
						
							2019-06-17 12:58:41 -07:00 | 
						
						
							
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									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
								
							 
						 | 
						
							
							
							
							
								
							
							
								76a72283e2
								
							
						 | 
						
							
							
								
								Merge remote-tracking branch 'origin/xaig' into xc7mux
							
							
							
							
							
						 | 
						
							2019-06-17 10:38:54 -07:00 | 
						
						
							
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Eddie Hung
								
							 
						 | 
						
							
							
							
							
								
							
							
								c15ee827f4
								
							
						 | 
						
							
							
								
								Try -W 300
							
							
							
							
							
						 | 
						
							2019-06-17 10:29:06 -07:00 | 
						
						
							
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Eddie Hung
								
							 
						 | 
						
							
							
							
							
								
							
							
								7250c57c5a
								
							
						 | 
						
							
							
								
								Re-enable &dc2
							
							
							
							
							
						 | 
						
							2019-06-17 10:28:51 -07:00 | 
						
						
							
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Clifford Wolf
								
							 
						 | 
						
							
							
							
							
								
							
							
								c23bbc4291
								
							
						 | 
						
							
							
								
								Add timescale and generated-by header to yosys-smtbmc MkVcd
							
							
							
							
							
							
							
							Signed-off-by: Clifford Wolf <clifford@clifford.at> 
							
						 | 
						
							2019-06-16 23:12:03 +02:00 | 
						
						
							
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Eddie Hung
								
							 
						 | 
						
							
							
							
							
								
							
							
								1ec450d6bf
								
							
						 | 
						
							
							
								
								Try -W 300
							
							
							
							
							
						 | 
						
							2019-06-16 12:08:03 -07:00 | 
						
						
							
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Eddie Hung
								
							 
						 | 
						
							
							
							
							
								
							
							
								5f9ba3ea41
								
							
						 | 
						
							
							
								
								Merge remote-tracking branch 'origin/xaig' into xc7mux
							
							
							
							
							
						 | 
						
							2019-06-16 12:05:07 -07:00 | 
						
						
							
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Eddie Hung
								
							 
						 | 
						
							
							
							
							
								
							
							
								0c59bc0b75
								
							
						 | 
						
							
							
								
								Cleanup
							
							
							
							
							
						 | 
						
							2019-06-16 10:42:00 -07:00 | 
						
						
							
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Eddie Hung
								
							 
						 | 
						
							
							
							
							
								
							
							
								59dcfcc919
								
							
						 | 
						
							
							
								
								Merge branch 'xaig' into xaig_dff
							
							
							
							
							
						 | 
						
							2019-06-16 09:35:59 -07:00 | 
						
						
							
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Eddie Hung
								
							 
						 | 
						
							
							
							
							
								
							
							
								fb90d8c18c
								
							
						 | 
						
							
							
								
								Cleanup
							
							
							
							
							
						 | 
						
							2019-06-16 09:34:26 -07:00 | 
						
						
							
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Eddie Hung
								
							 
						 | 
						
							
							
							
							
								
							
							
								6852c83bbe
								
							
						 | 
						
							
							
								
								Cleanup write_xaiger
							
							
							
							
							
						 | 
						
							2019-06-15 22:50:15 -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
								
							 
						 | 
						
							
							
							
							
								
							
							
								3d1185b835
								
							
						 | 
						
							
							
								
								Read init from outputs
							
							
							
							
							
						 | 
						
							2019-06-15 22:41:42 -07:00 | 
						
						
							
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Eddie Hung
								
							 
						 | 
						
							
							
							
							
								
							
							
								d969a9060e
								
							
						 | 
						
							
							
								
								Add +/xilinx/abc_ff
							
							
							
							
							
						 | 
						
							2019-06-15 22:41:29 -07:00 | 
						
						
							
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Eddie Hung
								
							 
						 | 
						
							
							
							
							
								
							
							
								bd2690e9b9
								
							
						 | 
						
							
							
								
								Preserve init of flops, and write into XAIG
							
							
							
							
							
						 | 
						
							2019-06-15 22:41:13 -07:00 | 
						
						
							
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Eddie Hung
								
							 
						 | 
						
							
							
							
							
								
							
							
								2309459605
								
							
						 | 
						
							
							
								
								Do not treat $__ABC_FF_ as a user cell
							
							
							
							
							
						 | 
						
							2019-06-15 19:36:55 -07:00 | 
						
						
							
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Eddie Hung
								
							 
						 | 
						
							
							
							
							
								
							
							
								9ec57b46c2
								
							
						 | 
						
							
							
								
								Fix spacing
							
							
							
							
							
						 | 
						
							2019-06-15 19:36:37 -07:00 | 
						
						
							
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Eddie Hung
								
							 
						 | 
						
							
							
							
							
								
							
							
								0debea25a7
								
							
						 | 
						
							
							
								
								Update comment
							
							
							
							
							
						 | 
						
							2019-06-15 18:24:04 -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
								
							 
						 | 
						
							
							
							
							
								
							
							
								c04921c3a8
								
							
						 | 
						
							
							
								
								Fix debug message
							
							
							
							
							
						 | 
						
							2019-06-15 18:13:44 -07:00 | 
						
						
							
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Eddie Hung
								
							 
						 | 
						
							
							
							
							
								
							
							
								b706ae82de
								
							
						 | 
						
							
							
								
								Fix log_debug messages
							
							
							
							
							
						 | 
						
							2019-06-15 12:42:18 -07:00 | 
						
						
							
							
							
							
								
							
							
						 |