首页> 外文OA文献 >Embedded tutorial: Formal equivalence checking between system-level models and RTL

【2h】

Embedded tutorial: Formal equivalence checking between system-level models and RTL

机译：嵌入式教程：系统级模型和RTL之间的形式等效性检查

页面导航

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

著录项

作者
Alfred Koelbl; Yuan Lu; Anmol Mathur;
展开▼
作者单位

展开▼
年度 2005
总页数
原文格式 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. A Unified Sequential Equivalence Checking Methodology to Verify RTL Designs with High-Level Functional and Protocol Specification Models [J] . Castro Marquez Carlos Ivan, Strum Marius, Chau Wang Jiang Journal of Electronic Testing: Theory and Applications: Theory and Applications . 2015,第3期

机译：使用高级功能和协议规范模型验证RTL设计的统一顺序等效性检查方法
4. Solver technology for system-level to RTL equivalence checking [C] . Koelbl A., Jacoby R., Jain H., Design, Automation amp; Test in Europe Conference amp; Exhibition, 2009. DATE '09 . 2009

机译：系统级到RTL等效性检查的求解器技术
5. Formal Analysis of Electronic System Level Models using Satisfiability Modulo Theories and Automata Checking. [D] . Chang, Che-Wei. 2015

机译：使用满意度模理论和自动机检查对电子系统级模型进行形式化分析。
6. Linearized models of calcium dynamics: formal equivalence to the cable equation [O] . A Zador, C Koch 1994

机译：钙动力学的线性化模型：电缆方程的形式等价
7. Automatic Merge-point Detection for Sequential Equivalence Checking of System-level and RTL Descriptions [O] . Bijan Alizadeh, Masahiro Fujita 2008

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

Embedded tutorial: Formal equivalence checking between system-level models and RTL

著录项

引文网络

相似文献

相关主题

期刊订阅