PROCESS AND DEVICE MODELING FOR INTEGRATED CIRCUIT DESIGN
FERNAND VAN DE WIELE WALTER L.ENGL PAUL G.JESPERS2222 年出版867 页ISBN:
FORMAL VLSI CORRECTNESS VERIFICATION VLSI Design Methods-II
1990 年出版427 页ISBN:0444886885
SIXTH EDITION THE ANALYSIS AND DESIGN OF LINEAR CIRCUITS
2009 年出版904 页ISBN:9780470566879
ANALYSIS AND DESIGN OF DIGITAL CIRCUITS AND COMPUTER SYSTEMS
1976 年出版598 页ISBN:0916460037