Cycle-accurate software modeling for RTL verification of embedded systems
Cycle-accurate software modeling for RTL verification of embedded systems
复制标题
用于嵌入式系统 RTL 验证的周期精确软件建模
DOI：
10.1109/ddecs.2017.7934571
复制
发表时间：
2017
期刊：
影响因子：
--
通讯作者：
W. Kunz
中科院分区：
文献类型：
--
作者：
M. Schwarz;C. Villarraga;D. Stoffel;W. Kunz
登录
查看更多内容
DOI：
--
发表时间：
2008
期刊：
Design, Automation and Test in Europe
影响因子：
--
作者：
T. Arons;E. Elster;S. Ozer;Jonathan Shalev;Eli Singerman
通讯作者：
Eli Singerman
一种新的依赖于硬件的嵌入式系统软件形式化验证方法
DOI：
10.2197/ipsjtsldm.6.135
发表时间：
2013
期刊：
IPSJ Trans. Syst. LSI Des. Methodol.
影响因子：
--
作者：
Bernard Schmidt;Carlos Villarraga;Thomas Fehmel;J. Bormann;Markus Wedler;Minh D. Nguyen;D. Stoffel;W. Kunz
通讯作者：
W. Kunz
DOI：
--
发表时间：
2001
期刊：
Proceedings Design, Automation and Test in Europe. Conference and Exhibition 2001
影响因子：
--
作者：
A. Hoffmann;Tim Kogel;H. Meyr
通讯作者：
H. Meyr
硬件视图中的软件：SoC 验证和测试中依赖于硬件的软件的新模型
DOI：
10.1109/test.2014.7035308
发表时间：
2014
期刊：
2014 International Test Conference
影响因子：
--
作者：
C. Villarraga;B. Schmidt;B. Bao;C. Bartsch;T. Fehmel;D. Stoffel;W. Kunz
通讯作者：
W. Kunz
使用事件跟踪验证微架构模拟器
DOI：
--
发表时间：
2014
期刊：
International Conference on Supercomputing
影响因子：
--
作者：
Hui Meen Nyew;Nilufer Onder;Soner Önder;Zhenlin Wang
通讯作者：
Zhenlin Wang