FORMAL VLSI SPECIFICATION AND SYNTHESIS VLSI Design Methods-I
1990 年出版413 页ISBN:044488372x
FORMAL VLSI CORRECTNESS VERIFICATION VLSI Design Methods-II
1990 年出版427 页ISBN:0444886885
VLSI Electronics Microstucture Science Volume 14 VLSI Design
Norman G.Einspruch1986 年出版202 页ISBN: