发现好书期刊，享受阅读乐趣

海量图书期刊资源，随时随地畅享阅读乐趣

[IEEE 2008 IEEE/ACM International Conference on Computer-Aided Design (ICCAD) - San Jose, CA, USA (2008.11.10-2008.11.13)] 2008 IEEE/ACM International Conference on Computer-Aided Design - A succinct memory model for automated design debugging

[IEEE 2008 IEEE/ACM International Conference on Computer-Aided Design (ICCAD) - San Jose, CA, USA (2008.11.10-2008.11.13)] 2008 IEEE/ACM International Conference on Computer-Aided Design - A succinct memory model for automated design debugging

Keng, Brian; Mangassarian, Hratch; Veneris, Andreas

作者Keng, Brian; Mangassarian, Hratch; Veneris, Andreas
文件大小156.11KB
发表时间2008
DOI10.1109/iccad.2008.4681564
页码137-142

← 返回【学霸图书馆】主页