Marcin Kościelnicki 
								
							 
						 
						
							
							
							
							
								
							
							
								98e5a625c4 
								
							 
						 
						
							
							
								
								synth_xilinx: Add -nocarry and -nomux options.  
							
							
							
						 
						
							2019-04-30 12:54:21 +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 
								
							 
						 
						
							
							
							
							
								
							
							
								4306bebe58 
								
							 
						 
						
							
							
								
								pmgen progress  
							
							... 
							
							
							
							Signed-off-by: Clifford Wolf <clifford@clifford.at> 
							
						 
						
							2019-04-30 10:51:51 +02:00 
							
								 
							
						 
					 
				
					
						
							
								
								
									Clifford Wolf 
								
							 
						 
						
							
							
							
							
								
							
							
								d2d402e625 
								
							 
						 
						
							
							
								
								Run "peepopt" in generic "synth" pass and "synth_ice40"  
							
							... 
							
							
							
							Signed-off-by: Clifford Wolf <clifford@clifford.at> 
							
						 
						
							2019-04-30 08:10:37 +02:00 
							
								 
							
						 
					 
				
					
						
							
								
								
									Clifford Wolf 
								
							 
						 
						
							
							
							
							
								
							
							
								bb4f3642de 
								
							 
						 
						
							
							
								
								Some pmgen reorg, rename peepopt.pmg to peepopt_shiftmul.pmg  
							
							... 
							
							
							
							Signed-off-by: Clifford Wolf <clifford@clifford.at> 
							
						 
						
							2019-04-30 08:04:22 +02:00 
							
								 
							
						 
					 
				
					
						
							
								
								
									Clifford Wolf 
								
							 
						 
						
							
							
							
							
								
							
							
								58238da133 
								
							 
						 
						
							
							
								
								Progress in shiftmul peepopt pattern  
							
							... 
							
							
							
							Signed-off-by: Clifford Wolf <clifford@clifford.at> 
							
						 
						
							2019-04-30 07:59:39 +02:00 
							
								 
							
						 
					 
				
					
						
							
								
								
									Clifford Wolf 
								
							 
						 
						
							
							
								
								
							
							
							
								
							
							
								314ff1e4ca 
								
							 
						 
						
							
							
								
								Merge pull request  #960  from YosysHQ/eddie/equiv_opt_undef  
							
							... 
							
							
							
							Add -undef option to equiv_opt, passed to equiv_induct 
							
						 
						
							2019-04-29 13:54:26 +02:00 
							
								 
							
						 
					 
				
					
						
							
								
								
									Clifford Wolf 
								
							 
						 
						
							
							
								
								
							
							
							
								
							
							
								8fde245ea2 
								
							 
						 
						
							
							
								
								Merge pull request  #967  from olegendo/depfile_esc_spaces  
							
							... 
							
							
							
							escape spaces with backslash when writing dep file 
							
						 
						
							2019-04-29 13:48:52 +02:00 
							
								 
							
						 
					 
				
					
						
							
								
								
									Clifford Wolf 
								
							 
						 
						
							
							
							
							
								
							
							
								ea547bcaa3 
								
							 
						 
						
							
							
								
								Add "peepopt" skeleton  
							
							... 
							
							
							
							Signed-off-by: Clifford Wolf <clifford@clifford.at> 
							
						 
						
							2019-04-29 13:38:56 +02:00 
							
								 
							
						 
					 
				
					
						
							
								
								
									Clifford Wolf 
								
							 
						 
						
							
							
							
							
								
							
							
								9f792c599d 
								
							 
						 
						
							
							
								
								Add pmgen support for multiple patterns in one matcher  
							
							... 
							
							
							
							Signed-off-by: Clifford Wolf <clifford@clifford.at> 
							
						 
						
							2019-04-29 13:02:05 +02:00 
							
								 
							
						 
					 
				
					
						
							
								
								
									Oleg Endo 
								
							 
						 
						
							
							
							
							
								
							
							
								4f15e7f00f 
								
							 
						 
						
							
							
								
								fix codestyle formatting  
							
							
							
						 
						
							2019-04-29 19:20:33 +09:00 
							
								 
							
						 
					 
				
					
						
							
								
								
									Clifford Wolf 
								
							 
						 
						
							
							
							
							
								
							
							
								32881a989c 
								
							 
						 
						
							
							
								
								Support multiple pmg files (right now just concatenated together)  
							
							... 
							
							
							
							Signed-off-by: Clifford Wolf <clifford@clifford.at> 
							
						 
						
							2019-04-29 12:09:02 +02:00 
							
								 
							
						 
					 
				
					
						
							
								
								
									Oleg Endo 
								
							 
						 
						
							
							
							
							
								
							
							
								e531fb203a 
								
							 
						 
						
							
							
								
								escape spaces with backslash when writing dep file  
							
							... 
							
							
							
							filenames are sparated by spaces in the dep file.  if a filename in the
dep file contains spaces they must be escaped, otherwise the tool that
reads the dep file will see multiple wrong filenames. 
							
						 
						
							2019-04-29 16:13:34 +09:00 
							
								 
							
						 
					 
				
					
						
							
								
								
									Clifford Wolf 
								
							 
						 
						
							
							
							
							
								
							
							
								754b1ee4b3 
								
							 
						 
						
							
							
								
								Drive dangling wires with init attr with their init value,  fixes   #956  
							
							
							
						 
						
							2019-04-29 08:44:53 +02:00 
							
								 
							
						 
					 
				
					
						
							
								
								
									Eddie Hung 
								
							 
						 
						
							
							
							
							
								
							
							
								acafcdc94d 
								
							 
						 
						
							
							
								
								Copy with 1'bx padding in $shiftx  
							
							
							
						 
						
							2019-04-28 13:04:34 -07:00 
							
								 
							
						 
					 
				
					
						
							
								
								
									Eddie Hung 
								
							 
						 
						
							
							
							
							
								
							
							
								e97178a888 
								
							 
						 
						
							
							
								
								WIP  
							
							
							
						 
						
							2019-04-28 12:51:00 -07:00 
							
								 
							
						 
					 
				
					
						
							
								
								
									Eddie Hung 
								
							 
						 
						
							
							
							
							
								
							
							
								af840bbc63 
								
							 
						 
						
							
							
								
								Move neg-pol to pos-pol mapping from ff_map to cells_map.v  
							
							
							
						 
						
							2019-04-28 12:36:04 -07:00 
							
								 
							
						 
					 
				
					
						
							
								
								
									Eddie Hung 
								
							 
						 
						
							
							
							
							
								
							
							
								4aca928033 
								
							 
						 
						
							
							
								
								Fix spacing  
							
							
							
						 
						
							2019-04-26 19:46:34 -07:00 
							
								 
							
						 
					 
				
					
						
							
								
								
									Eddie Hung 
								
							 
						 
						
							
							
							
							
								
							
							
								0f1ba94924 
								
							 
						 
						
							
							
								
								Remove split_shiftx tests  
							
							
							
						 
						
							2019-04-26 19:45:47 -07:00 
							
								 
							
						 
					 
				
					
						
							
								
								
									Eddie Hung 
								
							 
						 
						
							
							
							
							
								
							
							
								d855683917 
								
							 
						 
						
							
							
								
								Revert synth_xilinx 'fine' label more to how it used to be...  
							
							
							
						 
						
							2019-04-26 16:53:16 -07:00 
							
								 
							
						 
					 
				
					
						
							
								
								
									Eddie Hung 
								
							 
						 
						
							
							
							
							
								
							
							
								ccc283737d 
								
							 
						 
						
							
							
								
								Apparently, this reduces number of MUXCY/XORCY  
							
							
							
						 
						
							2019-04-26 16:28:48 -07:00 
							
								 
							
						 
					 
				
					
						
							
								
								
									Eddie Hung 
								
							 
						 
						
							
							
							
							
								
							
							
								e31e21766d 
								
							 
						 
						
							
							
								
								Try a different approach with 'muxcover'  
							
							
							
						 
						
							2019-04-26 16:09:54 -07:00 
							
								 
							
						 
					 
				
					
						
							
								
								
									Eddie Hung 
								
							 
						 
						
							
							
							
							
								
							
							
								76b7c5d4cc 
								
							 
						 
						
							
							
								
								Merge remote-tracking branch 'origin/master' into xc7mux  
							
							
							
						 
						
							2019-04-26 15:35:55 -07:00 
							
								 
							
						 
					 
				
					
						
							
								
								
									Eddie Hung 
								
							 
						 
						
							
							
							
							
								
							
							
								ea0e0722bb 
								
							 
						 
						
							
							
								
								Where did this check come from!?!  
							
							
							
						 
						
							2019-04-26 15:35:34 -07:00 
							
								 
							
						 
					 
				
					
						
							
								
								
									Eddie Hung 
								
							 
						 
						
							
							
							
							
								
							
							
								6b9ca7cd6d 
								
							 
						 
						
							
							
								
								Remove split_shiftx call  
							
							
							
						 
						
							2019-04-26 15:32:58 -07:00 
							
								 
							
						 
					 
				
					
						
							
								
								
									Eddie Hung 
								
							 
						 
						
							
							
							
							
								
							
							
								dcc8a13e48 
								
							 
						 
						
							
							
								
								Revert "Merge branch 'eddie/split_shiftx' into xc7mux"  
							
							... 
							
							
							
							This reverts commit 3042d58330feff976454 
							
						 
						
							2019-04-26 15:32:02 -07:00 
							
								 
							
						 
					 
				
					
						
							
								
								
									Eddie Hung 
								
							 
						 
						
							
							
							
							
								
							
							
								8469d9fe9f 
								
							 
						 
						
							
							
								
								Missing newline  
							
							
							
						 
						
							2019-04-26 14:51:37 -07:00 
							
								 
							
						 
					 
				
					
						
							
								
								
									Eddie Hung 
								
							 
						 
						
							
							
							
							
								
							
							
								727eec04c5 
								
							 
						 
						
							
							
								
								Refactor synth_xilinx to auto-generate doc  
							
							
							
						 
						
							2019-04-26 14:32:18 -07:00 
							
								 
							
						 
					 
				
					
						
							
								
								
									Eddie Hung 
								
							 
						 
						
							
							
							
							
								
							
							
								1ea6d7920f 
								
							 
						 
						
							
							
								
								Cleanup ice40  
							
							
							
						 
						
							2019-04-26 14:31:59 -07:00 
							
								 
							
						 
					 
				
					
						
							
								
								
									Eddie Hung 
								
							 
						 
						
							
							
							
							
								
							
							
								159e7cc298 
								
							 
						 
						
							
							
								
								Add -undef option to equiv_opt, passed to equiv_induct  
							
							
							
						 
						
							2019-04-26 11:16:48 -07:00 
							
								 
							
						 
					 
				
					
						
							
								
								
									Eddie Hung 
								
							 
						 
						
							
							
							
							
								
							
							
								4473fd1502 
								
							 
						 
						
							
							
								
								Add -undef option to equiv_opt, passed to equiv_induct  
							
							
							
						 
						
							2019-04-26 11:14:33 -07:00 
							
								 
							
						 
					 
				
					
						
							
								
								
									Eddie Hung 
								
							 
						 
						
							
							
							
							
								
							
							
								976d8030dc 
								
							 
						 
						
							
							
								
								Actually use pm.st.shiftxB  
							
							
							
						 
						
							2019-04-25 19:59:33 -07:00 
							
								 
							
						 
					 
				
					
						
							
								
								
									Eddie Hung 
								
							 
						 
						
							
							
							
							
								
							
							
								f14d7f0df6 
								
							 
						 
						
							
							
								
								Cleanup superseded  
							
							
							
						 
						
							2019-04-25 19:43:41 -07:00 
							
								 
							
						 
					 
				
					
						
							
								
								
									Eddie Hung 
								
							 
						 
						
							
							
							
							
								
							
							
								019c48b508 
								
							 
						 
						
							
							
								
								bitblast_shiftx -> split_shiftx  
							
							
							
						 
						
							2019-04-25 19:38:35 -07:00 
							
								 
							
						 
					 
				
					
						
							
								
								
									Eddie Hung 
								
							 
						 
						
							
							
							
							
								
							
							
								fb4348f840 
								
							 
						 
						
							
							
								
								Fix for when B_WIDTH has trailing zeroes  
							
							
							
						 
						
							2019-04-25 19:38:19 -07:00 
							
								 
							
						 
					 
				
					
						
							
								
								
									Eddie Hung 
								
							 
						 
						
							
							
							
							
								
							
							
								880652283c 
								
							 
						 
						
							
							
								
								Merge remote-tracking branch 'origin/eddie/split_shiftx' into xc7mux  
							
							
							
						 
						
							2019-04-25 18:52:20 -07:00 
							
								 
							
						 
					 
				
					
						
							
								
								
									Eddie Hung 
								
							 
						 
						
							
							
							
							
								
							
							
								ece2c49e92 
								
							 
						 
						
							
							
								
								In order to indicate a failed pattern, blacklist?  
							
							
							
						 
						
							2019-04-25 18:39:13 -07:00 
							
								 
							
						 
					 
				
					
						
							
								
								
									Eddie Hung 
								
							 
						 
						
							
							
							
							
								
							
							
								0eb7150a57 
								
							 
						 
						
							
							
								
								Add test  
							
							
							
						 
						
							2019-04-25 18:08:05 -07:00 
							
								 
							
						 
					 
				
					
						
							
								
								
									Eddie Hung 
								
							 
						 
						
							
							
							
							
								
							
							
								af3c374a35 
								
							 
						 
						
							
							
								
								Elaborate on help message  
							
							
							
						 
						
							2019-04-25 17:35:39 -07:00 
							
								 
							
						 
					 
				
					
						
							
								
								
									Eddie Hung 
								
							 
						 
						
							
							
							
							
								
							
							
								3042d58330 
								
							 
						 
						
							
							
								
								Merge branch 'eddie/split_shiftx' into xc7mux  
							
							
							
						 
						
							2019-04-25 17:31:27 -07:00 
							
								 
							
						 
					 
				
					
						
							
								
								
									Eddie Hung 
								
							 
						 
						
							
							
							
							
								
							
							
								ccd0729456 
								
							 
						 
						
							
							
								
								Add split_shiftx command  
							
							
							
						 
						
							2019-04-25 17:23:59 -07:00 
							
								 
							
						 
					 
				
					
						
							
								
								
									Eddie Hung 
								
							 
						 
						
							
							
							
							
								
							
							
								8d00b9ef7e 
								
							 
						 
						
							
							
								
								Make pmgen support files more generic  
							
							
							
						 
						
							2019-04-25 17:23:46 -07:00 
							
								 
							
						 
					 
				
					
						
							
								
								
									Eddie Hung 
								
							 
						 
						
							
							
							
							
								
							
							
								feff976454 
								
							 
						 
						
							
							
								
								synth_xilinx to call bitblast_shiftx  
							
							
							
						 
						
							2019-04-25 17:11:18 -07:00 
							
								 
							
						 
					 
				
					
						
							
								
								
									Eddie Hung 
								
							 
						 
						
							
							
								
								
							
							
							
								
							
							
								408161ea3a 
								
							 
						 
						
							
							
								
								Misspelling  
							
							
							
						 
						
							2019-04-25 16:46:13 -07:00 
							
								 
							
						 
					 
				
					
						
							
								
								
									Eddie Hung 
								
							 
						 
						
							
							
							
							
								
							
							
								eec314e262 
								
							 
						 
						
							
							
								
								Remove topo sort no-loop assertion, with test  
							
							
							
						 
						
							2019-04-24 21:06:53 -07:00 
							
								 
							
						 
					 
				
					
						
							
								
								
									Eddie Hung 
								
							 
						 
						
							
							
							
							
								
							
							
								f96d82a5f1 
								
							 
						 
						
							
							
								
								Add -nocarry option to synth_xilinx  
							
							
							
						 
						
							2019-04-24 16:46:41 -07:00 
							
								 
							
						 
					 
				
					
						
							
								
								
									Eddie Hung 
								
							 
						 
						
							
							
							
							
								
							
							
								ac2aff9e28 
								
							 
						 
						
							
							
								
								Fix abc9 with (* keep *) wires  
							
							
							
						 
						
							2019-04-23 16:11:39 -07:00 
							
								 
							
						 
					 
				
					
						
							
								
								
									Eddie Hung 
								
							 
						 
						
							
							
							
							
								
							
							
								bfd71e0990 
								
							 
						 
						
							
							
								
								Fix abc9 with (* keep *) wires  
							
							
							
						 
						
							2019-04-23 16:11:14 -07:00 
							
								 
							
						 
					 
				
					
						
							
								
								
									Eddie Hung 
								
							 
						 
						
							
							
							
							
								
							
							
								9d122d3c51 
								
							 
						 
						
							
							
								
								Refactor into AigerReader::post_process()  
							
							
							
						 
						
							2019-04-23 15:06:19 -07:00 
							
								 
							
						 
					 
				
					
						
							
								
								
									Clifford Wolf 
								
							 
						 
						
							
							
							
							
								
							
							
								67005633e2 
								
							 
						 
						
							
							
								
								Add specify support to README  
							
							... 
							
							
							
							Signed-off-by: Clifford Wolf <clifford@clifford.at> 
							
						 
						
							2019-04-23 23:01:38 +02:00