Search alternatives:
verification » purification (Expand Search)
Showing 1 - 3 results of 3 for search '"Integrated circuits Verification."', query time: 0.26s Refine Results
  1. 1
    Computer aided verification : 15th international conference, CAV 2003, Boulder, CO, USA, July 8-12, 2003 : proceedings /
    Published 2003
    Subjects: “...Integrated circuits Verification Congresses....”
    Conference Proceeding Book
  2. 2
    Logic synthesis and verification algorithms /
    by Hachtel, Gary D.
    Published 2006
    Subjects: “...Integrated circuits Verification....”
    Book
  3. 3
    Abstraction refinement for large scale model checking /
    by Wang, Chao
    Published 2006
    Subjects: “...Integrated circuits Verification Mathematical models....”
    Connect to the full text of this electronic book
    eBook
Search Tools: RSS Feed – Email Search