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

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

[IEEE 2011 IEEE International High Level Design Validation and Test Workshop (HLDVT) - Napa Valley, CA, USA (2011.11.9-2011.11.11)] 2011 IEEE International High Level Design Validation and Test Workshop - Interactive presentation abstract: Assertion-based verification in embedded-software design

[IEEE 2011 IEEE International High Level Design Validation and Test Workshop (HLDVT) - Napa Valley, CA, USA (2011.11.9-2011.11.11)] 2011 IEEE International High Level Design Validation and Test Workshop - Interactive presentation abstract: Assertion-based verification in embedded-software design

Di Guglielmo, Giuseppe; Di Guglielmo, Luigi; Fummi, Franco; Pravadelli, Graziano
  • 作者Di Guglielmo, Giuseppe; Di Guglielmo, Luigi; Fummi, Franco; Pravadelli, Graziano
  • 文件大小291.42KB
  • 发表时间2011
  • DOI10.1109/hldvt.2011.6114169
  • 页码80-80
同作者推荐
← 返回【学霸图书馆】主页
© 2026 学霸图书馆 · 让阅读成为习惯