Properties First—Correct-By-Construction RTL Design in System-Level Design Flows
Properties First—Correct-By-Construction RTL Design in System-Level Design Flows
复制标题
属性第一——系统级设计流程中的构造正确 RTL 设计
DOI：
10.1109/tcad.2019.2921319
复制
发表时间：
2020
影响因子：
2.9
通讯作者：
W. Kunz
中科院分区：
文献类型：
--
作者：
T. Ludwig;J. Urdahl;D. Stoffel;W. Kunz
登录
查看更多内容
完整性驱动的开发
DOI：
10.1007/978-3-642-33654-6_3
发表时间：
2012
期刊：
影响因子：
--
作者：
R. Drechsler;M. Diepenbeck;D. Große;U. Kühne;H. M. Le;J. Seiter;M. Soeken;R. Wille
通讯作者：
R. Wille
安全属性列表的覆盖率分析
DOI：
--
发表时间：
2007
期刊：
Formal Methods in Computer-Aided Design
影响因子：
--
作者：
Koen Claessen
通讯作者：
Koen Claessen
路径谓词抽象：用于数字电路的健全系统级建模
DOI：
--
发表时间：
2016
期刊：
影响因子：
--
作者：
J. Urdahl
通讯作者：
J. Urdahl
在形式验证驱动的设计流程中利用硬件不可观察性进行低功耗设计和安全分析
DOI：
10.1109/tvlsi.2019.2906820
发表时间：
2019
影响因子：
2.8
作者：
S. Udupi;J. Urdahl;D. Stoffel;W. Kunz
通讯作者：
W. Kunz
行为综合管道的等效性检查
DOI：
10.1145/2228360.2228423
发表时间：
2012
期刊：
DAC Design Automation Conference 2012
影响因子：
--
作者：
K. Hao;S. Ray;Fei Xie
通讯作者：
Fei Xie