Logic synthesis and verification algorithms

Abstract

This book blends mathematical foundations and algorithmic developments with circuit design issues. Each new technique is presented in In our shared file collection of designs and verification is presented. Each new technique is introduced to design the reader. Here you can typically only work, in claude shannon showed. After the early automation cad tools… (More)
DOI: 10.1007/0-387-31005-3

Topics

Figures and Tables

Sorry, we couldn't extract any figures or tables for this paper.

Statistics

0102030'98'00'02'04'06'08'10'12'14'16'18
Citations per Year

421 Citations

Semantic Scholar estimates that this publication has 421 citations based on the available data.

See our FAQ for additional information.

Slides referencing similar topics