首页> 外文OA文献 >Design Verification via Simulation and Automatic Test Pattern Generation

【2h】

Design Verification via Simulation and Automatic Test Pattern Generation

机译：通过仿真和自动测试模式生成进行设计验证

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Hussain Al-Asaad; John P. Hayes;
展开▼
作者单位

展开▼
年度 1995
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. Logic design validation via simulation and automatic test pattern generation [J] . Hussain Al-Asaad, John P. Hayes Journal of Electronic Testing: Theory and Applications: Theory and Applications . 2000,第6期

机译：通过仿真和自动测试图案生成进行逻辑设计验证
2. Logic design validation via simulation and automatic test pattern generation [J] . Hussain Al-Asaad, John P. Hayes Journal of Electronic Testing: Theory and Applications: Theory and Applications . 2000,第6期

机译：通过仿真和自动测试图案生成进行逻辑设计验证
3. Automatic generation of tests for protocoles: the example of TGV (test generation with verification technology) approach [J] . T. Jeron, C. Jard, C. Viho, Revue de l'electricite et de l'electronique . 1999,第3期

机译：协议的测试自动生成：TGV（采用验证技术的测试）方法的示例
4. Design verification via simulation and automatic test pattern generation [C] . Al-Asaad, H., Hayes, . 1995

机译：通过仿真和自动测试图案生成进行设计验证
5. Automatic generation and verification of complex pattern-based software specifications. [D] . Garcia, Luis Alexandro. 2007

机译：自动生成和验证基于复杂模式的软件规范。
6. Ontorat: automatic generation of new ontology terms annotations and axioms based on ontology design patterns [O] . Zuoshuang Xiang, Jie Zheng, Yu Lin, 2015

机译：Ontorat：基于本体设计模式自动生成新的本体术语注释和公理
7. Error-free Control Programs by means of Graphical Program Design, Simulation-based Verification and Automatic Code Generation [O] . Stephan Seidel, Ulrich Donath 2013

机译：通过图形程序设计，基于仿真的验证和自动代码生成实现无差错控制程序
8. VHDL Fault Simulation and Automatic Test Pattern Generation Requirements Document [R] . Johnson, B. W., Smith, D. T., DeLong, T. A. 1996

机译：VHDL故障模拟和自动测试模式生成要求文档

Design Verification via Simulation and Automatic Test Pattern Generation

著录项

引文网络

相似文献

相关主题

期刊订阅