mirror of
				https://github.com/YosysHQ/yosys
				synced 2025-11-04 05:19:11 +00:00 
			
		
		
		
	* #4612 was written before read_ilang was deprecated but merged after so caused test failures. This switches read_ilang to read_rtlil
		
			
				
	
	
		
			15 lines
		
	
	
	
		
			258 B
		
	
	
	
		
			Text
		
	
	
	
	
	
			
		
		
	
	
			15 lines
		
	
	
	
		
			258 B
		
	
	
	
		
			Text
		
	
	
	
	
	
read_rtlil <<EOT
 | 
						|
autoidx 1
 | 
						|
module \top
 | 
						|
  wire output 1 \Y
 | 
						|
  cell $reduce_or $reduce_or$rtl.v:29$20
 | 
						|
    parameter \A_SIGNED 0
 | 
						|
    parameter \A_WIDTH 0
 | 
						|
    parameter \Y_WIDTH 1
 | 
						|
    connect \A { }
 | 
						|
    connect \Y \Y
 | 
						|
  end
 | 
						|
end
 | 
						|
EOT
 | 
						|
 | 
						|
equiv_opt -assert opt_demorgan
 |