Research Catalog

Practical formal methods for hardware design

Title: Practical formal methods for hardware design / C. Delgado Kloos, W. Damm (Eds.).
Publication: New York : Springer, 1997.

Filter by

Item details
Status	Format	Access	Call Number	Item Location
Request for On-site Use Request Scan How do I pick up this item and when will it be ready?	Text	Request in advance	TK7874.65 .P73 1997	Off-site

Additional Authors

Description

xiv, 293 pages : illustrations; 24 cm.

Series Statement

Research reports ESPRIT. Project 6128, FORMAT ; vol. 1

Uniform Title

Research reports ESPRIT. Project 6128, FORMAT ; v. 1.

Subjects

Contents

Preface / Mike Newman -- Introduction / Carlos Delgado Kloos, Werner Damm and Juan Goicolea -- Design Methodology for Complex VLSI Devices / Massimo Bombana and Fabrizio Ferrandi -- Specification Languages / Werner Damm, Gert Dohmen and Johannes Helbig [et al.] -- Verification Flow / Werner Damm, Gert Dohmen and Ronald Herrmann [et al.] -- Synthesis Flow / Werner Grass, Wolf-Dieter Tiedemann and Carlos Delgado Kloos [et al.] -- Application of a Formal Verification Toolset to the Design of Integrated Circuits in an Industrial Environment / Pierre Plaza, Jose Luis Conesa and Fernando Palao -- Italtel Application of the FORMAT Design Flow / Massimo Bombana, Patrizia Cavalloro and Fabrizio Ferrandi [et al.] -- Siemens Industrial Experience / Ronald Herrmann, Jorg Bormann and Thomas Filkorn [et al.] -- The FORMAT Model Checker / Andreas Scholz, Thomas Filkorn and Jorg Lohse [et al.] -- Reasoning / Nick Chapman, Simon Finn and Michael P. Fourman --
VHDL Formal Modeling and Analysis / Luis Entrena, Serafin Olcoz and Juan Goicolea -- Synthesis Techniques / Wolf-Dieter Tiedemann, Stefan Lenk and Christian Grobe [et al.] -- Generating VHDL Code from LOTOS Descriptions / Andres Marin Lopez, Carlos Delgado Kloos and Tomas Robles Valladares [et al.].

ISBN

3540620079

LCCN

97017153

OCLC

Owning Institutions

Columbia University Libraries