Clifford Wolf 
								
							 
						 
						
							
							
							
							
								
							
							
								675a44b41a 
								
							 
						 
						
							
							
								
								Be slightly less aggressive in "deminout" pass  
							
							... 
							
							
							
							Signed-off-by: Clifford Wolf <clifford@clifford.at> 
							
						 
						
							2018-06-19 14:29:38 +02:00 
							
								 
							
							
								 
							
						 
					 
				
					
						
							
								
								
									Edmond Cote 
								
							 
						 
						
							
							
								
								
							
							
							
								
							
							
								d89560a0ba 
								
							 
						 
						
							
							
								
								Include module name for area summary stats  
							
							... 
							
							
							
							The PR prints the name of the module when displaying the final area count.
Pros:
- Easier for the user to `grep` for area information about a specific module
Cons:
- Arguably more verbose, less "pretty" than author desires
Verification:
~~~~
30c30
<    Chip area for this module: 20616.349000
---
>    Chip area for module '$paramod$d1738fc0bb353d517bc2caf8fef2abb20bced034\picorv32': 20616.349000
70c70
<    Chip area for this module: 88.697700
---
>    Chip area for module '\picorv32_axi_adapter': 88.697700
102c102
<    Chip area for this module: 20705.046700
---
>    Chip area for top module '\picorv32_axi': 20705.046700
~~~~ 
							
						 
						
							2018-06-18 17:29:01 -07:00 
							
								 
							
							
								 
							
						 
					 
				
					
						
							
								
								
									Clifford Wolf 
								
							 
						 
						
							
							
							
							
								
							
							
								f273291dfe 
								
							 
						 
						
							
							
								
								Add setundef -anyseq / -anyconst support to -undriven mode  
							
							... 
							
							
							
							Signed-off-by: Clifford Wolf <clifford@clifford.at> 
							
						 
						
							2018-06-01 11:57:28 +02:00 
							
								 
							
							
								 
							
						 
					 
				
					
						
							
								
								
									Clifford Wolf 
								
							 
						 
						
							
							
							
							
								
							
							
								4cd6d5556a 
								
							 
						 
						
							
							
								
								Add "setundef -anyconst"  
							
							... 
							
							
							
							Signed-off-by: Clifford Wolf <clifford@clifford.at> 
							
						 
						
							2018-06-01 11:49:58 +02:00 
							
								 
							
							
								 
							
						 
					 
				
					
						
							
								
								
									Clifford Wolf 
								
							 
						 
						
							
							
							
							
								
							
							
								3ab79a231b 
								
							 
						 
						
							
							
								
								Bugfix in handling of array instances with empty ports  
							
							... 
							
							
							
							Signed-off-by: Clifford Wolf <clifford@clifford.at> 
							
						 
						
							2018-05-31 18:09:31 +02:00 
							
								 
							
							
								 
							
						 
					 
				
					
						
							
								
								
									Clifford Wolf 
								
							 
						 
						
							
							
							
							
								
							
							
								cee4b1e6bc 
								
							 
						 
						
							
							
								
								Disable memory_dff for initialized FFs  
							
							... 
							
							
							
							Signed-off-by: Clifford Wolf <clifford@clifford.at> 
							
						 
						
							2018-05-28 17:16:15 +02:00 
							
								 
							
							
								 
							
						 
					 
				
					
						
							
								
								
									Clifford Wolf 
								
							 
						 
						
							
							
							
							
								
							
							
								74efafc1cf 
								
							 
						 
						
							
							
								
								Add some cleanup code to memory_nordff  
							
							... 
							
							
							
							Signed-off-by: Clifford Wolf <clifford@clifford.at> 
							
						 
						
							2018-05-28 16:42:06 +02:00 
							
								 
							
							
								 
							
						 
					 
				
					
						
							
								
								
									Robert Ou 
								
							 
						 
						
							
							
							
							
								
							
							
								9763e4d830 
								
							 
						 
						
							
							
								
								Fix infinite loop in abc command under emscripten  
							
							
							
						 
						
							2018-05-18 22:42:39 -07:00 
							
								 
							
							
								 
							
						 
					 
				
					
						
							
								
								
									Robert Ou 
								
							 
						 
						
							
							
							
							
								
							
							
								bfce3a7479 
								
							 
						 
						
							
							
								
								Add an option to statically link abc into yosys  
							
							... 
							
							
							
							This is currently incomplete because the output filter no longer works. 
							
						 
						
							2018-05-18 22:35:28 -07:00 
							
								 
							
							
								 
							
						 
					 
				
					
						
							
								
								
									Aman Goel 
								
							 
						 
						
							
							
							
							
								
							
							
								6e63df6dd0 
								
							 
						 
						
							
							
								
								Correction to -expose with setundef  
							
							
							
						 
						
							2018-05-15 13:06:23 -04:00 
							
								 
							
							
								 
							
						 
					 
				
					
						
							
								
								
									Clifford Wolf 
								
							 
						 
						
							
							
							
							
								
							
							
								fe80b39f56 
								
							 
						 
						
							
							
								
								Fix iopadmap for loops between tristate IO buffers  
							
							... 
							
							
							
							Signed-off-by: Clifford Wolf <clifford@clifford.at> 
							
						 
						
							2018-05-15 14:02:27 +02:00 
							
								 
							
							
								 
							
						 
					 
				
					
						
							
								
								
									Clifford Wolf 
								
							 
						 
						
							
							
							
							
								
							
							
								edd297fb1c 
								
							 
						 
						
							
							
								
								Fix iopadmap for cases where IO pins already have buffers on them  
							
							... 
							
							
							
							Signed-off-by: Clifford Wolf <clifford@clifford.at> 
							
						 
						
							2018-05-15 13:13:43 +02:00 
							
								 
							
							
								 
							
						 
					 
				
					
						
							
								
								
									Aman Goel 
								
							 
						 
						
							
							
							
							
								
							
							
								8b9a8c7f91 
								
							 
						 
						
							
							
								
								Minor correction  
							
							... 
							
							
							
							Minor typo error correction in -expose with setundef 
							
						 
						
							2018-05-14 18:58:49 -04:00 
							
								 
							
							
								 
							
						 
					 
				
					
						
							
								
								
									Aman Goel 
								
							 
						 
						
							
							
							
							
								
							
							
								b4a303a1b7 
								
							 
						 
						
							
							
								
								Corrections to option -expose in setundef pass  
							
							
							
						 
						
							2018-05-13 20:13:54 -04:00 
							
								 
							
							
								 
							
						 
					 
				
					
						
							
								
								
									Aman Goel 
								
							 
						 
						
							
							
							
							
								
							
							
								9286acb687 
								
							 
						 
						
							
							
								
								Add option -expose to setundef pass  
							
							... 
							
							
							
							Option -expose converts undriven wires to inputs.
Example usage: setundef -undriven -expose [selection] 
							
						 
						
							2018-05-13 16:53:35 -04:00 
							
								 
							
							
								 
							
						 
					 
				
					
						
							
								
								
									Clifford Wolf 
								
							 
						 
						
							
							
							
							
								
							
							
								0fad1570b5 
								
							 
						 
						
							
							
								
								Some cleanups in setundef.cc  
							
							... 
							
							
							
							Signed-off-by: Clifford Wolf <clifford@clifford.at> 
							
						 
						
							2018-05-13 16:36:12 +02:00 
							
								 
							
							
								 
							
						 
					 
				
					
						
							
								
								
									Christian Krämer 
								
							 
						 
						
							
							
							
							
								
							
							
								c1ecb1b2f1 
								
							 
						 
						
							
							
								
								Add "#ifdef __FreeBSD__"  
							
							... 
							
							
							
							(Re-commit e3575a8 
							
						 
						
							2018-05-13 13:08:26 +02:00 
							
								 
							
							
								 
							
						 
					 
				
					
						
							
								
								
									Clifford Wolf 
								
							 
						 
						
							
							
							
							
								
							
							
								1167538d26 
								
							 
						 
						
							
							
								
								Revert "Add "#ifdef __FreeBSD__""  
							
							... 
							
							
							
							This reverts commit e3575a86c5 
							
						 
						
							2018-05-13 13:06:36 +02:00 
							
								 
							
							
								 
							
						 
					 
				
					
						
							
								
								
									Clifford Wolf 
								
							 
						 
						
							
							
							
							
								
							
							
								587056447e 
								
							 
						 
						
							
							
								
								Add optimization of tristate buffer with constant control input  
							
							... 
							
							
							
							Signed-off-by: Clifford Wolf <clifford@clifford.at> 
							
						 
						
							2018-05-12 15:18:27 +02:00 
							
								 
							
							
								 
							
						 
					 
				
					
						
							
								
								
									Clifford Wolf 
								
							 
						 
						
							
							
							
							
								
							
							
								11406a8082 
								
							 
						 
						
							
							
								
								Add "hierarchy -simcheck"  
							
							... 
							
							
							
							Signed-off-by: Clifford Wolf <clifford@clifford.at> 
							
						 
						
							2018-05-12 13:59:13 +02:00 
							
								 
							
							
								 
							
						 
					 
				
					
						
							
								
								
									Johnny Sorocil 
								
							 
						 
						
							
							
							
							
								
							
							
								e3575a86c5 
								
							 
						 
						
							
							
								
								Add "#ifdef __FreeBSD__"  
							
							
							
						 
						
							2018-05-05 13:02:44 +02:00 
							
								 
							
							
								 
							
						 
					 
				
					
						
							
								
								
									Clifford Wolf 
								
							 
						 
						
							
							
							
							
								
							
							
								145c685de0 
								
							 
						 
						
							
							
								
								Add ABC FAQ to "help abc"  
							
							... 
							
							
							
							Signed-off-by: Clifford Wolf <clifford@clifford.at> 
							
						 
						
							2018-05-04 21:59:31 +02:00 
							
								 
							
							
								 
							
						 
					 
				
					
						
							
								
								
									Clifford Wolf 
								
							 
						 
						
							
							
							
							
								
							
							
								a572b49538 
								
							 
						 
						
							
							
								
								Replace -ignore_redef with -[no]overwrite  
							
							... 
							
							
							
							Signed-off-by: Clifford Wolf <clifford@clifford.at> 
							
						 
						
							2018-05-03 15:25:59 +02:00 
							
								 
							
							
								 
							
						 
					 
				
					
						
							
								
								
									Clifford Wolf 
								
							 
						 
						
							
							
							
							
								
							
							
								705c366a91 
								
							 
						 
						
							
							
								
								Added missing dont_use handling for SR FFs to dfflibmap  
							
							... 
							
							
							
							Signed-off-by: Clifford Wolf <clifford@clifford.at> 
							
						 
						
							2018-04-05 11:01:45 +02:00 
							
								 
							
							
								 
							
						 
					 
				
					
						
							
								
								
									Clifford Wolf 
								
							 
						 
						
							
							
							
							
								
							
							
								665eec3d53 
								
							 
						 
						
							
							
								
								Removed $timescale from "sat" command VCD writer  
							
							... 
							
							
							
							Signed-off-by: Clifford Wolf <clifford@clifford.at> 
							
						 
						
							2018-03-29 12:38:41 +02:00 
							
								 
							
							
								 
							
						 
					 
				
					
						
							
								
								
									Clifford Wolf 
								
							 
						 
						
							
							
							
							
								
							
							
								ee3c12d6d9 
								
							 
						 
						
							
							
								
								Chenged "extensions_map" to "extensions_list" in hierarchy.cc  
							
							... 
							
							
							
							Signed-off-by: Clifford Wolf <clifford@clifford.at> 
							
						 
						
							2018-03-27 14:12:57 +02:00 
							
								 
							
							
								 
							
						 
					 
				
					
						
							
								
								
									Sergi Granell 
								
							 
						 
						
							
							
							
							
								
							
							
								f93f8aaa11 
								
							 
						 
						
							
							
								
								passes/hierarchy: Reduce code duplication in expand_module  
							
							... 
							
							
							
							This also makes it easier to add new file extensions support.
Signed-off-by: Sergi Granell <xerpi.g.12@gmail.com> 
							
						 
						
							2018-03-27 09:35:20 +02:00 
							
								 
							
							
								 
							
						 
					 
				
					
						
							
								
								
									Clifford Wolf 
								
							 
						 
						
							
							
							
							
								
							
							
								491c352da7 
								
							 
						 
						
							
							
								
								Add .sv support to "hierarchy -libdir"  
							
							
							
						 
						
							2018-03-26 21:19:00 +02:00 
							
								 
							
							
								 
							
						 
					 
				
					
						
							
								
								
									Clifford Wolf 
								
							 
						 
						
							
							
							
							
								
							
							
								08225f49a4 
								
							 
						 
						
							
							
								
								Add "expose -input"  
							
							... 
							
							
							
							Signed-off-by: Clifford Wolf <clifford@clifford.at> 
							
						 
						
							2018-03-12 13:52:52 +01:00 
							
								 
							
							
								 
							
						 
					 
				
					
						
							
								
								
									Clifford Wolf 
								
							 
						 
						
							
							
							
							
								
							
							
								83ffb23739 
								
							 
						 
						
							
							
								
								Add "setundef -undef"  
							
							... 
							
							
							
							Signed-off-by: Clifford Wolf <clifford@clifford.at> 
							
						 
						
							2018-03-12 13:52:35 +01:00 
							
								 
							
							
								 
							
						 
					 
				
					
						
							
								
								
									Clifford Wolf 
								
							 
						 
						
							
							
							
							
								
							
							
								a74f805ba0 
								
							 
						 
						
							
							
								
								Fix handling of src attributes in flatten  
							
							... 
							
							
							
							Signed-off-by: Clifford Wolf <clifford@clifford.at> 
							
						 
						
							2018-03-10 13:55:30 +01:00 
							
								 
							
							
								 
							
						 
					 
				
					
						
							
								
								
									Clifford Wolf 
								
							 
						 
						
							
							
							
							
								
							
							
								73c01dca65 
								
							 
						 
						
							
							
								
								Add "memory_nordff" pass  
							
							... 
							
							
							
							Signed-off-by: Clifford Wolf <clifford@clifford.at> 
							
						 
						
							2018-03-06 23:31:51 +01:00 
							
								 
							
							
								 
							
						 
					 
				
					
						
							
								
								
									Clifford Wolf 
								
							 
						 
						
							
							
							
							
								
							
							
								61a9e2eeb3 
								
							 
						 
						
							
							
								
								Fix connwrappers help message  
							
							... 
							
							
							
							Signed-off-by: Clifford Wolf <clifford@clifford.at> 
							
						 
						
							2018-03-04 22:54:34 +01:00 
							
								 
							
							
								 
							
						 
					 
				
					
						
							
								
								
									Clifford Wolf 
								
							 
						 
						
							
							
							
							
								
							
							
								d31584c649 
								
							 
						 
						
							
							
								
								Add $dlatchsr support to clk2fflogic  
							
							
							
						 
						
							2018-02-26 12:20:28 +01:00 
							
								 
							
							
								 
							
						 
					 
				
					
						
							
								
								
									Clifford Wolf 
								
							 
						 
						
							
							
							
							
								
							
							
								fba499b866 
								
							 
						 
						
							
							
								
								Fix opt_rmdff handling of $dlatchsr  
							
							... 
							
							
							
							Signed-off-by: Clifford Wolf <clifford@clifford.at> 
							
						 
						
							2018-02-26 11:46:05 +01:00 
							
								 
							
							
								 
							
						 
					 
				
					
						
							
								
								
									Clifford Wolf 
								
							 
						 
						
							
							
							
							
								
							
							
								eb67a7532b 
								
							 
						 
						
							
							
								
								Add $allconst and $allseq cell types  
							
							... 
							
							
							
							Signed-off-by: Clifford Wolf <clifford@clifford.at> 
							
						 
						
							2018-02-23 13:14:47 +01:00 
							
								 
							
							
								 
							
						 
					 
				
					
						
							
								
								
									Clifford Wolf 
								
							 
						 
						
							
							
							
							
								
							
							
								717abc93a8 
								
							 
						 
						
							
							
								
								Recognize stand-alone obj pattern even when it contains a slash  
							
							
							
						 
						
							2018-02-13 14:55:24 +01:00 
							
								 
							
							
								 
							
						 
					 
				
					
						
							
								
								
									Clifford Wolf 
								
							 
						 
						
							
							
							
							
								
							
							
								9337e4999d 
								
							 
						 
						
							
							
								
								Improve log messages in equiv_make  
							
							... 
							
							
							
							Signed-off-by: Clifford Wolf <clifford@clifford.at> 
							
						 
						
							2018-01-19 16:20:40 +01:00 
							
								 
							
							
								 
							
						 
					 
				
					
						
							
								
								
									Clifford Wolf 
								
							 
						 
						
							
							
							
							
								
							
							
								9ac560f5d3 
								
							 
						 
						
							
							
								
								Add "dffinit -highlow" and fix synth_intel  
							
							... 
							
							
							
							Signed-off-by: Clifford Wolf <clifford@clifford.at> 
							
						 
						
							2018-01-09 18:42:19 +01:00 
							
								 
							
							
								 
							
						 
					 
				
					
						
							
								
								
									Clifford Wolf 
								
							 
						 
						
							
							
							
							
								
							
							
								a96c775a73 
								
							 
						 
						
							
							
								
								Add support for "yosys -E"  
							
							... 
							
							
							
							Signed-off-by: Clifford Wolf <clifford@clifford.at> 
							
						 
						
							2018-01-07 16:36:13 +01:00 
							
								 
							
							
								 
							
						 
					 
				
					
						
							
								
								
									Clifford Wolf 
								
							 
						 
						
							
							
							
							
								
							
							
								446ccf1f05 
								
							 
						 
						
							
							
								
								Bugfix in hierarchy blackbox module port width handling  
							
							
							
						 
						
							2018-01-07 16:35:22 +01:00 
							
								 
							
							
								 
							
						 
					 
				
					
						
							
								
								
									Clifford Wolf 
								
							 
						 
						
							
							
							
							
								
							
							
								c80315cea4 
								
							 
						 
						
							
							
								
								Bugfix in hierarchy handling of blackbox module ports  
							
							... 
							
							
							
							Signed-off-by: Clifford Wolf <clifford@clifford.at> 
							
						 
						
							2018-01-05 13:28:45 +01:00 
							
								 
							
							
								 
							
						 
					 
				
					
						
							
								
								
									Clifford Wolf 
								
							 
						 
						
							
							
								
								
							
							
							
								
							
							
								fefb652d56 
								
							 
						 
						
							
							
								
								Merge pull request  #480  from Fatsie/liberty_value_expression  
							
							... 
							
							
							
							Value of properties can be expression. 
							
						 
						
							2018-01-04 13:30:00 +01:00 
							
								 
							
							
								 
							
						 
					 
				
					
						
							
								
								
									Clifford Wolf 
								
							 
						 
						
							
							
							
							
								
							
							
								2d140a44eb 
								
							 
						 
						
							
							
								
								Temporarily derive blackbox modules in hierarchy to evaluate port widths  
							
							... 
							
							
							
							Signed-off-by: Clifford Wolf <clifford@clifford.at> 
							
						 
						
							2018-01-04 13:23:29 +01:00 
							
								 
							
							
								 
							
						 
					 
				
					
						
							
								
								
									Staf Verhaegen 
								
							 
						 
						
							
							
							
							
								
							
							
								92eb841f0a 
								
							 
						 
						
							
							
								
								Value of properties can be expression.  
							
							... 
							
							
							
							Example found in the 2007.03 Liberty Reference Manual that was also found
in the wild:
    input_voltage(CMOS) {
        vil : 0.3 * VDD ;
        vih : 0.7 * VDD ;
        vimin : -0.5 ;
        vimax : VDD + 0.5 ;
    }
Current implementation just parses the expression but no interpretation is done. 
							
						 
						
							2018-01-03 21:37:17 +00:00 
							
								 
							
							
								 
							
						 
					 
				
					
						
							
								
								
									Clifford Wolf 
								
							 
						 
						
							
							
							
							
								
							
							
								6132e6e72a 
								
							 
						 
						
							
							
								
								Fix a bug in clk2fflogic memory handling  
							
							
							
						 
						
							2017-12-14 03:05:55 +01:00 
							
								 
							
							
								 
							
						 
					 
				
					
						
							
								
								
									Clifford Wolf 
								
							 
						 
						
							
							
							
							
								
							
							
								590e6961cb 
								
							 
						 
						
							
							
								
								Add clk2fflogic memory support  
							
							
							
						 
						
							2017-12-14 02:07:31 +01:00 
							
								 
							
							
								 
							
						 
					 
				
					
						
							
								
								
									Clifford Wolf 
								
							 
						 
						
							
							
							
							
								
							
							
								88182e46d7 
								
							 
						 
						
							
							
								
								Check for memories in clk2fflogic  
							
							
							
						 
						
							2017-12-13 19:14:34 +01:00 
							
								 
							
							
								 
							
						 
					 
				
					
						
							
								
								
									Clifford Wolf 
								
							 
						 
						
							
							
							
							
								
							
							
								ca2adc30c9 
								
							 
						 
						
							
							
								
								Add warnings for driver-driver conflicts between FFs (and other cells) and constants  
							
							
							
						 
						
							2017-12-12 17:13:27 +01:00 
							
								 
							
							
								 
							
						 
					 
				
					
						
							
								
								
									Clifford Wolf 
								
							 
						 
						
							
							
							
							
								
							
							
								9ae25039fb 
								
							 
						 
						
							
							
								
								Add support for editline as replacement for readline  
							
							
							
						 
						
							2017-11-08 02:55:00 +01:00