mirror of https://github.com/zachjs/sv2v.git
3 lines
90 B
Coq
3 lines
90 B
Coq
|
// iverilog has support for packed arrays and functions
|
||
|
|
`include "packed_array_shadow.sv"
|