{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,12,18]],"date-time":"2024-12-18T05:35:49Z","timestamp":1734500149966,"version":"3.30.2"},"reference-count":20,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1109\/hicss.2003.1174810","type":"proceedings-article","created":{"date-parts":[[2004,6,22]],"date-time":"2004-06-22T20:27:43Z","timestamp":1087936063000},"page":"10 pp.","source":"Crossref","is-referenced-by-count":1,"title":["Field modifiable architecture with FPGAs and its design\/verification\/debugging methodologies"],"prefix":"10.1109","author":[{"given":"M.","family":"Fujita","sequence":"first","affiliation":[]},{"given":"S.","family":"Komatsu","sequence":"additional","affiliation":[]},{"given":"S.","family":"Saito","sequence":"additional","affiliation":[]},{"given":"K.","family":"Seto","sequence":"additional","affiliation":[]},{"given":"T.","family":"Sakunkonchak","sequence":"additional","affiliation":[]},{"given":"Y.","family":"Kojima","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1145\/362652.362661"},{"key":"ref11","article-title":"Efficient BDD Algorithms for Synthesizing and Verifying Finite State Machines","author":"ranjan","year":"1995","journal-title":"Workshop Notes of Intl Workshop on Logic Synthesis 1995"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/TASSP.1984.1164399"},{"key":"ref13","article-title":"Verification of Synochronization in SpecC Description with the Use of Difference Decision Diagram","author":"sakunkonchak","year":"2002","journal-title":"Proc FDL'02"},{"key":"ref14","doi-asserted-by":"crossref","first-page":"81","DOI":"10.1145\/500001.500019","article-title":"the standard specc language","author":"fujita","year":"2001","journal-title":"International Symposium on System Synthesis (IEEE Cat No 01EX526) ISSS-01"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4615-4515-6"},{"journal-title":"System Design A Practical Guide With SpecC","year":"2000","author":"gerstlauer","key":"ref16"},{"key":"ref17","article-title":"Difference Decision Diagrams","author":"moller","year":"1999","journal-title":"Technical report IT-TR-1999-023"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/TC.1986.1676819"},{"key":"ref19","article-title":"Boolean Programs: A Model and Process for Software Analysis","author":"ball","year":"0","journal-title":"Microsoft Research"},{"journal-title":"AES Proposal Rijndael Document Version 2","year":"1999","author":"daemen","key":"ref4"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1016\/0890-5401(92)90017-A"},{"key":"ref6","doi-asserted-by":"crossref","first-page":"268","DOI":"10.1145\/309847.309928","article-title":"An O-Tree Representation of Non-Slicing Floorplan","author":"guo","year":"1999","journal-title":"ACM\/IEEE Design Automation Conference"},{"year":"0","key":"ref5"},{"journal-title":"Compilers Principles Techniques and Tools","year":"1988","author":"aho","key":"ref8"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD.1995.480146"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD.1997.643525"},{"key":"ref1","article-title":"Optimierte parallele Code-Erzeugung","author":"roemer","year":"2000","journal-title":"DSP Deutschland 95"},{"key":"ref9","article-title":"Co-Design of Custom VLIW-DSP Type Data-path Architecture and its Parallel Program for Loops based on Formal Verification Technique","author":"seto","year":"2001","journal-title":"International Workshop on Software and Compilers for Embedded Systems"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/HLDVT.2002.1224443"}],"event":{"name":"36th Annual Hawaii International Conference on System Sciences, 2003. Proceedings of the","start":{"date-parts":[[2003,1,9]]},"location":"Big Island, HI, USA","end":{"date-parts":[[2003,1,9]]}},"container-title":["36th Annual Hawaii International Conference on System Sciences, 2003. Proceedings of the"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/8360\/26341\/01174810.pdf?arnumber=1174810","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,12,17]],"date-time":"2024-12-17T17:18:03Z","timestamp":1734455883000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1174810\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"references-count":20,"URL":"https:\/\/doi.org\/10.1109\/hicss.2003.1174810","relation":{},"subject":[],"published":{"date-parts":[[2003]]}}}