Automated Design Debugging in a Testbench-Based Verification Environment
Automated Design Debugging in a Testbench-Based Verification Environment
复制标题
基于测试平台的验证环境中的自动设计调试
DOI：
10.1016/j.micpro.2012.09.004
复制
发表时间：
2013
期刊：
影响因子：
--
通讯作者：
Goerschwin Fey
中科院分区：
文献类型：
--
作者：
Mehdi Dehbashi;André Sülflow;Goerschwin Fey
登录
查看更多内容
DOI：
10.1109/43.811329
发表时间：
1999-12
期刊：
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
影响因子：
--
作者：
A. Veneris;I. Hajj
通讯作者：
A. Veneris;I. Hajj
WoLFram - 用于形式验证的字级框架
DOI：
10.1109/rsp.2009.21
发表时间：
2009
期刊：
2009 IEEE/IFIP International Symposium on Rapid System Prototyping
影响因子：
--
作者：
André Sülflow
通讯作者：
André Sülflow
错误候选的准确排序以实现高效 HDL 设计调试
DOI：
10.1109/tcad.2008.2009163
发表时间：
2009
影响因子：
2.9
作者：
T. Jiang;C. Liu;Jing
通讯作者：
Jing
DOI：
10.1109/iccad.2005.1560184
发表时间：
2005
期刊：
ICCAD-2005. IEEE/ACM International Conference on Computer-Aided Design, 2005.
影响因子：
--
作者：
M. F. Ali;Sean Safarpour;A. Veneris;M. Abadir;R. Drechsler
通讯作者：
R. Drechsler
翻译成 SAT 时不可观察性编码方案的比较
DOI：
10.1145/1120725.1120823
发表时间：
2005
期刊：
Proceedings of the ASP-DAC 2005. Asia and South Pacific Design Automation Conference, 2005.
影响因子：
--
作者：
M. Velev
通讯作者：
M. Velev