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

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

[ACM Press the 50th Annual Design Automation Conference - Austin, Texas (2013.05.29-2013.06.07)] Proceedings of the 50th Annual Design Automation Conference on - DAC '13 - Constraint abstraction for vectorless power grid verification

[ACM Press the 50th Annual Design Automation Conference - Austin, Texas (2013.05.29-2013.06.07)] Proceedings of the 50th Annual Design Automation Conference on - DAC '13 - Constraint abstraction for vectorless power grid verification

Xiong, Xuanxing; Wang, Jia

作者Xiong, Xuanxing; Wang, Jia
文件大小339.19KB
发表时间2013
DOI10.1145/2463209.2488841

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