Chen, L.G.L.G.ChenLee, J.Y.J.Y.LeeWang, J.F.J.F.WangChen, K.T.K.T.ChenLIANG-GEE CHEN2018-09-102018-09-101986http://www.scopus.com/inward/record.url?eid=2-s2.0-0022779242&partnerID=MN8TOARShttp://scholars.lib.ntu.edu.tw/handle/123456789/321264Fast execution for circuit consistency verificationjournal article10.1016/0167-9260(86)90003-9