Aritra Hazra Priyankar Ghosh Pallab Dasgupta Partha Pratim Chakrabarti Inline Assertions - Embedding Formal Properties in a Test Bench. 71-76 2009 VLSI Design http://dx.doi.org/10.1109/VLSI.Design.2009.31 conf/vlsid/2009 db/conf/vlsid/vlsid2009.html#HazraGDC09