mirror of
				https://github.com/YosysHQ/yosys
				synced 2025-10-31 03:32:29 +00:00 
			
		
		
		
	
		
			
				
	
	
		
			10 lines
		
	
	
	
		
			182 B
		
	
	
	
		
			Systemverilog
		
	
	
	
	
	
			
		
		
	
	
			10 lines
		
	
	
	
		
			182 B
		
	
	
	
		
			Systemverilog
		
	
	
	
	
	
| module foo #(parameter [1:0] a) (output [1:0] o);
 | |
| 	assign o = a;
 | |
| endmodule
 | |
| 
 | |
| module top(output [1:0] o);
 | |
| 	foo #(2'b0x) foo(o);
 | |
| 	always_comb begin
 | |
| 		assert(o == 2'b00);
 | |
| 	end
 | |
| endmodule
 |