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
|