{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,15]],"date-time":"2025-10-15T17:02:44Z","timestamp":1760547764637,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":10,"publisher":"ACM","license":[{"start":{"date-parts":[[2004,6,7]],"date-time":"2004-06-07T00:00:00Z","timestamp":1086566400000},"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":[[2004,6,7]]},"DOI":"10.1145\/996566.996732","type":"proceedings-article","created":{"date-parts":[[2004,7,20]],"date-time":"2004-07-20T15:55:38Z","timestamp":1090338938000},"page":"608-613","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":7,"title":["Automatic generation of equivalent architecture model from functional specification"],"prefix":"10.1145","author":[{"given":"Samar","family":"Abdi","sequence":"first","affiliation":[{"name":"University of California, Irvine, CA"}]},{"given":"Daniel","family":"Gajski","sequence":"additional","affiliation":[{"name":"University of California, Irvine, CA"}]}],"member":"320","published-online":{"date-parts":[[2004,6,7]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"SystemC OSCI{online}. Available: http:\/\/www.systemc.org\/.  SystemC OSCI{online}. Available: http:\/\/www.systemc.org\/."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.5555\/87992.88012"},{"key":"e_1_3_2_1_4_1","first-page":"20","volume-title":"Third International Conference on Application of Concurrency to System Design","author":"Chen X.","year":"2003","unstructured":"X. Chen , H. Hsieh , F. Balarin , and Y. Watanabe . Case studies of model checking for embedded system designs . In Third International Conference on Application of Concurrency to System Design , pages 20 -- 28 , June 2003 . X. Chen, H. Hsieh, F. Balarin, and Y. Watanabe. Case studies of model checking for embedded system designs. In Third International Conference on Application of Concurrency to System Design, pages 20--28, June 2003."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.5555\/556746"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4615-4515-6"},{"key":"e_1_3_2_1_7_1","volume-title":"Communicating Sequential Processes","author":"Hoare C.","year":"1985","unstructured":"C. Hoare . Communicating Sequential Processes . Prentice Hall , 1985 . C. Hoare. Communicating Sequential Processes. Prentice Hall, 1985."},{"volume-title":"IEEE International High Level Design Validation and Test Workshop","year":"1996","key":"e_1_3_2_1_8_1","unstructured":"Middlehoek. A methodology for the design of guaranteed correct and efficient digital systems . In IEEE International High Level Design Validation and Test Workshop , November 1996 . Middlehoek. A methodology for the design of guaranteed correct and efficient digital systems. In IEEE International High Level Design Validation and Test Workshop, November 1996."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.5555\/539036"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASPDAC.1995.486375"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/944645.944655"}],"event":{"name":"DAC04: The 41st Annual Design Automation Conference 2004","sponsor":["ACM Association for Computing Machinery","SIGDA ACM Special Interest Group on Design Automation"],"location":"San Diego CA USA","acronym":"DAC04"},"container-title":["Proceedings of the 41st annual Design Automation Conference"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/996566.996732","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/996566.996732","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T16:24:44Z","timestamp":1750263884000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/996566.996732"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004,6,7]]},"references-count":10,"alternative-id":["10.1145\/996566.996732","10.1145\/996566"],"URL":"https:\/\/doi.org\/10.1145\/996566.996732","relation":{},"subject":[],"published":{"date-parts":[[2004,6,7]]},"assertion":[{"value":"2004-06-07","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}