Cover Image

Computer-aided verification : proceedings /

Bibliographic Details
Corporate Authors:	CAV (Conference) Center for Discrete Mathematics and Theoretical Computer Science), CAV (Conference)
Other Authors:	Clarke, Edmund M., Jr. (Edmund Melson), 1945-2020, Kurshan, R. P., 1943-
Format:	Conference Proceeding Book
Language:	English
Published:	Berlin ; New York : Springer-Verlag, [1991]
Series:	Lecture notes in computer science ; 531.
Subjects:	Digital integrated circuits > Design and construction > Data processing > congresses. Computer-aided design > Congresses.

Similar Items

Formal methods in computer-aided design : 4th international conference, FMCAD 2002, Portland, OR, USA, November 6-8, 2002 : proceedings /
Published: (2002)

Formal methods in computer-aided design : 5th international confrence [as printed], FMCAD 2004, Austin, Texas, USA, November 15-17, 2004 ; proceedings /
Published: (2004)

Formal hardware verification : methods and systems in comparison /
Published: (1997)

Modern VLSI design : a systems approach /
by: Wolf, Marilyn, 1958-
Published: (1994)

Digital timing macromodeling for VLSI design verification /
by: Kong, Jeong-Taek, 1959-
Published: (1995)

Modern VLSI design : systems on silicon /
by: Wolf, Marilyn, 1958-
Published: (1998)

High-performance digital VLSI circuit design /
by: Gu, Richard X., 1962-
Published: (1996)

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

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

Progress in computer-aided VLSI design /
Published: (1989)

Correct hardware design and verification methods : IFIP WG10.2 Advanced Research Working Conference, CHARME '93, Arles, Frances [as printed], May 24-26, 1993 : proceedings /
Published: (1993)

Computer-aided design and VLSI device development /
Published: (1986)

Computer-aided design and VLSI device development /
Published: (1988)

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

Computer-aided design of analog circuits and systems /
Published: (1993)

Selected papers on computer-aided design of very large scale integrated circuits /
Published: (1987)

A unified approach for timing verification and delay fault testing /
by: Sivaraman, Mukund, 1970-
Published: (1998)

Digest of technical papers : IEEE International Conference on Computer-Aided Design, ICCAD-89, a conference for the EE CAD professional, November 5-9, 1989, Convention Center, Santa Clara, California /
Published: (1989)

Formal verification of hardware design /
by: Yoeli, Michael, 1917-
Published: (1990)

EDA for IC system design, verification, and testing /
Published: (2006)

Analog design issues in digital VLSI circuits and systems /
Published: (1997)

Technology CAD : computer simulation of IC processes and devices /
by: Dutton, Robert W.
Published: (1993)

Analog circuit design : low-noise, low-power, low-voltage, mixed-mode design with CAD tools, voltage, current and time references /
Published: (1996)

Digest of technical papers /
Published: (1985)

Digest of technical papers /
Published: (1988)

Digest of technical papers : November 9-12, 1987, Convention Center, Santa Clara, California /
Published: (1987)

Computer design aids for VLSI circuits /
Published: (1984)

Taxonomies for the development and verification of digital systems /
Published: (2005)

Automatic logic synthesis techniques for digital systems /
by: Edwards, Martyn D.
Published: (1992)

Parallel algorithms for VLSI computer-aided design applications /
by: Banerjee, Prithviraj
Published: (1994)

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

Three-dimensional integrated circuit layout /
by: Harter, Andrew
Published: (1991)

An artificial intelligence approach to integrated circuit floorplanning /
by: Jabri, M. A. (Marwan A.)
Published: (1991)

Digest of technical papers /
Published: (1984)

Hardware specification, verification, and synthesis : Mathematical aspects : proceedings /
Published: (1990)

Hardware specification, verification, and synthesis : mathematical aspects Mathematical Sciences Institute workshop, Cornell University Ithaca, New York, USA, July 5-7, 1989, proceedings /
Published: (1990)

High-level power analysis and optimization /
by: Raghunathan, Anand, 1972-
Published: (1998)

Symbolic analysis for automated design of analog integrated circuits /
by: Gielen, Georges
Published: (1991)

Electronic design automation for IC system design, verification, and testing /
Published: (2016)

Handbook of advanced semiconductor technology and computer systems /
Published: (1988)