{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T10:34:59Z","timestamp":1725618899191},"publisher-location":"New York, NY, USA","reference-count":20,"publisher":"ACM","content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2004,4,26]]},"DOI":"10.1145\/988952.989050","type":"proceedings-article","created":{"date-parts":[[2004,7,20]],"date-time":"2004-07-20T15:55:38Z","timestamp":1090338938000},"page":"407-412","update-policy":"http:\/\/dx.doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":3,"title":["RESTA"],"prefix":"10.1145","author":[{"given":"Kundan","family":"Nepal","sequence":"first","affiliation":[{"name":"Brown University"}]},{"given":"Hui-Yuan","family":"Song","sequence":"additional","affiliation":[{"name":"Brown University"}]},{"given":"R. Iris","family":"Bahar","sequence":"additional","affiliation":[{"name":"Brown University"}]},{"given":"Joel","family":"Grodstein","sequence":"additional","affiliation":[{"name":"Intel Corporation, Shrewsbury, MA"}]}],"member":"320","published-online":{"date-parts":[[2004,4,26]]},"reference":[{"doi-asserted-by":"publisher","key":"e_1_3_2_1_1_1","DOI":"10.5555\/259794.259826"},{"volume-title":"Microprocessor Forum","year":"1998","author":"Bannon P.","key":"e_1_3_2_1_2_1"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_3_1","DOI":"10.1109\/ISCAS.2003.1206183"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_4_1","DOI":"10.5555\/602902.602979"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_5_1","DOI":"10.1109\/92.386227"},{"volume-title":"ICCAD","year":"2000","author":"Chen P.","first-page":"331","key":"e_1_3_2_1_6_1"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_7_1","DOI":"10.1145\/240518.240542"},{"unstructured":"G. Golub and C. V. Loan. Matrix Computations. Johns Hopkins University Press Baltimore MD 3rd edition 1996. G. Golub and C. V. Loan. Matrix Computations. Johns Hopkins University Press Baltimore MD 3rd edition 1996.","key":"e_1_3_2_1_8_1"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_9_1","DOI":"10.1145\/337292.337413"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_10_1","DOI":"10.1109\/82.227370"},{"unstructured":"C. B. McDonald 2001. Private Communication. C. B. McDonald 2001. Private Communication.","key":"e_1_3_2_1_11_1"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_12_1","DOI":"10.1145\/378239.378486"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_13_1","DOI":"10.1145\/277044.277104"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_14_1","DOI":"10.5555\/800033.800851"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_15_1","DOI":"10.1109\/TCAD.1985.1270130"},{"volume-title":"McGraw-Hill","year":"1995","author":"Pillage L.","key":"e_1_3_2_1_16_1"},{"volume-title":"Prentice Hall","year":"2003","author":"Rabaey J. M.","key":"e_1_3_2_1_17_1"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_18_1","DOI":"10.1109\/TCAD.1983.1270037"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_19_1","DOI":"10.1145\/74382.74412"},{"unstructured":"F. Somenzi. CUDD: The CU decision diagram package release 2.3.0. http:\/\/vlsi.colorado.edu\/~fabio\/CUDD. F. Somenzi. CUDD: The CU decision diagram package release 2.3.0. http:\/\/vlsi.colorado.edu\/~fabio\/CUDD.","key":"e_1_3_2_1_20_1"}],"event":{"sponsor":["ACM Association for Computing Machinery","SIGDA ACM Special Interest Group on Design Automation"],"acronym":"GLSVLSI04","name":"GLSVLSI04: Great Lakes Symposium on VLSI 2004","location":"Boston MA USA"},"container-title":["Proceedings of the 14th ACM Great Lakes symposium on VLSI"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/988952.989050","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,1,11]],"date-time":"2023-01-11T18:13:11Z","timestamp":1673460791000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/988952.989050"}},"subtitle":["a robust and extendable symbolic timing analysis tool"],"short-title":[],"issued":{"date-parts":[[2004,4,26]]},"references-count":20,"alternative-id":["10.1145\/988952.989050","10.1145\/988952"],"URL":"http:\/\/dx.doi.org\/10.1145\/988952.989050","relation":{},"subject":[],"published":{"date-parts":[[2004,4,26]]},"assertion":[{"value":"2004-04-26","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}
