Coverage Management with Inline Assertions and Formal Test Points.

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

Browse the full VLSID paper archive.