Symbolic Analysis and Reduction of VLSI Circuits - Qin, Zhanhai; Tan, Sheldon X. D.; Cheng, Chung-Kuan.; SpringerLink (Online service) (Boston, MA : Springer US, 2005)
Keywords: Engineering; Computer engineering; Engineering; Electrical Engineering