External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Tags

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Extended abstract: polynomial model-based evaluation of the branch coverage metric for functional verification of hardware systems

Iñigo Ugarte, Pablo Sanchez. Extended abstract: polynomial model-based evaluation of the branch coverage metric for functional verification of hardware systems. In 3rd ACM & IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE 2005), 11-14 July 2005, Verona, Italy, Proceedings. pages 257-258, IEEE, 2005. [doi]

Authors

Iñigo Ugarte

This author has not been identified. Look up 'Iñigo Ugarte' in Google

Pablo Sanchez

This author has not been identified. Look up 'Pablo Sanchez' in Google
runs on