{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T20:18:46Z","timestamp":1729628326637,"version":"3.28.0"},"reference-count":15,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2007,3]]},"DOI":"10.1109\/iccta.2007.125","type":"proceedings-article","created":{"date-parts":[[2007,4,19]],"date-time":"2007-04-19T16:38:58Z","timestamp":1177000738000},"page":"151-157","source":"Crossref","is-referenced-by-count":1,"title":["Timing Analysis of Sequential Circuits Using Symbolic Event Propagation"],"prefix":"10.1109","author":[{"given":"Arijit","family":"Mondal","sequence":"first","affiliation":[]},{"given":"P.P.","family":"Chakrabarti","sequence":"additional","affiliation":[]},{"given":"Pallab","family":"Dasgupta","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"15","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD.1996.569410"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1109\/EDTC.1994.326813"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1145\/264995.264998"},{"key":"11","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":"12","first-page":"17931814","article-title":"Reasoning about timing behavior of digital circuits using symbolic event propagation and temporal logic","volume":"25","author":"mondai","year":"2006","journal-title":"IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1109\/43.205001"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1109\/TC.1986.1676819"},{"key":"1","article-title":"False path analysis in sequential circuits","author":"bell","year":"1998","journal-title":"Power and Timing Modeling Optimization and Simulation"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1145\/196244.196294"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1109\/43.285254"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1109\/DAC.1992.227744"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1016\/B978-044450813-3\/50026-6"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1145\/378239.378488"},{"key":"9","first-page":"216","article-title":"A new approach to solving false path problem in timing analysis","author":"huang","year":"1991","journal-title":"Proc ICCAD 9"},{"year":"0","key":"8"}],"event":{"name":"2007 International Conference on Computing: Theory and Applications (ICCTA'07)","start":{"date-parts":[[2007,3,5]]},"location":"Kolkata, India","end":{"date-parts":[[2007,3,7]]}},"container-title":["2007 International Conference on Computing: Theory and Applications (ICCTA'07)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/4127325\/4127326\/04127359.pdf?arnumber=4127359","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,17]],"date-time":"2017-06-17T12:33:43Z","timestamp":1497702823000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/4127359\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007,3]]},"references-count":15,"URL":"https:\/\/doi.org\/10.1109\/iccta.2007.125","relation":{},"subject":[],"published":{"date-parts":[[2007,3]]}}}