{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T20:17:14Z","timestamp":1725567434944},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540664574"},{"type":"electronic","value":"9783540483021"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1999]]},"DOI":"10.1007\/978-3-540-48302-1_33","type":"book-chapter","created":{"date-parts":[[2010,10,14]],"date-time":"2010-10-14T02:59:24Z","timestamp":1287025164000},"page":"323-332","source":"Crossref","is-referenced-by-count":0,"title":["Synthia: Synthesis of Interacting Automata Targeting LUT-based FPGAs"],"prefix":"10.1007","author":[{"given":"George A.","family":"Constantinides","sequence":"first","affiliation":[]},{"given":"Peter Y. K.","family":"Cheung","sequence":"additional","affiliation":[]},{"given":"Wayne","family":"Luk","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"33_CR1","volume-title":"Algebraic Structure Theory of Sequential Machines","author":"J. Hartmanis","year":"1966","unstructured":"Hartmanis, J., Stearns, R.E.: Algebraic Structure Theory of Sequential Machines. Prentice-Hall, Inc., Englewood Cliffs (1966)"},{"key":"33_CR2","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4615-3628-4","volume-title":"Sequential Logic Synthesis","author":"P. Ashar","year":"1992","unstructured":"Ashar, P., Devadas, S., Newton, A.R.: Sequential Logic Synthesis. Kluwer Academic Publishers, Dordrecht (1992)"},{"key":"33_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-63465-7_228","volume-title":"Field Programmable Logic and Applications","author":"K. Feske","year":"1997","unstructured":"Feske, K., Mulka, S., Koegst, M., Elst, G.: Technology-Driven FSM Partitioning for Synthesis of Large Sequential Circuits Targeting Lookup-Table Based FPGAs. In: Glesner, M., Luk, W. (eds.) FPL 1997. LNCS, vol.\u00a01304, Springer, Heidelberg (1997)"},{"key":"33_CR4","first-page":"390","volume-title":"Proc. EURO-DAC 1993","author":"W.L. Yang","year":"1993","unstructured":"Yang, W.L., Owens, R.M., Irwin, M.J.: Multi-way FSM decomposition based on interconnect complexity. In: Proc. EURO-DAC 1993, pp. 390\u2013395. IEEE, Piscataway (1993)"},{"key":"33_CR5","first-page":"1061","volume-title":"Proc. ISCAS 1995","author":"M.T. Kuo","year":"1995","unstructured":"Kuo, M.T., Liu, L.T., Cheng, C.K.: Finite State Machine Decomposition for I\/O Minimization. In: Proc. ISCAS 1995, vol.\u00a02, pp. 1061\u20131064. IEEE, Piscataway (1995)"},{"key":"33_CR6","unstructured":"Xilinx XC4000 Data Book, Xilinx Inc., San Jose (1991)"},{"key":"33_CR7","unstructured":"FLEX8000 Handbook, Altera Corp., San Jose (1994)"},{"key":"33_CR8","first-page":"97","volume-title":"Proc. GLSV 1994","author":"W.L. Yang","year":"1994","unstructured":"Yang, W.L., Owens, R.M., Irwin, M.J.: FPGA-based synthesis of FSMs through decomposition. In: Proc. GLSV 1994, pp. 97\u2013100. IEEE, Piscataway (1994)"},{"key":"33_CR9","unstructured":"Sentovich, E.M., Singh, K.J., Lavagno, L., Moon, C., Murgai, R., Saldanha, A., Savoj, H., Stephen, P.R., Brayton, R.K., Sangiovanni-Vincentelli, A.: SIS: A System for Sequential Circuit Synthesis. UCB\/ERL M92\/41 Memorandum, Berkeley (1992)"},{"key":"33_CR10","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4615-2345-1","volume-title":"Logic Synthesis for Field Programmable Gate Arrays","author":"R. Murgai","year":"1995","unstructured":"Murgai, R., Brayton, R.K., Sangiovanni-Vincentelli, A.: Logic Synthesis for Field Programmable Gate Arrays. Kluwer Academic Publishers, Dordrecht (1995)"},{"key":"33_CR11","unstructured":"Lin, B., Newton, A.R.: Synthesis of Multiple Level Logic from Symbolic High- Level Description Languages. In: Proc. VLSI 1989, Munich (1989)"},{"key":"33_CR12","unstructured":"FPGA Express Online Help. Synopsys, Inc"},{"key":"33_CR13","unstructured":"Xilinx Foundation Tools Online Help. Xilinx, Inc"},{"key":"33_CR14","unstructured":"Max+Plus II Online Help. Altera Corp"},{"key":"33_CR15","unstructured":"Synplify Users Manual. Synplicity, Inc. Sunnyvale (1998)"}],"container-title":["Lecture Notes in Computer Science","Field Programmable Logic and Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-48302-1_33","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,1,25]],"date-time":"2019-01-25T15:57:03Z","timestamp":1548431823000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-48302-1_33"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9783540664574","9783540483021"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-48302-1_33","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1999]]}}}