mirror of
https://github.com/verilator/verilator.git
synced 2025-02-01 03:04:42 +00:00
4 lines
65 B
Coq
4 lines
65 B
Coq
|
// DESCRIPTION: Verilator: Verilog Test module
|
||
|
|
||
|
`define GOT_DEF6
|