AUTOMATED DEBUGGING OF VERILOG DESIGNS
PEISCHL, BERNHARD; RIAZ, NAVEED; WOTAWA, FRANZ
- 期刊名称International Journal of Software Engineering and Knowledge Engineering
- 作者PEISCHL, BERNHARD; RIAZ, NAVEED; WOTAWA, FRANZ
- 卷第22卷
- 期第5期
- 印刷ISSN0218-1940
- 电子ISSN1793-6403
- 文件大小683.97KB
- 发表时间2012-08
- DOI10.1142/S0218194012500209
- 页码695-723