Central Library
IITBBS
Indian Institute of Technology Bhubaneswar
Book Image

Logic Synthesis and Verification Algorithms

Author(s):  Gary D. Hachtel,Fabio Somenzi
Publisher:  Springer Science & Business Media
Accession Number:  10916
Class Number:  621.395 HAC/L
About Book:  This book blends mathematical foundations and algorithmic developments with circuit design issues. Each new technique is presented in the context of its application to design. This publication serves as a textbook for upper-division and first year graduate students in electrical and computer engineering courses.
 
  Search Book By  
 
Loading

Other Books

Book Image
Book Image
Book Image
Book Image
Book Image
Book Image
Book Image
Book Image
Book Image
Book Image
Book Image
Book Image