Clifford Wolf 
								
							 
						 
						
							
							
								
								
							
							
							
								
							
							
								e664814971 
								
							 
						 
						
							
							
								
								Merge pull request  #1123  from mmicko/fix_typo  
							
							... 
							
							
							
							Fix json frontend loading upto 
							
						 
						
							2019-06-21 19:25:35 +02:00 
							
								 
							
						 
					 
				
					
						
							
								
								
									Clifford Wolf 
								
							 
						 
						
							
							
							
							
								
							
							
								ec979475e7 
								
							 
						 
						
							
							
								
								Replace "muxcover -freedecode" with "muxcover -dmux=cost"  
							
							... 
							
							
							
							Signed-off-by: Clifford Wolf <clifford@clifford.at> 
							
						 
						
							2019-06-21 19:24:41 +02:00 
							
								 
							
						 
					 
				
					
						
							
								
								
									Miodrag Milanovic 
								
							 
						 
						
							
							
							
							
								
							
							
								3775763f51 
								
							 
						 
						
							
							
								
								Fix typo  
							
							
							
						 
						
							2019-06-21 19:09:34 +02:00 
							
								 
							
						 
					 
				
					
						
							
								
								
									Eddie Hung 
								
							 
						 
						
							
							
								
								
							
							
							
								
							
							
								6d74cf0d2b 
								
							 
						 
						
							
							
								
								Merge pull request  #1085  from YosysHQ/eddie/shregmap_improve  
							
							... 
							
							
							
							Improve shregmap to handle case where first flop is common to two chains 
							
						 
						
							2019-06-21 08:56:56 -07:00 
							
								 
							
						 
					 
				
					
						
							
								
								
									Clifford Wolf 
								
							 
						 
						
							
							
								
								
							
							
							
								
							
							
								918460ddd3 
								
							 
						 
						
							
							
								
								Merge pull request  #1122  from YosysHQ/clifford/jsonports  
							
							... 
							
							
							
							Added JSON upto and offset 
							
						 
						
							2019-06-21 16:58:12 +02:00 
							
								 
							
						 
					 
				
					
						
							
								
								
									Clifford Wolf 
								
							 
						 
						
							
							
							
							
								
							
							
								f15def325c 
								
							 
						 
						
							
							
								
								Added JSON upto and offset  
							
							... 
							
							
							
							Signed-off-by: Clifford Wolf <clifford@clifford.at> 
							
						 
						
							2019-06-21 15:22:17 +02:00 
							
								 
							
						 
					 
				
					
						
							
								
								
									Clifford Wolf 
								
							 
						 
						
							
							
								
								
							
							
							
								
							
							
								f0955452ae 
								
							 
						 
						
							
							
								
								Merge pull request  #1121  from YosysHQ/ecp5-ccu2c-inv  
							
							... 
							
							
							
							ecp5: Improve mapping of $alu when BI is used 
							
						 
						
							2019-06-21 15:07:39 +02:00 
							
								 
							
						 
					 
				
					
						
							
								
								
									David Shah 
								
							 
						 
						
							
							
							
							
								
							
							
								a0d3d2bb41 
								
							 
						 
						
							
							
								
								ecp5: Improve mapping of $alu when BI is used  
							
							... 
							
							
							
							Signed-off-by: David Shah <dave@ds0.me> 
							
						 
						
							2019-06-21 09:45:11 +01:00 
							
								 
							
						 
					 
				
					
						
							
								
								
									Clifford Wolf 
								
							 
						 
						
							
							
								
								
							
							
							
								
							
							
								c9949dba99 
								
							 
						 
						
							
							
								
								Merge pull request  #1117  from bwidawsk/more-home  
							
							... 
							
							
							
							Add a few more filename rewrites 
							
						 
						
							2019-06-21 10:13:51 +02:00 
							
								 
							
						 
					 
				
					
						
							
								
								
									Clifford Wolf 
								
							 
						 
						
							
							
								
								
							
							
							
								
							
							
								78e7a6f6f2 
								
							 
						 
						
							
							
								
								Merge pull request  #1119  from YosysHQ/eddie/fix1118  
							
							... 
							
							
							
							Make genvar a signed type 
							
						 
						
							2019-06-21 10:13:13 +02:00 
							
								 
							
						 
					 
				
					
						
							
								
								
									Clifford Wolf 
								
							 
						 
						
							
							
								
								
							
							
							
								
							
							
								86a753cc18 
								
							 
						 
						
							
							
								
								Merge pull request  #1116  from YosysHQ/eddie/fix1115  
							
							... 
							
							
							
							Sign extend unsized 'bx and 'bz values 
							
						 
						
							2019-06-21 10:12:32 +02:00 
							
								 
							
						 
					 
				
					
						
							
								
								
									Clifford Wolf 
								
							 
						 
						
							
							
							
							
								
							
							
								9286b6f013 
								
							 
						 
						
							
							
								
								Add "muxcover -freedecode"  
							
							... 
							
							
							
							Signed-off-by: Clifford Wolf <clifford@clifford.at> 
							
						 
						
							2019-06-21 10:02:10 +02:00 
							
								 
							
						 
					 
				
					
						
							
								
								
									Eddie Hung 
								
							 
						 
						
							
							
							
							
								
							
							
								6a336ca23e 
								
							 
						 
						
							
							
								
								Fix spacing  
							
							
							
						 
						
							2019-06-20 22:30:20 -07:00 
							
								 
							
						 
					 
				
					
						
							
								
								
									Eddie Hung 
								
							 
						 
						
							
							
							
							
								
							
							
								cbbd96aae9 
								
							 
						 
						
							
							
								
								Revert Makefile  
							
							
							
						 
						
							2019-06-20 22:30:20 -07:00 
							
								 
							
						 
					 
				
					
						
							
								
								
									Eddie Hung 
								
							 
						 
						
							
							
							
							
								
							
							
								531d36336d 
								
							 
						 
						
							
							
								
								Fix spacing  
							
							
							
						 
						
							2019-06-20 22:29:40 -07:00 
							
								 
							
						 
					 
				
					
						
							
								
								
									Eddie Hung 
								
							 
						 
						
							
							
							
							
								
							
							
								6f6a7428f2 
								
							 
						 
						
							
							
								
								Revert Makefile  
							
							
							
						 
						
							2019-06-20 22:28:55 -07:00 
							
								 
							
						 
					 
				
					
						
							
								
								
									Eddie Hung 
								
							 
						 
						
							
							
							
							
								
							
							
								e21f01d938 
								
							 
						 
						
							
							
								
								Refactor bit2aig for less lookups  
							
							
							
						 
						
							2019-06-20 22:10:43 -07:00 
							
								 
							
						 
					 
				
					
						
							
								
								
									Eddie Hung 
								
							 
						 
						
							
							
							
							
								
							
							
								4422b7311b 
								
							 
						 
						
							
							
								
								Fix gcc invalidation behaviour for write_aiger  
							
							
							
						 
						
							2019-06-20 22:10:43 -07:00 
							
								 
							
						 
					 
				
					
						
							
								
								
									Eddie Hung 
								
							 
						 
						
							
							
							
							
								
							
							
								32f8014e12 
								
							 
						 
						
							
							
								
								Fix gcc error, due to dict invalidation during recursion  
							
							
							
						 
						
							2019-06-20 22:10:43 -07:00 
							
								 
							
						 
					 
				
					
						
							
								
								
									Eddie Hung 
								
							 
						 
						
							
							
							
							
								
							
							
								54f3237720 
								
							 
						 
						
							
							
								
								Fix gcc warning of potentially uninitialised  
							
							
							
						 
						
							2019-06-20 22:10:43 -07:00 
							
								 
							
						 
					 
				
					
						
							
								
								
									Eddie Hung 
								
							 
						 
						
							
							
							
							
								
							
							
								a9ce9193a1 
								
							 
						 
						
							
							
								
								Refactor bit2aig for less lookups  
							
							
							
						 
						
							2019-06-20 22:09:13 -07:00 
							
								 
							
						 
					 
				
					
						
							
								
								
									Eddie Hung 
								
							 
						 
						
							
							
							
							
								
							
							
								c4ea6fff65 
								
							 
						 
						
							
							
								
								Fix gcc invalidation behaviour for write_aiger  
							
							
							
						 
						
							2019-06-20 21:56:47 -07:00 
							
								 
							
						 
					 
				
					
						
							
								
								
									Eddie Hung 
								
							 
						 
						
							
							
							
							
								
							
							
								eb13663698 
								
							 
						 
						
							
							
								
								Fix gcc invalidation behaviour for write_aiger  
							
							
							
						 
						
							2019-06-20 21:56:02 -07:00 
							
								 
							
						 
					 
				
					
						
							
								
								
									Eddie Hung 
								
							 
						 
						
							
							
							
							
								
							
							
								d2076aa659 
								
							 
						 
						
							
							
								
								Fix gcc error, due to dict invalidation during recursion  
							
							
							
						 
						
							2019-06-20 21:55:08 -07:00 
							
								 
							
						 
					 
				
					
						
							
								
								
									Eddie Hung 
								
							 
						 
						
							
							
							
							
								
							
							
								06bf2ea562 
								
							 
						 
						
							
							
								
								Fix gcc warning of potentially uninitialised  
							
							
							
						 
						
							2019-06-20 21:53:27 -07:00 
							
								 
							
						 
					 
				
					
						
							
								
								
									Clifford Wolf 
								
							 
						 
						
							
							
							
							
								
							
							
								891ea6512e 
								
							 
						 
						
							
							
								
								Improvements in muxcover  
							
							... 
							
							
							
							- Slightly under-estimate cost of decoder muxes
- Prefer larger muxes at tree root at same cost
- Don't double-count input cost for partial muxes
- Add debug log output 
							
						 
						
							2019-06-20 19:47:59 -07:00 
							
								 
							
						 
					 
				
					
						
							
								
								
									Eddie Hung 
								
							 
						 
						
							
							
							
							
								
							
							
								844c42cef8 
								
							 
						 
						
							
							
								
								Missing a clean and opt_expr -mux_bool in test  
							
							
							
						 
						
							2019-06-20 19:47:59 -07:00 
							
								 
							
						 
					 
				
					
						
							
								
								
									Eddie Hung 
								
							 
						 
						
							
							
							
							
								
							
							
								75375a3fbc 
								
							 
						 
						
							
							
								
								Add test  
							
							
							
						 
						
							2019-06-20 19:47:59 -07:00 
							
								 
							
						 
					 
				
					
						
							
								
								
									Clifford Wolf 
								
							 
						 
						
							
							
							
							
								
							
							
								40188457d1 
								
							 
						 
						
							
							
								
								Add support for partial matches to muxcover,  fixes   #1091  
							
							... 
							
							
							
							Signed-off-by: Clifford Wolf <clifford@clifford.at> 
							
						 
						
							2019-06-20 19:47:59 -07:00 
							
								 
							
						 
					 
				
					
						
							
								
								
									Eddie Hung 
								
							 
						 
						
							
							
							
							
								
							
							
								8e56cfb6bb 
								
							 
						 
						
							
							
								
								write_xaiger to flatten 1'bx/1'bz to 1'b0 again  
							
							
							
						 
						
							2019-06-20 19:41:27 -07:00 
							
								 
							
						 
					 
				
					
						
							
								
								
									Eddie Hung 
								
							 
						 
						
							
							
							
							
								
							
							
								0e97e6a00d 
								
							 
						 
						
							
							
								
								Fix simple_abc9/generate test with 1'bx at MSB  
							
							
							
						 
						
							2019-06-20 19:41:27 -07:00 
							
								 
							
						 
					 
				
					
						
							
								
								
									Eddie Hung 
								
							 
						 
						
							
							
							
							
								
							
							
								ad36eb24c0 
								
							 
						 
						
							
							
								
								Fix different abc9 test  
							
							
							
						 
						
							2019-06-20 19:41:27 -07:00 
							
								 
							
						 
					 
				
					
						
							
								
								
									Eddie Hung 
								
							 
						 
						
							
							
							
							
								
							
							
								9faeba7a66 
								
							 
						 
						
							
							
								
								Fix broken abc9.v test due to inout being 1'bx  
							
							
							
						 
						
							2019-06-20 19:41:27 -07:00 
							
								 
							
						 
					 
				
					
						
							
								
								
									Eddie Hung 
								
							 
						 
						
							
							
							
							
								
							
							
								eb09ea6d54 
								
							 
						 
						
							
							
								
								Run simple_abc9 tests  
							
							
							
						 
						
							2019-06-20 19:41:27 -07:00 
							
								 
							
						 
					 
				
					
						
							
								
								
									Eddie Hung 
								
							 
						 
						
							
							
							
							
								
							
							
								b810bf26ab 
								
							 
						 
						
							
							
								
								write_xaiger to flatten 1'bx/1'bz to 1'b0 again  
							
							
							
						 
						
							2019-06-20 19:40:17 -07:00 
							
								 
							
						 
					 
				
					
						
							
								
								
									Eddie Hung 
								
							 
						 
						
							
							
							
							
								
							
							
								242b72d4e1 
								
							 
						 
						
							
							
								
								Fix simple_abc9/generate test with 1'bx at MSB  
							
							
							
						 
						
							2019-06-20 19:37:03 -07:00 
							
								 
							
						 
					 
				
					
						
							
								
								
									Eddie Hung 
								
							 
						 
						
							
							
							
							
								
							
							
								494610911a 
								
							 
						 
						
							
							
								
								Fix different abc9 test  
							
							
							
						 
						
							2019-06-20 19:31:22 -07:00 
							
								 
							
						 
					 
				
					
						
							
								
								
									Eddie Hung 
								
							 
						 
						
							
							
							
							
								
							
							
								c421d48d6d 
								
							 
						 
						
							
							
								
								Fix broken abc9.v test due to inout being 1'bx  
							
							
							
						 
						
							2019-06-20 19:27:00 -07:00 
							
								 
							
						 
					 
				
					
						
							
								
								
									Eddie Hung 
								
							 
						 
						
							
							
							
							
								
							
							
								a0566b03ec 
								
							 
						 
						
							
							
								
								Run simple_abc9 tests  
							
							
							
						 
						
							2019-06-20 19:06:51 -07:00 
							
								 
							
						 
					 
				
					
						
							
								
								
									Eddie Hung 
								
							 
						 
						
							
							
							
							
								
							
							
								e612dade12 
								
							 
						 
						
							
							
								
								Merge remote-tracking branch 'origin/master' into xaig  
							
							
							
						 
						
							2019-06-20 19:00:36 -07:00 
							
								 
							
						 
					 
				
					
						
							
								
								
									Eddie Hung 
								
							 
						 
						
							
							
							
							
								
							
							
								014606affe 
								
							 
						 
						
							
							
								
								Fix issue with part of PI being 1'bx  
							
							
							
						 
						
							2019-06-20 17:38:16 -07:00 
							
								 
							
						 
					 
				
					
						
							
								
								
									Eddie Hung 
								
							 
						 
						
							
							
							
							
								
							
							
								f11c9a419b 
								
							 
						 
						
							
							
								
								Call opt_expr -mux_undef to get rid of 1'bx in muxes prior to abc  
							
							
							
						 
						
							2019-06-20 17:38:16 -07:00 
							
								 
							
						 
					 
				
					
						
							
								
								
									Eddie Hung 
								
							 
						 
						
							
							
							
							
								
							
							
								4e5836a5fb 
								
							 
						 
						
							
							
								
								Handle COs driven by 1'bx  
							
							
							
						 
						
							2019-06-20 17:38:04 -07:00 
							
								 
							
						 
					 
				
					
						
							
								
								
									Eddie Hung 
								
							 
						 
						
							
							
							
							
								
							
							
								3f34779d64 
								
							 
						 
						
							
							
								
								Do not call "setundef -zero" in abc9  
							
							
							
						 
						
							2019-06-20 17:38:04 -07:00 
							
								 
							
						 
					 
				
					
						
							
								
								
									Eddie Hung 
								
							 
						 
						
							
							
							
							
								
							
							
								f2d541962e 
								
							 
						 
						
							
							
								
								write_xaiger to skip POs driven by 1'bx  
							
							
							
						 
						
							2019-06-20 17:37:54 -07:00 
							
								 
							
						 
					 
				
					
						
							
								
								
									Eddie Hung 
								
							 
						 
						
							
							
							
							
								
							
							
								7dca8def52 
								
							 
						 
						
							
							
								
								Fix issue with part of PI being 1'bx  
							
							
							
						 
						
							2019-06-20 17:29:45 -07:00 
							
								 
							
						 
					 
				
					
						
							
								
								
									Eddie Hung 
								
							 
						 
						
							
							
							
							
								
							
							
								e63324f5ef 
								
							 
						 
						
							
							
								
								Actually, there might not be any harm in updating sigmap...  
							
							
							
						 
						
							2019-06-20 17:03:05 -07:00 
							
								 
							
						 
					 
				
					
						
							
								
								
									Eddie Hung 
								
							 
						 
						
							
							
							
							
								
							
							
								9c61fb0e0c 
								
							 
						 
						
							
							
								
								Add comment as per @cliffordwolf  
							
							
							
						 
						
							2019-06-20 16:57:54 -07:00 
							
								 
							
						 
					 
				
					
						
							
								
								
									Eddie Hung 
								
							 
						 
						
							
							
							
							
								
							
							
								d1dadfcec8 
								
							 
						 
						
							
							
								
								Call opt_expr -mux_undef to get rid of 1'bx in muxes prior to abc  
							
							
							
						 
						
							2019-06-20 16:45:09 -07:00 
							
								 
							
						 
					 
				
					
						
							
								
								
									Eddie Hung 
								
							 
						 
						
							
							
							
							
								
							
							
								9faab38e8d 
								
							 
						 
						
							
							
								
								mux_map to drop sign bit, and eliminate 'bx-es  
							
							
							
						 
						
							2019-06-20 16:45:04 -07:00