Showing 1 - 15 results of 15 for search '', query time: 0.25s Refine Results
  1. 1
    Hardware and software, verification and testing : 4th International Haifa Verification Conference, HVC 2008, Haifa, Israel, October 27 - 30, 2008 : proceedings / Hana Chockler ; Alan J. Hu (ed.)
    Published 2009

    Conference Proceeding Book
  2. 2
    Higher level hardware synthesis /

    Thesis Book
  3. 3
    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

    Conference Proceeding Book
  4. 4
    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

    Conference Proceeding Book
  5. 5
    Hardware and software, verification and testing : 5th International Haifa Verification Conference, HCV 2009, Haifa, Israel, October 19-22, 2009 : revised selected papers /
    Published 2011

    This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.
    Conference Proceeding Book
  6. 6
    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

    Conference Proceeding Book
  7. 7
    Hardware and software : verification and testing : 5th International Haifa Verification Conference, HVC 2009, Haifa, Israel, October 19-22, 2009 : revised selected papers /
    Published 2011

    This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.
    Conference Proceeding Book
  8. 8
    Formal hardware verification : methods and systems in comparison /
    Published 1997

    Book
  9. 9
    Test pattern generation using boolean proof engines /
    Published 2009

    This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.
    Book
  10. 10
    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

    Conference Proceeding Book
  11. 11
    Verification methodology manual for SystemVerilog /
    Published 2006

    Book
  12. 12
    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

    Conference Proceeding Book
  13. 13
    Hardware verification with C++ : a practitioner's handbook /
    by Mintz, Mike, Mintz, Mike
    Published 2006

    Book
  14. 14
    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

    Conference Proceeding Book
  15. 15
    Higher level hardware synthesis /

    Book
Search Tools: Get RSS Feed — Email this Search