Applied Assertion-Based Verification: An Industry Perspective

Harry Foster
2007 Foundations and Trends® in Electronic Design Automation  
doi:10.1561/1000000013 fatcat:6krg4p273fdldoshnx5d7u3n2i