首页> 外文OA文献 >Automatic Merge-point Detection for Sequential Equivalence Checking of System-level and RTL Descriptions

【2h】

Automatic Merge-point Detection for Sequential Equivalence Checking of System-level and RTL Descriptions

机译：自动合并点检测，用于顺序等效检查系统级和RTL描述

页面导航

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

著录项

作者
Bijan Alizadeh; Masahiro Fujita;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. Formal Equivalence Checking Between System-Level and RTL Descriptions without Pre-Given Mapping Information [J] . Hu Jian, Li Tun, Li Sikun Journal of Circuits, Systems, and Computers . 2019,第10期

机译：没有给定映射信息的系统级和RTL描述之间的形式等效检查
2. Formal Equivalence Checking Between System-Level and RTL Descriptions without Pre-Given Mapping Information [J] . Hu Jian, Li Tun, Li Sikun Journal of Circuits, Systems, and Computers . 2019,第10期

机译：没有给定映射信息的系统级和RTL描述之间的形式等效检查
3. Sequential equivalence checking between system level and RTL descriptions [J] . Shobha Vasudevan, Vinod Viswanath, Jacob A. Abraham, Design automation for embedded systems . 2008,第4期

机译：系统级别和RTL描述之间的顺序等效检查
4. Automatic Merge-Point Detection for Sequential Equivalence Checking of System-Level and RTL Descriptions [C] . Bijan Alizadeh, Masahiro Fujita International Symposium on Automated Technology for Verification and Analysis(ATVA 2007); 20071022-25; Tokyo(JP) . 2007

机译：自动合并点检测，用于顺序等效检查系统级和RTL描述
5. Automatic detection of serious storage system errors via model checking. [D] . Yang, Junfeng. 2008

机译：通过模型检查自动检测严重的存储系统错误。
6. Automatic Fault Detection and Isolation Method for Roller Bearing Using Hybrid-GA and Sequential Fuzzy Inference † [O] . Yusuke Kobayashi, Liuyang Song, Masaru Tomita, 2019

机译：混合遗传算法和顺序模糊推理的滚动轴承自动故障检测与隔离方法†
7. Automatic decomposition for sequential equivalence checking of system level and RTL descriptions [O] . Shobha Vasudevan, Vinod Viswanath, Jacob Abraham, 2015

机译：自动分解，用于系统级和RTL描述的顺序等效检查

Automatic Merge-point Detection for Sequential Equivalence Checking of System-level and RTL Descriptions

著录项

引文网络

相似文献

相关主题

期刊订阅