mirror of https://github.com/efabless/caravel.git
2 lines
42 B
Coq
2 lines
42 B
Coq
|
module caravan_signal_routing();
|
||
|
|
endmodule
|