{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T22:43:10Z","timestamp":1729636990697,"version":"3.28.0"},"reference-count":12,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/aspdac.2006.1594709","type":"proceedings-article","created":{"date-parts":[[2006,3,22]],"date-time":"2006-03-22T12:38:08Z","timestamp":1143031088000},"page":"360-365","source":"Crossref","is-referenced-by-count":1,"title":["Efficient identification of multi-cycle false path"],"prefix":"10.1109","author":[{"family":"Kai Yang","sequence":"first","affiliation":[]},{"family":"Kwang-Ting Cheng","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"3","doi-asserted-by":"publisher","DOI":"10.1109\/92.311642"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1109\/43.205000"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1109\/43.511566"},{"key":"1","doi-asserted-by":"crossref","first-page":"561","DOI":"10.1145\/74382.74476","article-title":"efficient algorithms for computing the longest viable path in a combinational network","author":"mcgeer","year":"1989","journal-title":"26th ACM\/IEEE Design Automation Conference"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1109\/DAC.2002.1012613"},{"key":"6","article-title":"Multi-cycle path detection based on propositional satisfiability with CNF simplification using adaptive variable insertion","author":"nakamura","year":"2000","journal-title":"IEICE Trans on Fundamentals"},{"key":"5","article-title":"Waiting false path analysis of sequential logic circuits for performance optimization","author":"nakamura","year":"1997","journal-title":"Proc IEEE\/ACM Int Conf Computer-Aided Design (ICCAD)"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1145\/196244.196299"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1109\/43.406708"},{"key":"8","article-title":"Functionally testable path delay faults on a microprocessor","volume":"15","author":"lai","year":"2000","journal-title":"IEEE Design & Test of Computers"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1109\/TEST.2003.1270886"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1109\/DAC.2002.1012689"}],"event":{"name":"Asia and South Pacific Conference on Design Automation, 2006.","location":"Yokohama, Japan"},"container-title":["Asia and South Pacific Conference on Design Automation, 2006."],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/10626\/33561\/01594709.pdf?arnumber=1594709","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,17]],"date-time":"2017-06-17T00:00:20Z","timestamp":1497657620000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1594709\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":12,"URL":"https:\/\/doi.org\/10.1109\/aspdac.2006.1594709","relation":{},"subject":[]}}