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

by Gerardo Schneider , Qiwen Xu
Venue:Formal Techniques for Real-Time and Fault Tolerant Systems (FTRTFT'98). LNCS
Citations:8 - 2 self