Eddie Hung
								
							 
						 | 
						
							
							
							
							
								
							
							
								291530c59f
								
							
						 | 
						
							
							
								
								abc9: add abc9.verify and abc9.debug options
							
							
							
							
							
						 | 
						
							2020-01-10 15:04:13 -08:00 | 
						
						
							
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Eddie Hung
								
							 
						 | 
						
							
							
							
							
								
							
							
								d1f8371481
								
							
						 | 
						
							
							
								
								abc9: fix typos
							
							
							
							
							
						 | 
						
							2020-01-10 10:00:09 -08:00 | 
						
						
							
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Eddie Hung
								
							 
						 | 
						
							
							
							
							
								
							
							
								a10016ccc5
								
							
						 | 
						
							
							
								
								Add abc9 sanity test
							
							
							
							
							
						 | 
						
							2020-01-09 18:17:06 -08:00 | 
						
						
							
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Eddie Hung
								
							 
						 | 
						
							
							
							
							
								
							
							
								e378902f93
								
							
						 | 
						
							
							
								
								Tune abc9.script.flow
							
							
							
							
							
						 | 
						
							2020-01-09 18:16:58 -08:00 | 
						
						
							
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Eddie Hung
								
							 
						 | 
						
							
							
							
							
								
							
							
								8b6309747b
								
							
						 | 
						
							
							
								
								Add '-v' to &if for abc9.script.default.fast
							
							
							
							
							
						 | 
						
							2020-01-09 17:49:56 -08:00 | 
						
						
							
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Eddie Hung
								
							 
						 | 
						
							
							
							
							
								
							
							
								32946a402d
								
							
						 | 
						
							
							
								
								abc9: start post-fix with semicolon
							
							
							
							
							
						 | 
						
							2020-01-09 17:35:13 -08:00 | 
						
						
							
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Eddie Hung
								
							 
						 | 
						
							
							
							
							
								
							
							
								ca70f96503
								
							
						 | 
						
							
							
								
								abc9.script.* constpad entries to start with '+'
							
							
							
							
							
						 | 
						
							2020-01-09 17:17:47 -08:00 | 
						
						
							
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Eddie Hung
								
							 
						 | 
						
							
							
							
							
								
							
							
								ef3e84aac9
								
							
						 | 
						
							
							
								
								Revert "abc9: if -script value is a file, then source it, otherwise commands"
							
							
							
							
							
							
							
							This reverts commit 0696b7bc9e. 
							
						 | 
						
							2020-01-09 17:11:09 -08:00 | 
						
						
							
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Eddie Hung
								
							 
						 | 
						
							
							
							
							
								
							
							
								67c9c41f7e
								
							
						 | 
						
							
							
								
								Move abc9.* constpad entries to Abc9Pass::on_register()
							
							
							
							
							
						 | 
						
							2020-01-09 17:10:54 -08:00 | 
						
						
							
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Eddie Hung
								
							 
						 | 
						
							
							
							
							
								
							
							
								dd718838bb
								
							
						 | 
						
							
							
								
								Merge remote-tracking branch 'origin/clifford/onpassreg' into eddie/abc9_scratchpad
							
							
							
							
							
						 | 
						
							2020-01-09 17:06:13 -08:00 | 
						
						
							
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Clifford Wolf
								
							 
						 | 
						
							
							
							
							
								
							
							
								cd92a974f4
								
							
						 | 
						
							
							
								
								Add Pass::on_register() and Pass::on_shutdown()
							
							
							
							
							
							
							
							Signed-off-by: Clifford Wolf <clifford@clifford.at> 
							
						 | 
						
							2020-01-09 21:36:34 +01:00 | 
						
						
							
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Eddie Hung
								
							 
						 | 
						
							
							
							
							
								
							
							
								fbd9636e08
								
							
						 | 
						
							
							
								
								Add abc9.if.script.flow{,2} to constpad
							
							
							
							
							
						 | 
						
							2020-01-08 12:15:01 -08:00 | 
						
						
							
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Eddie Hung
								
							 
						 | 
						
							
							
							
							
								
							
							
								589ffead5c
								
							
						 | 
						
							
							
								
								scratchpad entry abc9.if.R to &if -R
							
							
							
							
							
						 | 
						
							2020-01-08 12:13:06 -08:00 | 
						
						
							
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Eddie Hung
								
							 
						 | 
						
							
							
							
							
								
							
							
								0696b7bc9e
								
							
						 | 
						
							
							
								
								abc9: if -script value is a file, then source it, otherwise commands
							
							
							
							
							
						 | 
						
							2020-01-08 12:11:55 -08:00 | 
						
						
							
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Eddie Hung
								
							 
						 | 
						
							
							
							
							
								
							
							
								050f03f15b
								
							
						 | 
						
							
							
								
								abc9: add time as last script command
							
							
							
							
							
						 | 
						
							2020-01-08 10:55:44 -08:00 | 
						
						
							
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Eddie Hung
								
							 
						 | 
						
							
							
							
							
								
							
							
								e230fd8afe
								
							
						 | 
						
							
							
								
								Fix {C} substitution
							
							
							
							
							
						 | 
						
							2020-01-08 10:52:08 -08:00 | 
						
						
							
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Eddie Hung
								
							 
						 | 
						
							
							
							
							
								
							
							
								a63e2508fc
								
							
						 | 
						
							
							
								
								Add RTLIL::constpad, init by yosys_setup(); use for abc9
							
							
							
							
							
						 | 
						
							2020-01-08 10:52:08 -08:00 | 
						
						
							
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Eddie Hung
								
							 
						 | 
						
							
							
							
							
								
							
							
								823a08e0d8
								
							
						 | 
						
							
							
								
								Fix abc9_xc7.box comments
							
							
							
							
							
						 | 
						
							2020-01-07 17:00:38 -08:00 | 
						
						
							
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Eddie Hung
								
							 
						 | 
						
							
							
							
							
								
							
							
								102f139728
								
							
						 | 
						
							
							
								
								scc to use design->selected_modules() which avoids black/white-boxes
							
							
							
							
							
						 | 
						
							2020-01-07 15:46:36 -08:00 | 
						
						
							
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Eddie Hung
								
							 
						 | 
						
							
							
							
							
								
							
							
								66b0f3c406
								
							
						 | 
						
							
							
								
								Bump ABCREV for upstream fix
							
							
							
							
							
						 | 
						
							2020-01-07 15:40:37 -08:00 | 
						
						
							
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Eddie Hung
								
							 
						 | 
						
							
							
								
								
							
							
							
								
							
							
								fce727115a
								
							
						 | 
						
							
							
								
								Merge pull request #1618 from YosysHQ/eddie/aiger_fixes
							
							
							
							
							
							
							
							read_aiger fixes 
							
						 | 
						
							2020-01-07 14:45:31 -08:00 | 
						
						
							
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Eddie Hung
								
							 
						 | 
						
							
							
							
							
								
							
							
								2ac36031d4
								
							
						 | 
						
							
							
								
								read_aiger: consistency between ascii and binary; also name latches
							
							
							
							
							
						 | 
						
							2020-01-07 13:30:31 -08:00 | 
						
						
							
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Eddie Hung
								
							 
						 | 
						
							
							
							
							
								
							
							
								0d3f10d3cc
								
							
						 | 
						
							
							
								
								Add testcases
							
							
							
							
							
						 | 
						
							2020-01-07 11:44:20 -08:00 | 
						
						
							
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Eddie Hung
								
							 
						 | 
						
							
							
							
							
								
							
							
								7c878bf397
								
							
						 | 
						
							
							
								
								tests/aiger: write Yosys output
							
							
							
							
							
						 | 
						
							2020-01-07 11:44:03 -08:00 | 
						
						
							
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Eddie Hung
								
							 
						 | 
						
							
							
							
							
								
							
							
								b94cf0c126
								
							
						 | 
						
							
							
								
								read_aiger: connect identical signals together
							
							
							
							
							
						 | 
						
							2020-01-07 11:43:28 -08:00 | 
						
						
							
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Eddie Hung
								
							 
						 | 
						
							
							
							
							
								
							
							
								baba33fbd3
								
							
						 | 
						
							
							
								
								read_aiger: cope with latches and POs with same name
							
							
							
							
							
						 | 
						
							2020-01-07 11:22:48 -08:00 | 
						
						
							
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Eddie Hung
								
							 
						 | 
						
							
							
							
							
								
							
							
								738af17a26
								
							
						 | 
						
							
							
								
								read_aiger: default -clk_name to be empty
							
							
							
							
							
						 | 
						
							2020-01-07 11:21:45 -08:00 | 
						
						
							
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Eddie Hung
								
							 
						 | 
						
							
							
							
							
								
							
							
								5c89dead5f
								
							
						 | 
						
							
							
								
								Merge branch 'master' of github.com:YosysHQ/yosys
							
							
							
							
							
						 | 
						
							2020-01-06 16:51:32 -08:00 | 
						
						
							
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Eddie Hung
								
							 
						 | 
						
							
							
								
								
							
							
							
								
							
							
								ce765aa4de
								
							
						 | 
						
							
							
								
								Merge pull request #1181 from YosysHQ/xaig_dff
							
							
							
							
							
							
							
							"abc9 -dff" option for sequential synthesis 
							
						 | 
						
							2020-01-06 16:50:07 -08:00 | 
						
						
							
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Eddie Hung
								
							 
						 | 
						
							
							
							
							
								
							
							
								01866a7909
								
							
						 | 
						
							
							
								
								Fix DSP48E1 sim
							
							
							
							
							
						 | 
						
							2020-01-06 16:45:29 -08:00 | 
						
						
							
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Eddie Hung
								
							 
						 | 
						
							
							
							
							
								
							
							
								98ee8c14df
								
							
						 | 
						
							
							
								
								Merge remote-tracking branch 'origin/master' into xaig_dff
							
							
							
							
							
						 | 
						
							2020-01-06 15:02:44 -08:00 | 
						
						
							
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Eddie Hung
								
							 
						 | 
						
							
							
								
								
							
							
							
								
							
							
								66698cb6fd
								
							
						 | 
						
							
							
								
								Merge pull request #1617 from YosysHQ/eddie/abc9_dsp_refactor
							
							
							
							
							
							
							
							Refactor abc9's DSP48E1 handling 
							
						 | 
						
							2020-01-06 15:00:16 -08:00 | 
						
						
							
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Eddie Hung
								
							 
						 | 
						
							
							
							
							
								
							
							
								6728a62d92
								
							
						 | 
						
							
							
								
								abc9: uncomment nothing to map message
							
							
							
							
							
						 | 
						
							2020-01-06 12:21:50 -08:00 | 
						
						
							
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Eddie Hung
								
							 
						 | 
						
							
							
							
							
								
							
							
								28bf712372
								
							
						 | 
						
							
							
								
								Wrap arrival functions inside `YOSYS too
							
							
							
							
							
						 | 
						
							2020-01-06 11:55:56 -08:00 | 
						
						
							
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Eddie Hung
								
							 
						 | 
						
							
							
							
							
								
							
							
								64ace4b0dc
								
							
						 | 
						
							
							
								
								Fixes
							
							
							
							
							
						 | 
						
							2020-01-06 11:53:48 -08:00 | 
						
						
							
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Eddie Hung
								
							 
						 | 
						
							
							
							
							
								
							
							
								d152fe961f
								
							
						 | 
						
							
							
								
								Fixes
							
							
							
							
							
						 | 
						
							2020-01-06 11:50:55 -08:00 | 
						
						
							
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Eddie Hung
								
							 
						 | 
						
							
							
								
								
							
							
							
								
							
							
								898a8fa7ac
								
							
						 | 
						
							
							
								
								Merge pull request #1616 from nakengelhardt/abc_scratchpad_arg_warn
							
							
							
							
							
							
							
							error if multiple -g options are given for abc 
							
						 | 
						
							2020-01-06 11:39:59 -08:00 | 
						
						
							
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Eddie Hung
								
							 
						 | 
						
							
							
							
							
								
							
							
								27c150bfcc
								
							
						 | 
						
							
							
								
								Fix return value of arrival time functions, fix word
							
							
							
							
							
						 | 
						
							2020-01-06 11:39:08 -08:00 | 
						
						
							
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Eddie Hung
								
							 
						 | 
						
							
							
							
							
								
							
							
								7738d608e3
								
							
						 | 
						
							
							
								
								Bump ABCREV for upstream fix
							
							
							
							
							
						 | 
						
							2020-01-06 11:14:05 -08:00 | 
						
						
							
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Eddie Hung
								
							 
						 | 
						
							
							
							
							
								
							
							
								275e937fc1
								
							
						 | 
						
							
							
								
								abc9: remove -markgroups option, since operates on fully selected mod
							
							
							
							
							
						 | 
						
							2020-01-06 10:43:21 -08:00 | 
						
						
							
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Eddie Hung
								
							 
						 | 
						
							
							
							
							
								
							
							
								1cf974ff40
								
							
						 | 
						
							
							
								
								abc9: cleanup
							
							
							
							
							
						 | 
						
							2020-01-06 10:26:49 -08:00 | 
						
						
							
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Eddie Hung
								
							 
						 | 
						
							
							
							
							
								
							
							
								886c5c5883
								
							
						 | 
						
							
							
								
								write_xaiger: make more robust, update doc
							
							
							
							
							
						 | 
						
							2020-01-06 10:23:04 -08:00 | 
						
						
							
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Eddie Hung
								
							 
						 | 
						
							
							
							
							
								
							
							
								19ec54f956
								
							
						 | 
						
							
							
								
								write_aiger: make more robust
							
							
							
							
							
						 | 
						
							2020-01-06 10:18:59 -08:00 | 
						
						
							
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									N. Engelhardt
								
							 
						 | 
						
							
							
							
							
								
							
							
								fcc1c14adc
								
							
						 | 
						
							
							
								
								error if multiple -g options are given for abc
							
							
							
							
							
						 | 
						
							2020-01-06 19:10:13 +01:00 | 
						
						
							
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Eddie Hung
								
							 
						 | 
						
							
							
							
							
								
							
							
								f576721a37
								
							
						 | 
						
							
							
								
								Add abc9.dff scratchpad option
							
							
							
							
							
						 | 
						
							2020-01-06 09:46:02 -08:00 | 
						
						
							
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Eddie Hung
								
							 
						 | 
						
							
							
							
							
								
							
							
								45f87bb8ad
								
							
						 | 
						
							
							
								
								Merge remote-tracking branch 'origin/master' into xaig_dff
							
							
							
							
							
						 | 
						
							2020-01-06 09:44:17 -08:00 | 
						
						
							
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Eddie Hung
								
							 
						 | 
						
							
							
								
								
							
							
							
								
							
							
								89b88ea17f
								
							
						 | 
						
							
							
								
								Merge pull request #1582 from nakengelhardt/abc_scratchpad_script
							
							
							
							
							
							
							
							Check scratchpad for abc options 
							
						 | 
						
							2020-01-06 09:42:26 -08:00 | 
						
						
							
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Eddie Hung
								
							 
						 | 
						
							
							
							
							
								
							
							
								19541640ee
								
							
						 | 
						
							
							
								
								Merge remote-tracking branch 'origin/master' into xaig_dff
							
							
							
							
							
						 | 
						
							2020-01-06 09:31:28 -08:00 | 
						
						
							
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Eddie Hung
								
							 
						 | 
						
							
							
							
							
								
							
							
								ffd38cb5ea
								
							
						 | 
						
							
							
								
								Reword (* abc9_flop *) description
							
							
							
							
							
						 | 
						
							2020-01-06 09:03:18 -08:00 | 
						
						
							
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									N. Engelhardt
								
							 
						 | 
						
							
							
							
							
								
							
							
								7764b62d23
								
							
						 | 
						
							
							
								
								check scratchpad for arguments in abc pass too
							
							
							
							
							
						 | 
						
							2020-01-06 10:46:44 +01:00 | 
						
						
							
							
							
							
								
							
							
						 |