Correct hardware design and verification methods IFIP WG10.5 advanced research working conference, CHARME 95, Frankfurt/Main, Germany, October 2-4, 1995 : proceedings - Advanced Research Working Conference on Correct Hardware Design Methodologies Frankfurt/Main, Germany) (1995; Camurati, Paolo; Eveking, Hans. (Berlin Springer, 1995)
Keywords: Integrated circuits -- Very large scale integration -- Design and construction -- Data processing -- Congresses; Integrated circuits -- Verification -- Congresses; Computer-aided design -- Congresses