Towards a Formal Semantics of Verilog Using Duration Calculus (1998)

by Gerardo Schneider, Xu Qiwen
Venue:Proceedings of FTRTFT’98, volume 1486 of LNCS