首页> 外文OA文献 >Automatic Equivalence Check of Circuit Descriptions at Clocked Algorithmic and Register Transfer Level

【2h】

Automatic Equivalence Check of Circuit Descriptions at Clocked Algorithmic and Register Transfer Level

机译：时钟算法和寄存器传输级的电路描述自动等效性检验

页面导航

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

著录项

作者
Jens Schönherr; Bernd Straube;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. Sequential Equivalence Checking for Clock-Gated Circuits [J] . Savoj H., Mishchenko A., Brayton R. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems . 2014,第2期

机译：时钟门控电路的顺序等效检查
2. A New Approach for Automatic Test Pattern Generation in Register Transfer Level Circuits [J] . Mirzaei M., Tabandeh M., Alizadeh B., Design & Test,IEEE . 2013,第4期

机译：在寄存器传输级电路中自动生成测试图案的新方法
3. The Odyssey Approach To Early Simulation-based Equivalence Checking At Esl Level Using Automatically Generated Executable Transaction-level Model [J] . Maziar Goudarzi, Shaahin Hessabi, Naser MohammadZadeh, Microprocessors and microsystems . 2008,第7期

机译：使用自动生成的可执行事务级别模型在Esl级别进行基于Odyssey的早期模拟等效检查的方法
4. Automatic equivalence check of circuit descriptions at clocked algorithmic and register transfer level (poster paper) [C] . Jens Schonberr, Bernd Straube, PBernd Straube Annual Workshop on Petascale Data Storage;Workshop on Petascale Data Storage . 2009

机译：在时钟算法和寄存器传输级别自动对电路描述进行等效检查（海报纸）
5. A C to register transfer level algorithm using structured circuit templates: A case study with simulated annealing [D] . Phillips, Jonathan D. 2008

机译：使用结构化电路模板的C寄存器传输级算法：模拟退火的案例研究
6. Automatic Localization of Target Vertebrae in Spine Surgery: Clinical Evaluation of the LevelCheck Registration Algorithm [O] . Sheng-fu L. Lo, Yoshito Otake, Varun Puvanesarajah, -1

机译：脊柱外科手术中目标椎骨的自动定位：LevelCheck注册算法的临床评估
7. A Formal Equivalence Checking Methodology for Simulink and Register Transfer Level Designs [O] . Muharrem Orkun Saglamdemir, Alper Sen 2014

机译：simulink和寄存器传输级设计的形式等价检验方法

Automatic Equivalence Check of Circuit Descriptions at Clocked Algorithmic and Register Transfer Level

著录项

引文网络

相似文献

相关主题

期刊订阅