mirror of
				https://github.com/YosysHQ/yosys
				synced 2025-10-31 19:52:31 +00:00 
			
		
		
		
	Merge remote-tracking branch 'origin/xaig' into xaig_dff
This commit is contained in:
		
						commit
						5ce672d1c5
					
				
					 2 changed files with 3 additions and 2 deletions
				
			
		|  | @ -29,7 +29,7 @@ | ||||||
| 						"&st; &if -g -K 6; &dch -f; &if {W}; &save; &load; "\ | 						"&st; &if -g -K 6; &dch -f; &if {W}; &save; &load; "\ | ||||||
| 						"&st; &if -g -K 6; &synch2; &if {W}; &save; &load" | 						"&st; &if -g -K 6; &synch2; &if {W}; &save; &load" | ||||||
| #else | #else | ||||||
| #define ABC_COMMAND_LUT "&st; &sweep; &scorr; "/*"&dc2; "*/"&retime; &dch -f; &ps -l; &if {W} {D} -v; "/*"&mfs; "*/"&ps -l" | #define ABC_COMMAND_LUT "&st; &sweep; &scorr; &dc2; &retime; &st; &dch -f; &ps -l; &if {W} {D} -v; "/*"&mfs; "*/"&ps -l" | ||||||
| #endif | #endif | ||||||
| 
 | 
 | ||||||
| 
 | 
 | ||||||
|  |  | ||||||
|  | @ -25,7 +25,8 @@ | ||||||
| USING_YOSYS_NAMESPACE | USING_YOSYS_NAMESPACE | ||||||
| PRIVATE_NAMESPACE_BEGIN | PRIVATE_NAMESPACE_BEGIN | ||||||
| 
 | 
 | ||||||
| #define XC7_WIRE_DELAY "160" | #define XC7_WIRE_DELAY "300" // Number with which ABC will map a 6-input gate
 | ||||||
|  |                              // to one LUT6 (instead of a LUT5 + LUT2)
 | ||||||
| 
 | 
 | ||||||
| struct SynthXilinxPass : public ScriptPass | struct SynthXilinxPass : public ScriptPass | ||||||
| { | { | ||||||
|  |  | ||||||
		Loading…
	
	Add table
		Add a link
		
	
		Reference in a new issue