Title

Correct hardware design and verification methods

Title Supplement

IFIP WG 10.5 Advanced Research Working Conference ; Frankfurt/Main, Germany, October 2 - 4, 1995 ; proceedings / CHARME '95

Person Involved

Corporate Author

International Federation for Information Processing -IFIP-, Working Group 5.10 Very Large Scale Integration -VLSI-

Publisher

Publishing Place

Berlin

Publication Date

1995

Series

Lecture Notes in Computer Science; 987

ISBN

3-540-60385-9

Conference

Acronym

CHARME