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

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

[IEEE Third ACM & amp; IEEE International Conference on Formal Methods and Models for Co-Design - Verona, Italy (11-14 July 2005)] Proceedings. Second ACM and IEEE International Conference on Formal Methods and Models for Co-Design, 2005. MEMOCODE '05. - Extended abstract: polynomial model-based evaluation of the branch coverage metric for functional verification of hardware systems

[IEEE Third ACM & amp; IEEE International Conference on Formal Methods and Models for Co-Design - Verona, Italy (11-14 July 2005)] Proceedings. Second ACM and IEEE International Conference on Formal Methods and Models for Co-Design, 2005. MEMOCODE '05. - Extended abstract: polynomial model-based evaluation of the branch coverage metric for functional verification of hardware systems

Ugarte, I.; Sanchez, P.
  • 作者Ugarte, I.; Sanchez, P.
  • 文件大小277.24KB
  • 发表时间2005
  • DOI10.1109/memcod.2005.1487931
  • 页码256-257
同期刊推荐
← 返回【学霸图书馆】主页
© 2026 学霸图书馆 · 让阅读成为习惯