1-3 of 3 Books
Analog integratedcircuits
By Sidney Soclof
Formal methods in computer-aided design
By FMCAD 2004 (2004 Austin, Texas)
Digital system design and microprocessors
By Hayes, John P.