Debugging hardware designs using dynamic dependency graphs
Debugging hardware designs using dynamic dependency graphs
复制标题
使用动态依赖图调试硬件设计
DOI：
10.1016/j.micpro.2016.10.004
复制
发表时间：
2016
期刊：
影响因子：
--
通讯作者：
Goerschwin Fey
中科院分区：
文献类型：
--
作者：
Jan Malburg;Alexander Finder;Goerschwin Fey
登录
查看更多内容
基于断言的验证：行业神话到现实（特邀教程）
DOI：
10.1007/978-3-540-70545-1_3
发表时间：
2008
期刊：
2007 IEEE International High Level Design Validation and Test Workshop
影响因子：
--
作者：
H. Foster
通讯作者：
H. Foster
结合动态切片和变异算子进行 ESL 校正
DOI：
--
发表时间：
2012
期刊：
IEEE European Test Symposium
影响因子：
--
作者：
Urmas Repinski;Hanno Hantson;M. Jenihhin;J. Raik;R. Ubar;G. D. Guglielmo;G. Pravadelli;F. Fummi
通讯作者：
F. Fummi
使用 zamiaCAD 框架定位处理器设计中的错误
DOI：
--
发表时间：
2012
期刊：
International Workshop on Microprocessor Test and Verification
影响因子：
--
作者：
A. Tsepurov;Valentin Tihhomirov;M. Jenihhin;J. Raik;Gunter Bartsch;Jorge Hernán Meza Escobar;Heinz
通讯作者：
Heinz
影响因子：
0.5
作者：
KOREL, B;LASKI, J
通讯作者：
LASKI, J
通过反例和重新综合修复设计错误
DOI：
10.1109/tcad.2007.907257
发表时间：
2007
期刊：
2007 Asia and South Pacific Design Automation Conference
影响因子：
--
作者：
Kai;I. Markov;V. Bertacco
通讯作者：
V. Bertacco