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

by G Schneider, Xu Qiwen
Venue:Proceedings of FTRTFT’98, Anders P. Ravn and Hans Rischel (eds.), LNCS 1486