Search alternatives:
verification » purification (Expand Search)
Showing 61 - 80 results of 126 for search '"Integrated circuits Verification."', query time: 0.56s Refine Results
  1. 61
    Advanced verification techniques : a systemC based approach for successful tapeout /
    by Singh, Leena, 1971-
    Published 2004
    Subjects: “...Integrated circuits Verification. http://id.loc.gov/authorities/subjects/sh93005422...”
    Connect to the full text of this electronic book
    Connect to the full text of this electronic book
    eBook
  2. 62
    Formal equivalence checking and design debugging /
    by Huang, Shi-Yu, 1965-
    Published 1998
    Subjects: “...Integrated circuits Verification....”
    Book
  3. 63
    Formal methods in computer-aided design : second international conference, FMCAD '98, Palo Alto, CA, USA, November 4-6, 1998 : proceedings /
    Published 1998
    Subjects: “...Integrated circuits Verification Congresses....”
    Conference Proceeding Book
  4. 64
    Correct hardware design and verification methods : 10th IFIP WG10.5 advanced research working conference, CHARME'99, Bad Herrenalb, Germany, September 27-29, 1999 : proceedings /
    Published 1999
    Subjects: “...Integrated circuits Verification Congresses....”
    Conference Proceeding Book
  5. 65
    Correct hardware design and verification methods : 11th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2001, Livingston, Scotland, UK, September 4-7, 2001 : proceedings /
    Published 2001
    Subjects: “...Integrated circuits Verification Congresses....”
    Conference Proceeding Book
  6. 66
    Correct hardware design and verification methods : 12th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2003, L'Aquila, Italy, October 21-24, 2003 : proceedings /
    Published 2003
    Subjects: “...Integrated circuits Verification Congresses....”
    Get full text
    Conference Proceeding eBook
  7. 67
    Correct hardware design and verification methods : 13th IFIP WG 10.5 advanced research working conference, CHARME 2005, Saarbrücken, Germany, October 3-6, 2005 ; proceedings /
    Published 2005
    Subjects: “...Integrated circuits Verification Congresses....”
    Connect to the full text of this electronic book
    Conference Proceeding eBook
  8. 68
    Timing verification of application-specific integrated circuits (ASICs) /
    by Nekoogar, Farzad
    Published 1999
    Subjects: “...Integrated circuits Verification....”
    Book
  9. 69
    Verification by error modeling : using testing techniques in hardware verification /
    by Radecka, Katarzyna
    Published 2003
    Subjects: “...Integrated circuits Verification....”
    Book
  10. 70
    Formal hardware verification : methods and systems in comparison /
    Published 1997
    Subjects: “...Integrated circuits Verification....”
    Book
  11. 71
    Assertion-based design /
    by Foster, Harry, 1956-
    Published 2003
    Subjects: “...Integrated circuits Verification....”
    Book
  12. 72
    Assertion-based design /
    by Foster, Harry, 1956-
    Published 2004
    Subjects: “...Integrated circuits Verification....”
    Book
  13. 73
    Hardware specification, verification, and synthesis : Mathematical aspects : proceedings /
    Published 1990
    Subjects: “...Integrated circuits Verification Congresses....”
    Connect to the full text of this electronic book
    eBook
  14. 74
    A unified approach for timing verification and delay fault testing /
    by Sivaraman, Mukund, 1970-
    Published 1998
    Subjects: “...Integrated circuits Verification....”
    Book
  15. 75
    Computer aided verification : 17th international conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005 : proceedings /
    Published 2005
    Subjects: “...Integrated circuits Verification Congresses....”
    Connect to the full text of this electronic book
    Conference Proceeding eBook
  16. 76
    Digital timing macromodeling for VLSI design verification /
    by Kong, Jeong-Taek, 1959-
    Published 1995
    Subjects: “...Integrated circuits Verification Data processing....”
    Book
  17. 77
    Co-verification of hardware and software for ARM SoC design /
    by Andrews, Jason R.
    Published 2005
    Subjects: “...Integrated circuits Verification....”
    Connect to the full text of this electronic book
    Table of contents
    Publisher description
    eBook
  18. 78
    The power of assertions in SystemVerilog /
    Published 2010
    Subjects: “...Integrated circuits Verification Data processing....”
    Connect to the full text of this electronic book
    eBook
  19. 79
    DesignCon 2004-2016 proceedings package.
    Published 2016
    Subjects: “...Integrated circuits Verification Congresses....”
    Connect to the full text of this electronic resource
    Conference Proceeding eBook
  20. 80
    EDA for IC system design, verification, and testing /
    Published 2006
    Subjects: “...Integrated circuits Verification Data processing....”
    Connect to the full text of this electronic book
    eBook
Search Tools: RSS Feed – Email Search