{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,19]],"date-time":"2025-03-19T14:29:59Z","timestamp":1742394599376},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540441083"},{"type":"electronic","value":"9783540461173"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-46117-5_97","type":"book-chapter","created":{"date-parts":[[2010,3,29]],"date-time":"2010-03-29T17:14:23Z","timestamp":1269882863000},"page":"945-954","source":"Crossref","is-referenced-by-count":3,"title":["REFLIX: A Processor Core for Reactive Embedded Applications"],"prefix":"10.1007","author":[{"given":"Zoran","family":"Salcic","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Morteza","family":"Biglari-Abhari","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Abbas","family":"Bigdeli","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2002,8,16]]},"reference":[{"key":"97_CR1","doi-asserted-by":"publisher","first-page":"231","DOI":"10.1016\/0167-6423(87)90035-9","volume":"8","author":"D. Harel","year":"1987","unstructured":"Harel D. Statecharts: A Visual Formalism for Complex Systems, Sci. Comput. Prog., 8; 1987, pp. 231\u2013274","journal-title":"Sci. Comput. Prog"},{"key":"97_CR2","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"510","DOI":"10.1007\/BFb0027047","volume-title":"Application of temporal logic to the specification and verification of reactive systems: a survey of current trends","author":"A. Pnueli","year":"1986","unstructured":"Pnueli A. Application of temporal logic to the specification and verification of reactive systems: a survey of current trends, Lecture notes in computer science, 224; pp. 510\u2013584. Springer Verlag, 1986"},{"key":"97_CR3","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1016\/0167-6423(92)90005-V","volume":"19","author":"G. Berry","year":"1992","unstructured":"Berry G. and Gonthier G. The ESTEREL synchronous programming language, Sc. Comput. Prog., 19; 1992, pp. 87\u2013152","journal-title":"Sc. Comput. Prog"},{"key":"97_CR4","doi-asserted-by":"crossref","unstructured":"Fisher J.A. Customized instruction sets for embedded processors. In Proc. 36th Design Automation Conference, pp. 253\u2013257, 1999.","DOI":"10.1145\/309847.309923"},{"key":"97_CR5","unstructured":"Altera Corporation. Excalibur Embedded Processor Solutions, http:\/\/www.altera.com"},{"key":"97_CR6","unstructured":"Triscend. The Configurable System on a Chip, http:\/\/www.triscend.com"},{"key":"97_CR7","unstructured":"Xilinx Corporation. IBM and Xilinx team to create new generation of integrated circuits, http:\/\/www.xilinx.com\/prs rls\/ibmpartner.htm"},{"key":"97_CR8","doi-asserted-by":"crossref","unstructured":"Wirthlin M and Hutchings B. A dynamic instruction set computer. In Proc. IEEE Symp. on Field Programmable Custom Computing Machines, pp. 99\u2013107. IEEE Computer Society Press, 1995.","DOI":"10.1109\/FPGA.1995.477415"},{"key":"97_CR9","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"199","DOI":"10.1007\/BFb0055247","volume-title":"Field Programmable Logic and Applications","author":"A. Donlin","year":"1998","unstructured":"Donlin A. Self modifying circuitry-a platform for tractable virtual circuitry. In Field Programmable Logic and Applications, LNCS 1482, pp. 199\u2013208. Springer, 1998"},{"key":"97_CR10","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"280","DOI":"10.1007\/3-540-61730-2_30","volume-title":"Field-Programmable Logic FPL\u2019 96","author":"Z. Salcic","year":"1996","unstructured":"Salcic Z. and Maunder B. \u201cCCSimP-an Instruction-level Custom-Configurable Processor for FPLDs\u201d, in Field-Programmable Logic FPL\u2019 96, Lecture notes in Computer Science 1142 (R. Hartenstein, M. Gloessner and M. Servit editors), Springer, 1996, pp. 280\u2013289"},{"issue":"8\u20139","key":"97_CR11","doi-asserted-by":"publisher","first-page":"513","DOI":"10.1016\/S0141-9331(99)00059-9","volume":"23","author":"Z. Salcic","year":"1999","unstructured":"Salcic Z. and Mistry T. FLIX Environment for Generation of Custom-Configurable Machines in FPLDs for Embedded Applications, Elsevier Journal on Microprocessors and Microsystems, vol. 23(8\u20139), December 1999, pp. 513\u2013526","journal-title":"Elsevier Journal on Microprocessors and Microsystems"},{"key":"97_CR12","unstructured":"S.P. Peng, W. Luk and P.K.Y Cheung. Flexible instruction set processors. Proceedings CASES\u2019 00, November 17\u201319, 2000, San Jose, California"}],"container-title":["Lecture Notes in Computer Science","Field-Programmable Logic and Applications: Reconfigurable Computing Is Going Mainstream"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-46117-5_97","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,27]],"date-time":"2019-05-27T15:04:49Z","timestamp":1558969489000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-46117-5_97"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540441083","9783540461173"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/3-540-46117-5_97","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2002]]}}}