mirror of
				https://github.com/YosysHQ/yosys
				synced 2025-10-28 18:29:25 +00:00 
			
		
		
		
	
		
			
				
	
	
		
			14 lines
		
	
	
	
		
			144 B
		
	
	
	
		
			Text
		
	
	
	
	
	
			
		
		
	
	
			14 lines
		
	
	
	
		
			144 B
		
	
	
	
		
			Text
		
	
	
	
	
	
| read_verilog -icells << EOT
 | |
| 
 | |
| module top(...);
 | |
| 
 | |
| input A;
 | |
| output Y;
 | |
| 
 | |
| $_XNOR_ x (.A(A), .B(A), .Y(Y));
 | |
| 
 | |
| endmodule
 | |
| 
 | |
| EOT
 | |
| 
 | |
| equiv_opt -assert opt_expr
 |