The Essence of Verilog: A Tractable and Tested Operational Semantics for Verilog.

Published in: Proc. ACM Program. Lang. (2023)

Keyphrases