Symbolic model checking

Symbolic model checking

Weitere Versionen anzeigen (3)

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	McMillan, Kenneth L. (VerfasserIn)
Format:	Buch
Sprache:	English
Veröffentlicht:	Boston [u.a.] Kluwer 1993
Schlagworte:	Circuits électriques - Analyse symbolique - Informatique Ordinateurs - Circuits - Conception et construction - Informatique Ordinateurs - Circuits - Conception et construction SMV Structure logique - Informatique Structure logique conception circuit conception logique protocole spécification abstraite système complexe théorie démonstration vérification Datenverarbeitung Electronic digital computers > Circuits > Design > Data processing Logic design > Data processing Symbolic circuit analysis > Data processing Schaltungsentwurf Personal Computer Korrektheit Verifikation Programmierbare logische Anordnung Schaltwerk
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

The logic design of transistor digital computers
von: Maley, Gerald A., et al.
Veröffentlicht: (1963)

Computer-aided design of digital electronic circuits and systems proceedings of a symposium, Brussels, November 1978
Veröffentlicht: (1979)

Computer-aided design of digital electronic circuits and systems proceedings of a symposium Brussels, November 1978
Veröffentlicht: (1979)

Digital design with standard MSI and LSI design techniques for the microcomputer age
von: Blakeslee, Thomas R.
Veröffentlicht: (1979)

Microcomputer structures
von: D'Angelo, Henry
Veröffentlicht: (1981)

28th ACM, IEEE Design Automation Conference June 17 - 21, 1991, San Francisco, California, Moscone Center ; proceedings 1991
Veröffentlicht: (1991)

The Eighteenth International Symposium on Multiple-Valued Logic proceedings ; May 24 - 26, 1988, Palma de Mallorca, Spain
Veröffentlicht: (1988)

Digital computer fundamentals
von: Bartee, Thomas C.
Veröffentlicht: (1981)

Technologie et materiels
von: Hardouin-Mercier, Georges
Veröffentlicht: (1972)

Mini/microcomputer hardware design
von: Kraft, George D., et al.
Veröffentlicht: (1979)

Switching circuits theory and logic design
von: Torng, H. C.
Veröffentlicht: (1972)

Proceedings Brighton, Great Britain, September 18 - 22, 1995
Veröffentlicht: (1995)

Proceedings ICCD '86, Rye Town Hilton, Port Chester, New York, October 6 - October 9, 1986
Veröffentlicht: (1986)

Digital networks and computer systems
von: Booth, Taylor L. 1933-
Veröffentlicht: (1978)

Theorem provers in circuit design theory, practice and experience ; second international conference, TPCD '94, Bad Herrenalb, Germany, September 26 - 28, 1994 ; proceedings
Veröffentlicht: (1995)

Design of testable logic circuits
von: Bennetts, R. G.
Veröffentlicht: (1984)

VHDL for logic synthesis an introductory guide for achieving design requirements
von: Rushton, Andrew
Veröffentlicht: (1995)

Fundamentals of structured hardware design a design language approach at register transfer level
von: Hartenstein, Reiner W. 1934-2022
Veröffentlicht: (1977)

VLSI 87 VLSI design of digital systems ; proceedings of the IFIP TC 10/WG 10.5 International Conference on Very Large Scale Integration, Vancouver, Canada, 10 - 12 August 1987
Veröffentlicht: (1988)

Proceedings of the 12th Symposium on Computer Arithmetic July 19 - 21, 1995 ; Bath, England
Veröffentlicht: (1995)

Computer aided design techniques
Veröffentlicht: (1970)

Computer aided design techniques
Veröffentlicht: (1970)

Proceedings
Veröffentlicht: (1992)

Proceedings May 27 - 29, 192, Sendai, Japan
Veröffentlicht: (1992)

The architecture of microprocessors
von: Anceau, François
Veröffentlicht: (1986)

Proceedings Rye Town Hilton, Rye Brook, New York October 3 - 5, 1988
Veröffentlicht: (1988)

The computer science and engineering handbook
Veröffentlicht: (1997)

The architecture of microcomputers
von: Greenfield, S. E.
Veröffentlicht: (1980)

The physics of VLSI systems
von: Keyes, Robert W.
Veröffentlicht: (1987)

Formal methods in computer aided design Second International Conference, FMCAD '98, Palo Alto, CA, USA, November 4 - 6, 1998 ; proceedings
Veröffentlicht: (1998)

CAD systems proceedings of the IFIP Working Conference on Computer-Aided Design Systems
Veröffentlicht: (1977)

Computer logic the functional design of digital computers
von: Flores, Ivan
Veröffentlicht: (1960)

Switching circuits for engineers
von: Marcus, Mitchell P.
Veröffentlicht: (1967)

Computer architecture and organization
von: Hayes, John P.
Veröffentlicht: (1985)

IBM electronic circuit analysis program Techniques and applications
von: Jensen, Randall W., et al.
Veröffentlicht: (1968)

Towards evolvable hardware the evolutionary engineering approach
Veröffentlicht: (1996)

Design theory and computer science processes and methodology of computer systems design
von: Dasgupta, Subrata
Veröffentlicht: (1991)

Circuits for digital equipment
von: Dakin, C. J., et al.
Veröffentlicht: (1967)

VLSI 85 VLSI design of digital systems ; proceedings of the IFIP TC 10/WG 10.5 International Conference on Very Large Scale Integration ; Tokyo, Japan, 26 - 28 August 1985
Veröffentlicht: (1986)

Fault tolerant and fault testable hardware design
von: Lala, Parag K.
Veröffentlicht: (1985)