Correct hardware design and verification methods IFIP WG10.5 advanced research working conference, CHARME 95, Frankfurt/Main, Germany, October 2-4, 1995 : proceedings

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
অন্যান্য লেখক: Camurati, Paolo, Eveking, Hans
বিন্যাস: গ্রন্থ
ভাষা:English
প্রকাশিত: Berlin Springer c1995.
মালা:Lecture notes in computer science 987
বিষয়গুলি:
Integrated circuits > Very large scale integration > Design and construction > Data processing > Congresses.
Integrated circuits > Verification > Congresses.
Computer-aided design > Congresses.