首页> 外文会议>Annual Workshop on Petascale Data Storage;Workshop on Petascale Data Storage >Automatic equivalence check of circuit descriptions at clocked algorithmic and register transfer level (poster paper)

【24h】

Automatic equivalence check of circuit descriptions at clocked algorithmic and register transfer level (poster paper)

机译：在时钟算法和寄存器传输级别自动对电路描述进行等效检查（海报纸）

获取原文

页面导航

著录项
相似文献
相关主题

著录项

来源
《Annual Workshop on Petascale Data Storage;Workshop on Petascale Data Storage》|2009年|P.1-1|共1页
会议地点
作者
Jens Schonberr; Bernd Straube; PBernd Straube;
展开▼
作者单位

展开▼
会议组织
原文格式 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 . 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. Automatic Equivalence Check of Circuit Descriptions at Clocked Algorithmic and Register Transfer Level [O] . Jens Schönherr, Bernd Straube 2000

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

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号