{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:42:00Z","timestamp":1750308120105,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":25,"publisher":"ACM","license":[{"start":{"date-parts":[[2005,9,18]],"date-time":"2005-09-18T00:00:00Z","timestamp":1127001600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2005,9,18]]},"DOI":"10.1145\/1086228.1086284","type":"proceedings-article","created":{"date-parts":[[2005,11,7]],"date-time":"2005-11-07T17:34:39Z","timestamp":1131384879000},"page":"307-316","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":20,"title":["Cutpoints for formal equivalence verification of embedded software"],"prefix":"10.1145","author":[{"given":"Xiushan","family":"Feng","sequence":"first","affiliation":[{"name":"University of British Columbia, Vancouver, B.C."}]},{"given":"Alan J.","family":"Hu","sequence":"additional","affiliation":[{"name":"University of British Columbia, Vancouver, B.C."}]}],"member":"320","published-online":{"date-parts":[[2005,9,18]]},"reference":[{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.5555\/647770.734113"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.5555\/646184.682917"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD.1989.76990"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.5555\/822072.822342"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.5555\/259794.259883"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1109\/TC.1986.1676819"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/103516.103519"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.5555\/648063.747438"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10766-005-0004-8"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/337292.337339"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/115372.115320"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.5555\/49418"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/513829.513844"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.5555\/646186.683242"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/503272.503279"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.5555\/523974.834847"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/266021.266090"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/53990.54022"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/349299.349314"},{"key":"e_1_3_2_1_22_1","volume-title":"Embedded Systems Programming","author":"Oshana R.","year":"1999","unstructured":"R. Oshana . Optimization techniques for high-performance DSPs . Embedded Systems Programming , March 1999 . We accessed the on-line article at http:\/\/www.embedded.com\/ 1999\/9903\/9903osha.htm.]] R. Oshana. Optimization techniques for high-performance DSPs. Embedded Systems Programming, March 1999. We accessed the on-line article at http:\/\/www.embedded.com\/1999\/9903\/9903osha.htm.]]"},{"key":"e_1_3_2_1_23_1","first-page":"139","volume-title":"International High-Level Design, Validation, and Test Workshop","author":"Saito H.","year":"2002","unstructured":"H. Saito , T. Ogawa , T. Sakunkonchak , M. Fujita , and T. Nanya . An equivalence checking methodology for hardware oriented C-based specifications . In International High-Level Design, Validation, and Test Workshop , pages 139 -- 144 . IEEE , 2002 .]] H. Saito, T. Ogawa, T. Sakunkonchak, M. Fujita, and T. Nanya. An equivalence checking methodology for hardware oriented C-based specifications. In International High-Level Design, Validation, and Test Workshop, pages 139--144. IEEE, 2002.]]"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.5555\/1114284.1114516"},{"key":"e_1_3_2_1_25_1","first-page":"C121","volume":"00","author":"Instruments Texas","year":"2003","unstructured":"Texas Instruments . TMS320C67x DSP Library . Version 1 . 00 , February 17, 2003 . Part Number SPR C121 . http:\/\/focus.ti.com\/docs\/toolsw\/folders\/print\/sprc121.html.]] Texas Instruments. TMS320C67x DSP Library. Version 1.00, February 17, 2003. Part Number SPRC121. http:\/\/focus.ti.com\/docs\/toolsw\/folders\/print\/sprc121.html.]]","journal-title":"Version 1"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.5555\/645464.653526"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1022920129859"}],"event":{"name":"EMSOFT05: Fifth ACM International Conference on Embedded Software 2005","sponsor":["ACM Association for Computing Machinery","SIGBED ACM Special Interest Group on Embedded Systems"],"location":"Jersey City NJ USA","acronym":"EMSOFT05"},"container-title":["Proceedings of the 5th ACM international conference on Embedded software"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1086228.1086284","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1086228.1086284","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T16:08:19Z","timestamp":1750262899000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1086228.1086284"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005,9,18]]},"references-count":25,"alternative-id":["10.1145\/1086228.1086284","10.1145\/1086228"],"URL":"https:\/\/doi.org\/10.1145\/1086228.1086284","relation":{},"subject":[],"published":{"date-parts":[[2005,9,18]]},"assertion":[{"value":"2005-09-18","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}