CORRECT HARDWARE DESIGN METHODOLOGIES proceedings of the Advanced Research Workshop on Correct Hardware Design Methodologies, Turin, Italy, June 12-14, 1991

CORRECT HARDWARE DESIGN METHODOLOGIES proceedings of the Advanced Research Workshop on Correct Hardware Design Methodologies, Turin, Italy, June 12-14, 1991

The increasing interest in formal verification of hardware is witnessed by academic and industrial research efforts, multinational research projects and conferences. These proceedings contain the papers presented at the Workshop held in Turin, Italy from 12-14 June, 1991. Papers focus on the practic...

Full description

Saved in:

Bibliographic Details
Corporate Authors:	ESPRIT Basic Research Action 3216 "CHARME", Politecnico di Torino
Other Authors:	Prinetto, Paolo, Camurati, Paolo
Format:	Book
Language:	English
Published:	Amsterdam North-Hollandcc1992 1992 ©1992
Subjects:	Integrated circuits > Design and construction > Data processing > Congresses > Very large scale integration Computer-aided design > Congresses Computer software > Verification > Congresses > Data processing > Congresses
Online Access:	Click Here to View Status and Holdings.
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Formal VLSI correctness verification proceedings of the IFIP WG 10.2/WG 10.5 International Workshop on Applied Formal Methods for Correct VLSI Design
Published: (1990)

Formal VLSI specification and synthesis proceedings of the IFIP WG 10.2/WG 10.5 International Workshop on Applied Formal Methods for Correct VLSI Design
Published: (1990)

VLSI system design proceedings of the Third International Workshop on VLSI System Design, Bangalore, India, January 6-9, 1990
Published: (1990)

Logic synthesis and verification algorithms
by: Hachtel, Gary D.
Published: (1996)

Design methodologies
Published: (1986)

VLSI 91 proceedings of the IFIP TC10/WG 10.5 International Conference on Very Large Scale Integration, Edinburgh, Scotland, 20-22 August 1991
Published: (1992)

Integrated circuit and system design power and timing modeling, optimization and simulation cedited by Nadine Azemard, Lars Svensson
Published: (2007)

VLSI circuit design methodology demystified a conceptual taxonomy
by: Xiu, Liming
Published: (2008)

VLSI physical design automation theory and practice
by: Sait, Sadiq M. 1957-
Published: (1999)

Logic synthesis and verification algorithms
by: Hachtel, Gary D
Published: (2006)

Formal methods for VLSI design IFIP WG 10.5 lecture notes
Published: (1990)

Unified methods for VLSI simulation and test generation
by: Cheng, Kwang-Ting 1961-
Published: (1989)

Logic and architecture synthesis proceedings of the IFIP TC10/WG10.5 Workshop on Logic and Architecture Synthesis, Paris, France, 30 May-1 June 1990
Published: (1991)

High level test synthesis of digital VLSI circuits
by: Lee, Mike Tien-Chien
Published: (1997)

Computer aids for VLSI design
by: Rubin, Steven M
Published: (1987)

An introduction to VLSI physical design
by: Sarrafzadeh, Majid
Published: (1996)

VLSI design for manufacturing yield enhancement
by: Director, Stephen W
Published: (1990)

Advanced high speed devices
Published: (2010)

Advanced model order reduction techniques in VLSI design
by: Tan, Sheldon X. D.
Published: (2007)

A FIRST COURSE IN DIGITAL SYSTEMS DESIGN an integrated approach
by: Uyemura, John P
Published: (2000)

VLSI custom microelectronics digital, analog and mixed-signal
by: Hurst, Stanley L. Stanley Leonard
Published: (1999)

Fundamentals of computer-aided circuit simulation
by: McCalla, William J
Published: (1987)

Logic and architecture synthesis state-of-the-art and novel approaches proceedings of the ... held 1994
Published: (1995)

Digital vlsi design
by: Singh, Ajay Kumar
Published: (2011)

Analog and mixed mode VLSI design
by: Gejji, Vineeta P.
Published: (2011)

Algorithms for VLSI physical design automation
by: Sherwani, N. A. Naveed A
Published: (1995)

Algorithms for VLSI physical design automation
by: Sherwani, N. A. (Naveed A)
Published: (1993)

VLSI technology and design
Published: (1987)

VLSI logic synthesis and design
Published: (1991)

Design automation, languages, and simulations
Published: (2003)

The design and analysis of VLSI circuits
by: Glasser, Lance A
Published: (1985)

VLSI design
by: Vai, M. Michael
Published: (2001)

VLSI design
Published: (1986)

Introduction to VLSI Circuits and Systems
by: Uyemura, John P. 1952-
Published: (2002)

Layout design and verification
Published: (1986)

VLSI digital signal processing systems design and implementation
by: Parhi, Keshab K.
Published: (1999)

VLSI chip design with the hardware description language VERILOG an introduction based on a large RISC processor design
by: Golze, Ulrich 1948-
Published: (1996)

Hierarchical modeling for VLSI circuit testing
by: Bhattacharya, Debashis 1961-
Published: (1990)

Basic VLSI design principles and applications
by: Pucknell, Douglas A. 1927-
Published: (1985)

VLSI design techniques for analog and digital circuits
by: Geiger, Randall L
Published: (1990)