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

电子政务

co.uk e-Government Project RISER "Address Verification online in Europe" （页面存档备份，存于互联网档案馆） Informatics : An e-Government Publication from National Informatics

Found in articles

设计自动化标准委员会