mirror of https://github.com/efabless/caravel.git
3 lines
31 B
Coq
3 lines
31 B
Coq
|
module mprj_vias ();
|
||
|
|
endmodule
|