Chen, L.G.L.G.ChenLee, J.Y.J.Y.LeeWang, J.F.J.F.WangLIANG-GEE CHEN2018-09-102018-09-101987http://www.scopus.com/inward/record.url?eid=2-s2.0-0023327649&partnerID=MN8TOARShttp://scholars.lib.ntu.edu.tw/handle/123456789/329306HIERARCHICAL FUNCTIONAL VERIFICATION FOR CELL-BASED DESIGN STYLES.journal article