00476    a2200169   4500020001500000082001800015100001700033245005300050260003500103300002100138650001600159650001600175650002800191650004200219700002400261700002100285  a0387239049  a621.3815bQIN  aQin, Zhanhai  aSymbolic analysis and reduction of VLSI circuits  aNew YorkbSpringerc2005g2005  axxii,283p.c22cm  aEngineering  aElectronics  aComponents and circuits  aElectronic communications engineering  aCheng, Chung - Kuan  aTan, Sheldon X.D