forked from tanchou/Verilog
		
	
		
			
	
	
		
			14 lines
		
	
	
		
			246 B
		
	
	
	
		
			Coq
		
	
	
	
	
	
		
		
			
		
	
	
			14 lines
		
	
	
		
			246 B
		
	
	
	
		
			Coq
		
	
	
	
	
	
|   | module top_module (  | ||
|  |     input wire [2:0] vec, | ||
|  |     output wire [2:0] outv, | ||
|  |     output wire o2, | ||
|  |     output wire o1, | ||
|  |     output wire o0  );  | ||
|  | 
 | ||
|  |     assign outv = vec; | ||
|  | 
 | ||
|  |     assign o0 = vec[0]; | ||
|  |     assign o1 = vec[1]; | ||
|  |     assign o2 = vec[2]; | ||
|  | 
 | ||
|  | endmodule |