Suggested Topics within your search.
Showing 1 - 5 results of 5 for search '"Integrated circuits Verification Congresses."', query time: 0.02s Refine Results
  1. 1
    Correct hardware design and verification methods : IFIP WG10.2 advanced research working conference, CHARME '93, Arles, Frances, May 24-26, 1993 : proceedings /
    Conference Proceeding Book
    Published 1993
    Subjects: “…Integrated circuits Verification Congresses.…”
    Save to List
    Saved in:
  2. 2
    Correct hardware design and verification methods : IFIP WG10.5 advanced research working conference, CHARME ̕95, Frankfurt/Main, Germany, October 2-4, 1995 : proceedings /
    Conference Proceeding Book
    Published 1995
    Subjects: “…Integrated circuits Verification Congresses.…”
    Save to List
    Saved in:
  3. 3
    Hardware specification, verification, and synthesis : Mathematical aspects : proceedings /
    Book
    Published 1990
    Subjects: “…Integrated circuits Verification Congresses.…”
    Save to List
    Saved in:
  4. 4
    Computer-aided verification : proceedings /
    Conference Proceeding Book
    Published 1991
    Subjects: “…Integrated circuits Verification Congresses.…”
    Save to List
    Saved in:
  5. 5
    Formal VLSI correctness verification : proceedings of the IFIP WG 10.2/WG 10.5 International Workshop on Applied Formal Methods for Correct VLSI Design /
    Conference Proceeding Book
    Published 1990
    Subjects: “…Integrated circuits Verification Congresses.…”
    Save to List
    Saved in:
Search Tools: RSS Feed – Email Search – Save Search