nextpnr/fpga_interchange/examples/tests/wire/wire.v

6 lines
57 B
Coq
Raw Permalink Normal View History