Eddie Hung
								
							 
						 | 
						
							
							
							
							
								
							
							
								5c277c6325
								
							
						 | 
						
							
							
								
								Fix and test for balanced case
							
							
							
							
							
						 | 
						
							2019-06-06 14:21:34 -07:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Eddie Hung
								
							 
						 | 
						
							
							
							
							
								
							
							
								ccdf989025
								
							
						 | 
						
							
							
								
								Support cascading $pmux.A with $mux.A and $mux.B
							
							
							
							
							
						 | 
						
							2019-06-06 13:51:22 -07:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Eddie Hung
								
							 
						 | 
						
							
							
							
							
								
							
							
								dc7b8c4b94
								
							
						 | 
						
							
							
								
								More cleanup
							
							
							
							
							
						 | 
						
							2019-06-06 12:56:34 -07:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Eddie Hung
								
							 
						 | 
						
							
							
							
							
								
							
							
								978fda94f6
								
							
						 | 
						
							
							
								
								Fix spacing
							
							
							
							
							
						 | 
						
							2019-06-06 12:46:42 -07:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Eddie Hung
								
							 
						 | 
						
							
							
							
							
								
							
							
								d2172c6846
								
							
						 | 
						
							
							
								
								Non chain user check using next_sig
							
							
							
							
							
						 | 
						
							2019-06-06 12:44:50 -07:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Eddie Hung
								
							 
						 | 
						
							
							
							
							
								
							
							
								83450a9489
								
							
						 | 
						
							
							
								
								Move muxpack from passes/techmap to passes/opt
							
							
							
							
							
						 | 
						
							2019-06-06 12:15:13 -07:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Eddie Hung
								
							 
						 | 
						
							
							
							
							
								
							
							
								feb2ddb52b
								
							
						 | 
						
							
							
								
								Fix typo in opt_rmdff
							
							
							
							
							
						 | 
						
							2019-06-05 14:08:14 -07:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Clifford Wolf
								
							 
						 | 
						
							
							
							
							
								
							
							
								8a6f9977f6
								
							
						 | 
						
							
							
								
								Suppress driver-driver conflict warning for unknown cell types, fixes #1065
							
							
							
							
							
							
							
							Signed-off-by: Clifford Wolf <clifford@clifford.at> 
							
						 | 
						
							2019-06-05 09:14:12 +02:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Bogdan Vukobratovic
								
							 
						 | 
						
							
							
							
							
								
							
							
								9a468f81c4
								
							
						 | 
						
							
							
								
								Optimizing DFFs whose initial value prevents their value from changing
							
							
							
							
							
							
							
							This is a proof of concept implementation that invokes SAT solver via Pass::call
method. 
							
						 | 
						
							2019-05-28 08:48:21 +02:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Clifford Wolf
								
							 
						 | 
						
							
							
								
								
							
							
							
								
							
							
								2a9c68e2d6
								
							
						 | 
						
							
							
								
								Merge pull request #1026 from YosysHQ/clifford/fix1023
							
							
							
							
							
							
							
							Keep zero-width wires in opt_clean if and only if they are ports 
							
						 | 
						
							2019-05-27 13:24:19 +02:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Eddie Hung
								
							 
						 | 
						
							
							
							
							
								
							
							
								d4fb6cac7c
								
							
						 | 
						
							
							
								
								Revert enable check
							
							
							
							
							
						 | 
						
							2019-05-25 12:55:57 -07:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Eddie Hung
								
							 
						 | 
						
							
							
							
							
								
							
							
								822d0b7789
								
							
						 | 
						
							
							
								
								opt_rmdff to optimise even in presence of enable signal, even removing
							
							
							
							
							
						 | 
						
							2019-05-24 18:30:51 -07:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Eddie Hung
								
							 
						 | 
						
							
							
							
							
								
							
							
								0d66103cbb
								
							
						 | 
						
							
							
								
								Add comments
							
							
							
							
							
						 | 
						
							2019-05-24 16:33:10 -07:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Eddie Hung
								
							 
						 | 
						
							
							
							
							
								
							
							
								357b1de6bc
								
							
						 | 
						
							
							
								
								Resolve @cliffordwolf review, set even if !has_init
							
							
							
							
							
						 | 
						
							2019-05-24 16:15:22 -07:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Eddie Hung
								
							 
						 | 
						
							
							
							
							
								
							
							
								5ac7e38d0a
								
							
						 | 
						
							
							
								
								Fix spacing
							
							
							
							
							
						 | 
						
							2019-05-23 12:58:30 -07:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Eddie Hung
								
							 
						 | 
						
							
							
							
							
								
							
							
								50ed34a6d0
								
							
						 | 
						
							
							
								
								opt_rmdff to work on $dffe and $_DFFE_*
							
							
							
							
							
						 | 
						
							2019-05-23 11:26:18 -07:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Clifford Wolf
								
							 
						 | 
						
							
							
							
							
								
							
							
								e3f9ccf56d
								
							
						 | 
						
							
							
								
								Keep zero-width wires in opt_clean if and only if they are ports, fixes #1023
							
							
							
							
							
							
							
							Signed-off-by: Clifford Wolf <clifford@clifford.at> 
							
						 | 
						
							2019-05-22 13:57:36 +02:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Clifford Wolf
								
							 
						 | 
						
							
							
							
							
								
							
							
								c4b8575f43
								
							
						 | 
						
							
							
								
								Add "wreduce -keepdc", fixes #1016
							
							
							
							
							
							
							
							Signed-off-by: Clifford Wolf <clifford@clifford.at> 
							
						 | 
						
							2019-05-20 15:36:13 +02:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Clifford Wolf
								
							 
						 | 
						
							
							
							
							
								
							
							
								a21a84b3b4
								
							
						 | 
						
							
							
								
								Improvements in opt_clean
							
							
							
							
							
							
							
							Signed-off-by: Clifford Wolf <clifford@clifford.at> 
							
						 | 
						
							2019-05-15 16:01:28 +02:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Clifford Wolf
								
							 
						 | 
						
							
							
							
							
								
							
							
								8166a142dd
								
							
						 | 
						
							
							
								
								Fix handling of glob_abort_cnt in opt_muxtree, fixes #1002
							
							
							
							
							
							
							
							Signed-off-by: Clifford Wolf <clifford@clifford.at> 
							
						 | 
						
							2019-05-12 13:51:12 +02:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Clifford Wolf
								
							 
						 | 
						
							
							
							
							
								
							
							
								a76189e7ad
								
							
						 | 
						
							
							
								
								More opt_clean cleanups
							
							
							
							
							
							
							
							Signed-off-by: Clifford Wolf <clifford@clifford.at> 
							
						 | 
						
							2019-05-07 14:41:58 +02:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Clifford Wolf
								
							 
						 | 
						
							
							
								
								
							
							
							
								
							
							
								752553d8e9
								
							
						 | 
						
							
							
								
								Merge pull request #946 from YosysHQ/clifford/specify
							
							
							
							
							
							
							
							Add specify parser 
							
						 | 
						
							2019-05-06 20:57:15 +02:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Clifford Wolf
								
							 
						 | 
						
							
							
							
							
								
							
							
								d187be39d6
								
							
						 | 
						
							
							
								
								Merge branch 'master' of github.com:YosysHQ/yosys into clifford/fix968
							
							
							
							
							
						 | 
						
							2019-05-06 15:41:13 +02:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Clifford Wolf
								
							 
						 | 
						
							
							
							
							
								
							
							
								ba6ce21a74
								
							
						 | 
						
							
							
								
								Cleanups in opt_clean
							
							
							
							
							
							
							
							Signed-off-by: Clifford Wolf <clifford@clifford.at> 
							
						 | 
						
							2019-05-06 12:45:22 +02:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Clifford Wolf
								
							 
						 | 
						
							
							
							
							
								
							
							
								c7f2e93024
								
							
						 | 
						
							
							
								
								Merge branch 'master' of github.com:YosysHQ/yosys into clifford/specify
							
							
							
							
							
						 | 
						
							2019-05-06 11:46:10 +02:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Clifford Wolf
								
							 
						 | 
						
							
							
							
							
								
							
							
								a01386c0e4
								
							
						 | 
						
							
							
								
								Improve opt_clean handling of unused wires
							
							
							
							
							
							
							
							Signed-off-by: Clifford Wolf <clifford@clifford.at> 
							
						 | 
						
							2019-05-04 09:47:16 +02:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Eddie Hung
								
							 
						 | 
						
							
							
							
							
								
							
							
								d9c4644e88
								
							
						 | 
						
							
							
								
								Merge remote-tracking branch 'origin/master' into clifford/specify
							
							
							
							
							
						 | 
						
							2019-05-03 15:05:57 -07:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Clifford Wolf
								
							 
						 | 
						
							
							
								
								
							
							
							
								
							
							
								373b236108
								
							
						 | 
						
							
							
								
								Merge pull request #969 from YosysHQ/clifford/pmgenstuff
							
							
							
							
							
							
							
							Improve pmgen, Add "peepopt" pass with shift-mul pattern 
							
						 | 
						
							2019-05-03 20:39:50 +02:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Clifford Wolf
								
							 
						 | 
						
							
							
							
							
								
							
							
								42190207b4
								
							
						 | 
						
							
							
								
								Improve opt_expr and opt_clean handling of (partially) undriven and/or unused wires, fixes #981
							
							
							
							
							
							
							
							Signed-off-by: Clifford Wolf <clifford@clifford.at> 
							
						 | 
						
							2019-05-03 14:25:01 +02:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Clifford Wolf
								
							 
						 | 
						
							
							
							
							
								
							
							
								5c2c0b4bb2
								
							
						 | 
						
							
							
								
								Further improve unused-detection for opt_clean driver-driver conflict warning
							
							
							
							
							
							
							
							Signed-off-by: Clifford Wolf <clifford@clifford.at> 
							
						 | 
						
							2019-05-03 09:22:26 +02:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Clifford Wolf
								
							 
						 | 
						
							
							
							
							
								
							
							
								f12e1155f1
								
							
						 | 
						
							
							
								
								Improve unused-detection for opt_clean driver-driver conflict warning
							
							
							
							
							
							
							
							Signed-off-by: Clifford Wolf <clifford@clifford.at> 
							
						 | 
						
							2019-05-03 09:12:10 +02:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Clifford Wolf
								
							 
						 | 
						
							
							
							
							
								
							
							
								a30b99e66e
								
							
						 | 
						
							
							
								
								Silently resolve completely unused cell-vs-const driver-driver conflicts
							
							
							
							
							
							
							
							Signed-off-by: Clifford Wolf <clifford@clifford.at> 
							
						 | 
						
							2019-05-01 09:29:34 +02:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Clifford Wolf
								
							 
						 | 
						
							
							
							
							
								
							
							
								32ff37bb5a
								
							
						 | 
						
							
							
								
								Fix segfault in wreduce
							
							
							
							
							
							
							
							Signed-off-by: Clifford Wolf <clifford@clifford.at> 
							
						 | 
						
							2019-04-30 22:20:45 +02:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Clifford Wolf
								
							 
						 | 
						
							
							
							
							
								
							
							
								9d117eba9d
								
							
						 | 
						
							
							
								
								Add handling of init attributes in "opt_expr -undriven"
							
							
							
							
							
							
							
							Signed-off-by: Clifford Wolf <clifford@clifford.at> 
							
						 | 
						
							2019-04-30 14:46:12 +02:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Clifford Wolf
								
							 
						 | 
						
							
							
							
							
								
							
							
								b515fd2d25
								
							
						 | 
						
							
							
								
								Add peepopt_muldiv, fixes #930
							
							
							
							
							
							
							
							Signed-off-by: Clifford Wolf <clifford@clifford.at> 
							
						 | 
						
							2019-04-30 11:25:15 +02:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Clifford Wolf
								
							 
						 | 
						
							
							
							
							
								
							
							
								754b1ee4b3
								
							
						 | 
						
							
							
								
								Drive dangling wires with init attr with their init value, fixes #956
							
							
							
							
							
						 | 
						
							2019-04-29 08:44:53 +02:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Clifford Wolf
								
							 
						 | 
						
							
							
							
							
								
							
							
								71c38d9de5
								
							
						 | 
						
							
							
								
								Add $specrule cells for $setup/$hold/$skew specify rules
							
							
							
							
							
							
							
							Signed-off-by: Clifford Wolf <clifford@clifford.at> 
							
						 | 
						
							2019-04-23 21:36:59 +02:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Clifford Wolf
								
							 
						 | 
						
							
							
							
							
								
							
							
								634482380c
								
							
						 | 
						
							
							
								
								Preserve $specify[23] cells
							
							
							
							
							
							
							
							Signed-off-by: Clifford Wolf <clifford@clifford.at> 
							
						 | 
						
							2019-04-23 21:36:59 +02:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Clifford Wolf
								
							 
						 | 
						
							
							
							
							
								
							
							
								c84cdc711c
								
							
						 | 
						
							
							
								
								Remove some left-over log_dump()
							
							
							
							
							
							
							
							Signed-off-by: Clifford Wolf <clifford@clifford.at> 
							
						 | 
						
							2019-04-23 17:55:41 +02:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Clifford Wolf
								
							 
						 | 
						
							
							
								
								
							
							
							
								
							
							
								8ed4a53d99
								
							
						 | 
						
							
							
								
								Merge pull request #951 from YosysHQ/clifford/logdebug
							
							
							
							
							
							
							
							Add log_debug() framework 
							
						 | 
						
							2019-04-22 20:09:51 +02:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Clifford Wolf
								
							 
						 | 
						
							
							
							
							
								
							
							
								e158ea2097
								
							
						 | 
						
							
							
								
								Add log_debug() framework
							
							
							
							
							
							
							
							Signed-off-by: Clifford Wolf <clifford@clifford.at> 
							
						 | 
						
							2019-04-22 17:25:52 +02:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Clifford Wolf
								
							 
						 | 
						
							
							
							
							
								
							
							
								0f0ada13f4
								
							
						 | 
						
							
							
								
								Add full_pmux feature to pmux2shiftx
							
							
							
							
							
							
							
							Signed-off-by: Clifford Wolf <clifford@clifford.at> 
							
						 | 
						
							2019-04-22 15:26:20 +02:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Clifford Wolf
								
							 
						 | 
						
							
							
							
							
								
							
							
								fc23af1707
								
							
						 | 
						
							
							
								
								Auto-initialize OnehotDatabase on-demand in pmux2shiftx.cc
							
							
							
							
							
							
							
							Signed-off-by: Clifford Wolf <clifford@clifford.at> 
							
						 | 
						
							2019-04-20 18:13:37 +02:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Clifford Wolf
								
							 
						 | 
						
							
							
							
							
								
							
							
								97e9caa4fa
								
							
						 | 
						
							
							
								
								Add "onehot" pass, improve "pmux2shiftx" onehot handling
							
							
							
							
							
							
							
							Signed-off-by: Clifford Wolf <clifford@clifford.at> 
							
						 | 
						
							2019-04-20 17:52:16 +02:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Clifford Wolf
								
							 
						 | 
						
							
							
							
							
								
							
							
								b3a3e08e38
								
							
						 | 
						
							
							
								
								Improve "pmux2shiftx"
							
							
							
							
							
							
							
							Signed-off-by: Clifford Wolf <clifford@clifford.at> 
							
						 | 
						
							2019-04-20 02:03:44 +02:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Clifford Wolf
								
							 
						 | 
						
							
							
							
							
								
							
							
								e06d158e8a
								
							
						 | 
						
							
							
								
								Fix some typos
							
							
							
							
							
							
							
							Signed-off-by: Clifford Wolf <clifford@clifford.at> 
							
						 | 
						
							2019-04-20 01:18:07 +02:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Clifford Wolf
								
							 
						 | 
						
							
							
							
							
								
							
							
								37728520a6
								
							
						 | 
						
							
							
								
								Improvements in "pmux2shiftx"
							
							
							
							
							
							
							
							Signed-off-by: Clifford Wolf <clifford@clifford.at> 
							
						 | 
						
							2019-04-20 01:15:48 +02:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Clifford Wolf
								
							 
						 | 
						
							
							
							
							
								
							
							
								0070184ea9
								
							
						 | 
						
							
							
								
								Improvements in pmux2shiftx
							
							
							
							
							
							
							
							Signed-off-by: Clifford Wolf <clifford@clifford.at> 
							
						 | 
						
							2019-04-20 00:38:25 +02:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Clifford Wolf
								
							 
						 | 
						
							
							
							
							
								
							
							
								177878cbb0
								
							
						 | 
						
							
							
								
								Improve pmux2shift ctrl permutation finder
							
							
							
							
							
							
							
							Signed-off-by: Clifford Wolf <clifford@clifford.at> 
							
						 | 
						
							2019-04-20 00:38:25 +02:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Clifford Wolf
								
							 
						 | 
						
							
							
							
							
								
							
							
								481f0015be
								
							
						 | 
						
							
							
								
								Complete rewrite of pmux2shiftx
							
							
							
							
							
							
							
							Signed-off-by: Clifford Wolf <clifford@clifford.at> 
							
						 | 
						
							2019-04-20 00:38:25 +02:00 | 
						
						
							
							
							
							
								
							
							
							
								
							
							
						 |