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

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

[IEEE 2015 Formal Methods in Computer-Aided Design (FMCAD) - Austin, TX, USA (2015.9.27-2015.9.30)] 2015 Formal Methods in Computer-Aided Design (FMCAD) - Template-based synthesis of instruction-level abstractions for SoC verification

[IEEE 2015 Formal Methods in Computer-Aided Design (FMCAD) - Austin, TX, USA (2015.9.27-2015.9.30)] 2015 Formal Methods in Computer-Aided Design (FMCAD) - Template-based synthesis of instruction-level abstractions for SoC verification

Subramanyan, Pramod; Vizel, Yakir; Ray, Sayak; Malik, Sharad

作者Subramanyan, Pramod; Vizel, Yakir; Ray, Sayak; Malik, Sharad
文件大小1523.80KB
发表时间2015
DOI10.1109/fmcad.2015.7542266
页码160-167

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