Generating concise assertions with complete coverage.

Chen-Hsuan Lin Lingyi Liu Shobha Vasudevan

Published in: ACM Great Lakes Symposium on VLSI (2013)

Keyphrases

complete coverage
cd rom

advanced database
database design

metadata
case study

practice questions