mirror of
https://github.com/aolofsson/oh.git
synced 2025-01-30 02:32:53 +08:00
6 lines
62 B
Coq
6 lines
62 B
Coq
|
module oh_ecc_read (/*AUTOARG*/);
|
||
|
|
|
||
|
|
|
||
|
|
endmodule // oh_ecc_read
|
||
|
|
|