Instrumenting AMS assertion verification on commercial platforms

Rajdeep Mukhopadhyay, S. K. Panda, Pallab Dasgupta, John Gough. Instrumenting AMS assertion verification on commercial platforms. ACM Trans. Design Autom. Electr. Syst., 14(2), 2009. [doi]

Possibly Related Publications

The following publications are possibly variants of this publication: