External Links

Cite Key

Statistics

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

PDF

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.

Random Stimuli Generation for Functional Hardware Verification as a CP Application

Yehuda Naveh, Roy Emek. Random Stimuli Generation for Functional Hardware Verification as a CP Application. In Peter van Beek, editor, Principles and Practice of Constraint Programming - CP 2005, 11th International Conference, CP 2005, Sitges, Spain, October 1-5, 2005, Proceedings. Volume 3709 of Lecture Notes in Computer Science, pages 882-882, Springer, 2005. [doi]

Authors

Yehuda Naveh

This author has not been identified. Look up 'Yehuda Naveh' in Google

Roy Emek

This author has not been identified. Look up 'Roy Emek' in Google
runs on