首页> 外文OA文献 >A C-based RTL design verification methodology for complex microprocessor

【2h】

A C-based RTL design verification methodology for complex microprocessor

机译：用于复杂微处理器的基于C的RTL设计验证方法

页面导航

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

著录项

作者
Joon-Seo Yim; Yoon-Ho Hwang; Chang-Jae Park; Hoon Choi; Woo-Seung Yang; Hun-Seung Oh; In-Cheol Park; Chong-Min Kyung;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. 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设计的统一顺序等效性检查方法
2. A methodology aimed at better integration of functional verification and RTL design [J] . Karina R. G. da Silva, Elmar U. K. Melcher, Isaac Maia, Design automation for embedded systems . 2005,第4期

机译：一种旨在更好地集成功能验证和RTL设计的方法
3. An Interactive Design Environment for C-Based High-Level Synthesis of RTL Processors [J] . Shin D., Gerstlauer A., Domer R., IEEE transactions on very large scale integration (VLSI) systems . 2008,第4期

机译：基于C的RTL处理器高级综合的交互式设计环境
4. A C-based RTL Design Verification Methodology For Complex Microprocessor [C] . Joon-Seo Yim, Yoon-Ho Hwang . 2001

机译：复杂微处理器的基于C的RTL设计验证方法
5. FPGA-Accelerated Evaluation and Verification of RTL Designs [D] . Kim, Donggyu. 2019

机译：FPGA加速评估和RTL设计的验证
6. Mixing ratio optimization for functional complex extracts of Rhodiola crenulata Panax quinquefolius and Astragalus membranaceus using mixture design and verification of immune functional efficacy in animal models [O] . Hee-Do Hong, Jong-Chan Kim, Tae-Gyu Lim, -1

机译：利用混合物设计和动物模型的免疫功能功效验证优化红景天西洋参和黄芪功能复合提取物的混合比例
7. RTL C-Based Methodology for Designing and Verifying a Multi-Threaded Processor [O] . Luc Séméria, Andrew Seawright, Renu Mehra, 2002

机译：用于设计和验证多线程处理器的基于RTL C的方法

A C-based RTL design verification methodology for complex microprocessor

著录项

引文网络

相似文献

相关主题

期刊订阅