Blocks (ALF) P1647 Standard for the Functional Verification Language 'e' (eWG) P1666 Standard SystemC Language Reference Manual [cosponsored with IEEE-SA

基于模型的测试

Bringmann, E.; Krämer, A. Model-Based Testing of Automotive Systems (PDF). 2008 International Conference on Software Testing, Verification, and Validation

芥菜籽

of God. Learnkabbalah.com. [2016-11-16]. （原始内容存档于2016-12-23）. also verification at about jay michaelson （页面存档备份，存于互联网档案馆） Dr. Gerald Schroeder. Your

逻辑综合

verification, and test. Morgan Kaufmann. 2009. ISBN 978-0-12-374364-0. chapter 6. Gary D. Hachtel; Fabio Somenzi. Logic synthesis and verification algorithms

ISO 1

Standard reference temperature for geometrical product specification and verification. Iso.org. 2008-01-23 [2012-06-20]. （原始内容存档于2016-03-12）. Ted Doiron:

Found in articles

设计自动化标准委员会