Vineet Nayyar Learning Resource Centre

Logic synthesis and verification algorithms

Hachtel, Gary D.

Logic synthesis and verification algorithms - New York : Springer, c2006. - xxxii, 564 p. : ill. ;

9781475770360


Integrated circuits
Logic design
Integrated circuits
Computer-aided design.

621.395 / HAC