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