首页> 外文OA文献 >Automatic Verification of External Interrupt Behaviors for Microprocessor Design

【2h】

Automatic Verification of External Interrupt Behaviors for Microprocessor Design

机译：微处理器设计中外部中断行为的自动验证

页面导航

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

著录项

作者
Fu-ching Yang; Student Member; Wen-kai Huang; Jing-kun Zhong; Ing-jer Huang;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. Automatic Verification of External Interrupt Behaviors for Microprocessor Design [J] . Yang F.-C., Huang W.-K., Zhong J.-K., IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems . 2008,第9期

机译：自动验证微处理器设计的外部中断行为
2. Microprocessor's single-interrupt input processes multiple external interrupts [J] . Abel Raynus EDN Asia . 2006,第6期

机译：微处理器的单中断输入处理多个外部中断
3. Microprocessor's single-interrupt input processes multiple external interrupts [J] . Abel Raynus Electrical Design News . 2006,第5期

机译：微处理器的单中断输入处理多个外部中断
4. Automatic verification of external interrupt behaviors for microprocessor design [C] . Fu-Ching Yang, Wen-Kai Huang, Ing-Jer Huang, Annual conference on Design automation;Conference on Design automation . 2007

机译：自动验证外部中断行为以进行微处理器设计
5. Formal specification and verification of microprocessor interrupts. [D] . Peterson, Donna Eileen. 1993

机译：微处理器中断的正式规范和验证。
6. The design of a microprocessor system for automatic signal averaging andpercentage purity calculations coupled to a nuclear magnetic resonancespectrometer [O] . F. Morley, I. K. ONeill, M. A. Pringuer, 1979

机译：用于自动信号平均和处理的微处理器系统的设计与核磁共振耦合的纯度百分比计算光谱仪
7. A BNFbased automatic test program generator for compatible microprocessor verification [O] . Lieh-ming Wu, Kuochen Wang, Chuang-yi Chiu, 2015

机译：基于BNF的自动测试程序生成器，用于兼容微处理器验证

Automatic Verification of External Interrupt Behaviors for Microprocessor Design

著录项

引文网络

相似文献

相关主题

期刊订阅