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

Bibliographic Details
Corporate Authors:	Advanced Research Working Conference on Correct Hardware Design Methodologies Frankfurt/Main, Germany, SpringerLink (Online service)
Other Authors:	Camurati, Paolo, Eveking, Hans
Format:	Conference Proceeding eBook
Language:	English
Published:	Berlin ; New York : Springer, [1995]
Series:	Lecture notes in computer science ; 987.
Subjects:	Integrated circuits > Very large scale integration > Computer-aided design > Congresses. Integrated circuits > Verification > Congresses. vérification formelle. VHDL. système état fini. méthode vérification. démonstration théorème. vérification matériel. conception matériel. Circuits intégrés à très grande échelle > Conception assistée par ordinateur > Congrès. Circuits intégrés > Vérification > Congrès. Integrated circuits > Verification. Integrated circuits > Very large scale integration > Computer-aided design. Hardware. Vormgeving. Circuits intégrés à grande échelle > Conception et construction > Informatique > Congrès. Conception assistée par ordinateur > Congrès. Hardwareverifikation. Kongre€. Electronic books. Kongre€ > Frankfurt (Main) > 1995. Conference proceedings. Frankfurt (Main, 1995)
Online Access:	Connect to the full text of this electronic book

Remote Storage