Cover Image

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
Description
Item Description:Electronic resource.
Physical Description:1 online resource (viii, 342 pages) : illustrations
Bibliography:Includes bibliographical references.
ISBN:3540603859
9783540603856