{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:55:05Z","timestamp":1725490505238},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540736226"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-73625-7_6","type":"book-chapter","created":{"date-parts":[[2007,8,29]],"date-time":"2007-08-29T12:49:21Z","timestamp":1188391761000},"page":"34-45","source":"Crossref","is-referenced-by-count":7,"title":["SC2SCFL: Automated SystemC to $SystemC^{\\mathbb{FL}}$ Translation"],"prefix":"10.1007","author":[{"given":"Ka Lok","family":"Man","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andrea","family":"Fedeli","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Michele","family":"Mercaldi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Menouer","family":"Boubekeur","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Michel","family":"Schellekens","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"6_CR1","unstructured":"IEEE: IEEE Standard for SystemC Language Reference Manual (IEEE STD 1666TM-2005). IEEE (2005)"},{"key":"6_CR2","unstructured":"$\\ensuremath{SystemC^{\\mathbb{FL}}}$ : $\\ensuremath{SystemC^{\\mathbb{FL}}}$ homepage http:\/\/digilander.libero.it\/systemcfl\/"},{"key":"6_CR3","volume-title":"The 12th Mediterranean Electrotechnical Conference MELECON","author":"K.L. Man","year":"2004","unstructured":"Man, K.L.: $\\ensuremath{SystemC^{\\mathbb{FL}}}$ : Formalization of SystemC. In: The 12th Mediterranean Electrotechnical Conference MELECON, Dubrovnik, Croatia, IEEE Computer Society Press, Los Alamitos (2004)"},{"key":"6_CR4","volume-title":"The 8th Euromicro Conference on Digital System Design DSD","author":"K.L. Man","year":"2005","unstructured":"Man, K.L.: Formal communication semantics of $\\ensuremath{SystemC^{\\mathbb{FL}}}$ . In: The 8th Euromicro Conference on Digital System Design DSD, Porto, Portugal, IEEE Computer Society Press, Los Alamitos (2005)"},{"key":"6_CR5","series-title":"Cambridge Tracts in Theoretical Computer Science","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511624193","volume-title":"Process Algebra","author":"J.C.M. Baeten","year":"1990","unstructured":"Baeten, J.C.M., Weijland, W.P.: Process Algebra. Cambridge Tracts in Theoretical Computer Science, vol.\u00a018. Cambridge University Press, Cambridge (1990)"},{"key":"6_CR6","doi-asserted-by":"publisher","first-page":"131","DOI":"10.1006\/inco.1994.1083","volume":"114","author":"X. Nicollin","year":"1994","unstructured":"Nicollin, X., Sifakis, J.: The algebra of timed processes, ATP: Theory and application. Information and Computation\u00a0114, 131\u2013178 (1994)","journal-title":"Information and Computation"},{"key":"6_CR7","unstructured":"Plotkin, G.D.: A structural approach to operational semantics. Technical Report DIAMI FN-19, Computer Science Department, Aarhus University (1981)"},{"key":"6_CR8","unstructured":"Man, K.L.: Formal verification of $\\ensuremath{SystemC^{\\mathbb{FL}}}$ specifications using SPIN. In: the 5th WSEAS International Conference on Microelectronics, Nanoelectronics and Optoelectronics MINO, Prague, Czech Republic, WSEAS (2006)"},{"key":"6_CR9","volume-title":"The SPIN Model Checker: Primer and Reference Manual","author":"G.J. Holzmann","year":"2003","unstructured":"Holzmann, G.J.: The SPIN Model Checker: Primer and Reference Manual. Addison Wesley Professional, Boston (2003)"},{"key":"6_CR10","unstructured":"Man, K.L.: Verifying $\\ensuremath{SystemC^{\\mathbb{FL}}}$ designs using the SMV model checker. In: DDECS. the 8th IEEE Workshop on Design and Diagnostics of Electronic Circuits and Systems, Sopron, Hungary (2005)"},{"key":"6_CR11","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4615-3190-6","volume-title":"Symbolic Model Checking","author":"K.L. McMillan","year":"1993","unstructured":"McMillan, K.L.: Symbolic Model Checking. Kluwer Academic Publisher, Dordrecht (1993)"},{"key":"6_CR12","unstructured":"Man, K.L.: Analyzing $\\ensuremath{SystemC^{\\mathbb{FL}}}$ designs using timed automata. In: BEC. the 9th IEEE Baltic Electronics Conference, Tallinn, Estonia (2004)"},{"key":"6_CR13","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1016\/0304-3975(94)90010-8","volume":"126","author":"R. Alur","year":"1994","unstructured":"Alur, R., Dill, D.: A theory of timed automata. Theoretical Computer Science\u00a0126, 183\u2013236 (1994)","journal-title":"Theoretical Computer Science"},{"issue":"1\u20132","key":"6_CR14","doi-asserted-by":"publisher","first-page":"134","DOI":"10.1007\/s100090050010","volume":"1","author":"K.G. Larsen","year":"1997","unstructured":"Larsen, K.G., Pettersson, P., Yi, W.: Uppaal in a Nutshell. Int. Journal on Software Tools for Technology Transfer\u00a01(1\u20132), 134\u2013152 (1997)","journal-title":"Int. Journal on Software Tools for Technology Transfer"},{"key":"6_CR15","unstructured":"Man, K.L.: Modeling with the formal language of SystemC: Case studies. In: the 11th IEEE International Conference Mixed Design of Integrated Circuits and Systems MIXDES, Szczecin, Poland (2004)"},{"key":"6_CR16","volume-title":"The 2nd East-West Design & Test Workshop EWDTW","author":"K.L. Man","year":"2006","unstructured":"Man, K.L., Fedeli, A., Mercaldi, M., Schellekens, M.P.: $\\ensuremath{SystemC^{\\mathbb{FL}}}$ : An infrastructure for a tlm formal verification proposal (with an overview on a tool set for practical formal verification of systemc descriptions). In: The 2nd East-West Design & Test Workshop EWDTW, Sochi, Russia, IEEE Computer Society Press, Los Alamitos (2006)"},{"key":"6_CR17","unstructured":"Castillo, J., Huerta, P., Martnez, J.: An open-source tool for SystemC to Verilog automatic translation. Journal of Latin American Applied Research (accepted for publication, 2007)"},{"key":"6_CR18","unstructured":"NuSMV: NuSMV Model Checker User Manual (2006), http:\/\/nusmv.irst.itc.it\/"},{"key":"6_CR19","unstructured":"Man, K.L.: An overview on sc2scfl. Draft paper (2007), http:\/\/digilander.libero.it\/systemcfl\/"},{"key":"6_CR20","unstructured":"SystemC: SystemC User Guide and SystemC Language Reference Manual (Version 2.0), http:\/\/www.systemc.org"},{"key":"6_CR21","volume-title":"Int. Symposium on Circuits and Systems ISCAS","author":"R. Drechsler","year":"2003","unstructured":"Drechsler, R., Gro\u00dfe, D.: Formal verification of ltl formulas for SystemC designs. In: Int. Symposium on Circuits and Systems ISCAS, Bangkok, Thailand, IEEE Computer Society Press, Los Alamitos (2003)"}],"container-title":["Lecture Notes in Computer Science","Embedded Computer Systems: Architectures, Modeling, and Simulation"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-73625-7_6.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,8,22]],"date-time":"2021-08-22T14:11:32Z","timestamp":1629641492000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-73625-7_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540736226"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-73625-7_6","relation":{},"subject":[]}}