Amir Hekmatpour, Azadeh Salehi. Block-based Schema-driven Assertion Generation for Functional Verification. In 14th Asian Test Symposium (ATS 2005), 18-21 December 2005, Calcutta, India. pages 34-39, IEEE Computer Society, 2005. [doi]
Abstract is missing.