4 results Refine Results
  1. 1
    by Foster, Harry, 1956-
    Published 2004
    Book
    Save to List
    Saved in:
    Assertion-based design /
  2. 2
    Published 2003
    Connect to electronic version
    Conference Proceeding Book
    Save to List
    Saved in:
    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 /
  3. 3
    Published 1997
    Book
    Save to List
    Saved in:
    Formal hardware verification : methods and systems in comparison /
  4. 4
    Published 1990
    Book
    Save to List
    Saved in:
    Formal verification of hardware design /

Search Tools: