Software in a hardware view: New models for HW-dependent software in SoC verification and test
Software in a hardware view: New models for HW-dependent software in SoC verification and test
复制标题
硬件视图中的软件：SoC 验证和测试中依赖于硬件的软件的新模型
DOI：
10.1109/test.2014.7035308
复制
发表时间：
2014
期刊：
影响因子：
--
通讯作者：
W. Kunz
中科院分区：
文献类型：
--
作者：
C. Villarraga;B. Schmidt;B. Bao;C. Bartsch;T. Fehmel;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：
--
发表时间：
2004
期刊：
Seventh IEEE International Symposium onObject-Oriented Real-Time Distributed Computing, 2004. Proceedings.
影响因子：
--
作者：
W. Ecker;Volkan Esen;T. Steininger;M. Zambaldi
通讯作者：
M. Zambaldi
一种新的依赖于硬件的嵌入式系统软件形式化验证方法
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
使用符号执行和未解释函数的嵌入式软件验证
影响因子：
1.5
作者：
David W. Currie;Xiushan Feng;M. Fujita;Alan J. Hu;Mark Kwan;S. Rajan
通讯作者：
S. Rajan
当今处理器芯片中非主线功能的验证
DOI：
--
发表时间：
2014
期刊：
Design Automation Conference
影响因子：
--
作者：
J. Koesters;A. Goryachev
通讯作者：
A. Goryachev