"Symbolic Analysis and Reduction of VLSI Circuits" - читать интересную книгу автора (Zhanhai Qin, Chung-Kuan Cheng)