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

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

[IEEE 2009 International Conference on Field-Programmable Technology (FPT) - Sydney, Australia (2009.12.9-2009.12.11)] 2009 International Conference on Field-Programmable Technology - Demonstration of hardware-accelerated formal verification

[IEEE 2009 International Conference on Field-Programmable Technology (FPT) - Sydney, Australia (2009.12.9-2009.12.11)] 2009 International Conference on Field-Programmable Technology - Demonstration of hardware-accelerated formal verification

Yoshida, Hiroaki; Morishita, Satoshi; Fujita, Masahiro

作者Yoshida, Hiroaki; Morishita, Satoshi; Fujita, Masahiro
文件大小132.27KB
发表时间2009
DOI10.1109/fpt.2009.5377610
页码380-383

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