TY  - RPRT
TI  - The Simulation Semantics of Synthesisable Verilog
AU  - Andreas Lööw
PY  - 2025
DO  - 10.1145/3720484
UR  - https://arxiv.org/abs/2502.19348
ID  - 2502.19348
ER  -