Inline Assertions - Embedding Formal Properties in a Test Bench.

Aritra Hazra, Priyankar Ghosh, Pallab Dasgupta, Partha Pratim Chakrabarti

Browse the full VLSID paper archive.