Wang, L-T.L-T.WangCheng, K-T.K-T.ChengChang, Y-W.Y-W.ChangHuang, C-Y.C-Y.Huang2011-02-162018-07-062011-02-162018-07-062009N/Ahttp://ntur.lib.ntu.edu.tw//handle/246246/231289en-USELECTRONIC DESIGN AUTOMATION: SYNTHESIS, VERIFICATION, AND TESTbook