TY - BOOK AU - Qin Zhanhai AU - Cheng Chung-Kuan AU - Tan Sheldon X D TI - Symbolic analysis and reduction of VLSI circuits SN - 0-387-23904-9 U1 - 621.395 PY - 2005/// CY - New York PB - Springer-Verlag KW - VLSI circuits ER -