Formal methods in circuit design /

The rapid growth in the VLSI market has meant that manufacturers are under pressure to deliver increasingly complex, reliable, and cost effective products. Dependability is becoming more and more important as computers become an integral part of safety critical systems. Formal techniques that have b...

Full description

Bibliographic Details
Main Author:	Stavridou, V. (Victoria)
Format:	Book
Language:	English
Published:	Cambridge ; New York : Cambridge University Press, 1993.
Series:	Cambridge tracts in theoretical computer science ; 37.
Subjects:	Integrated circuits > Very large scale integration > Computer-aided design. Integrated circuits > Very large scale integration > Testing > Data processing. Integrated circuits > Very large scale integration > Design and construction > Data processing. Computer-aided design. Computer-Aided Design Circuits intégrés à très grande échelle > Conception et construction > Informatique. Conception assistée par ordinateur. Circuits intégrés à très grand échelle > Essais > Informatique. Circuits intégrés à très grande échelle > Conception assistée par ordinateur. computer-aided designs (visual works) Methode Schaltungsentwurf INTEGRATED CIRCUITS. VERY LARGE SCALE INTEGRATION. DATA PROCESSING. COMPUTER AIDED DESIGN. DESIGN. TESTING. Circuits intégrés numériques > Conception et construction. Circuits intégrés à très grande échelle. Circuits intégrés à très grande échelle > Essais > Informatique. Théorèmes > Démonstration automatique. Logiciels > Vérification. Methode. Schaltungsentwurf. Computers > Integrated circuits > Design
Online Access:	Table of contents Publisher description

Internet

Table of contents
Publisher description

Remote Storage

Holdings details from Remote Storage
Call Number	Status	Get It
Call Number:		TK7885 .S738 1993

TK7885 .S738 1993	Available