{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,19]],"date-time":"2025-03-19T10:49:49Z","timestamp":1742381389543},"reference-count":43,"publisher":"Springer Science and Business Media LLC","issue":"1-2","license":[{"start":{"date-parts":[[2008,3,5]],"date-time":"2008-03-05T00:00:00Z","timestamp":1204675200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Des Autom Embed Syst"],"published-print":{"date-parts":[[2008,6]]},"DOI":"10.1007\/s10617-008-9012-4","type":"journal-article","created":{"date-parts":[[2008,3,4]],"date-time":"2008-03-04T10:47:50Z","timestamp":1204627670000},"page":"1-30","source":"Crossref","is-referenced-by-count":6,"title":["SML-Sys: a functional framework with multiple models of computation for modeling heterogeneous system"],"prefix":"10.1007","volume":"12","author":[{"given":"Deepak A.","family":"Mathaikutty","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hiren D.","family":"Patel","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sandeep K.","family":"Shukla","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Axel","family":"Jantsch","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2008,3,5]]},"reference":[{"key":"9012_CR1","unstructured":"Berry G (1999) The constructive semantics of pure Esterel. Draft Version 3"},{"key":"9012_CR2","doi-asserted-by":"crossref","unstructured":"Bjesse P, Claessen K, Sheeran M, Singh S (1998) Lava: Hardware design in Haskell. In: Proceedings of ACM international conference of functional programming (ICFP), ACM SIGPLAN","DOI":"10.1145\/289423.289440"},{"key":"9012_CR3","doi-asserted-by":"crossref","unstructured":"Bjur\u00e9us P, Jantsch A (2000) MASCOT: A specification and cosimulation method integrating data and control flow. In: Proceedings of design and test Europe (DATE) conference","DOI":"10.1145\/343647.343724"},{"key":"9012_CR4","unstructured":"Bluespec. Bluespec\u2019s website. http:\/\/www.bluespec.com\/"},{"key":"9012_CR5","series-title":"Cambridge mathematical textbooks","volume-title":"Introduction to lattices and order","author":"B Davey","year":"1990","unstructured":"Davey B, Priestly H (1990) Introduction to lattices and order. Cambridge mathematical textbooks. Cambridge University Press, Cambridge"},{"key":"9012_CR6","doi-asserted-by":"crossref","unstructured":"Dennis JB (1974) First version of a data flow procedure language. In: Programming symposium, proceedings colloque sur la programmation. Lecture notes in computer science vol 19, pp 362\u2013376","DOI":"10.1007\/3-540-06859-7_145"},{"issue":"9","key":"9012_CR7","doi-asserted-by":"crossref","first-page":"1321","DOI":"10.1109\/5.97301","volume":"79","author":"PL Guernic","year":"1991","unstructured":"Guernic PL, Gautier T, Borgne ML, de Marie C (1991) Programming real-time applications with SIGNAL. Proc IEEE 79(9):1321\u20131335","journal-title":"Proc IEEE"},{"issue":"8","key":"9012_CR8","doi-asserted-by":"crossref","first-page":"1261","DOI":"10.1109\/TCAD.2005.850819","volume":"24","author":"HD Patel","year":"2005","unstructured":"Patel HD, Shukla SK (2005) Towards a heterogeneous simulation kernel for system level models: A\u00a0systemc kernel for synchronous data flow models. IEEE Trans Comput Aided Des 24(8):1261\u20131271","journal-title":"IEEE Trans Comput Aided Des"},{"issue":"9","key":"9012_CR9","doi-asserted-by":"crossref","first-page":"1305","DOI":"10.1109\/5.97300","volume":"79","author":"N Halbwachs","year":"1991","unstructured":"Halbwachs N, Caspi P, Raymond P, Pilaud D (1991) The synchronous data flow programming language LUSTRE. Proc IEEE 79(9):1305\u20131320","journal-title":"Proc IEEE"},{"issue":"8","key":"9012_CR10","doi-asserted-by":"crossref","first-page":"666","DOI":"10.1145\/359576.359585","volume":"21","author":"CAR Hoare","year":"1978","unstructured":"Hoare CAR (1978) Communicating sequential processes. Commun ACM 21(8):666\u2013676","journal-title":"Commun ACM"},{"key":"9012_CR11","volume-title":"Modeling embedded systems and SOC\u2019s concurrency and time in models of computation","author":"A Jantsch","year":"2003","unstructured":"Jantsch A (2003) Modeling embedded systems and SOC\u2019s concurrency and time in models of computation. Morgan Kaufmann, San Mateo"},{"key":"9012_CR12","doi-asserted-by":"crossref","unstructured":"Jantsch A, Sander I, Wu W (2001) The usage of stochastic processes in embedded system specifications. In: Proceedings of 9th international symposium on hardware\/software codesign","DOI":"10.1145\/371636.371646"},{"key":"9012_CR13","volume-title":"Proceedings of the 3rd refinement workshop","author":"G Jones","year":"1991","unstructured":"Jones G, Sheeran M (1991) Relations and refinement in circuit design. In: Morgan C, Woodcock J (eds) Proceedings of the 3rd refinement workshop. Springer, Berlin"},{"key":"9012_CR14","unstructured":"Kahn G (1974) The semantics of a simple language for parallel programming. In: Proceedings of the IFIP congress"},{"issue":"7","key":"9012_CR15","doi-asserted-by":"crossref","first-page":"558","DOI":"10.1145\/359545.359563","volume":"21","author":"L Lamport","year":"1978","unstructured":"Lamport L (1978) Time, clocks and the ordering of events in a distributed system. Commun ACM 21(7):558\u2013565","journal-title":"Commun ACM"},{"key":"9012_CR16","unstructured":"Lee EA (1997) A denotational semantics for dataflow with firing. Technical Report UCB\/ERL M97\/3, Department of Electrical Engineering and Computer Science, University of California, Berkeley"},{"issue":"5","key":"9012_CR17","doi-asserted-by":"crossref","first-page":"773","DOI":"10.1109\/5.381846","volume":"83","author":"EA Lee","year":"1995","unstructured":"Lee EA, Parks TM (1995) Dataflow process networks. Proc IEEE 83(5):773\u2013801","journal-title":"Proc IEEE"},{"key":"9012_CR18","doi-asserted-by":"crossref","unstructured":"Lee EA, Sangiovanni-Vincentelli AL (1996) Comparing models of computation. In: Proceedings of the international conference on computer-aided design (ICCAD), pp 234\u2013241","DOI":"10.1109\/ICCAD.1996.569613"},{"key":"9012_CR19","doi-asserted-by":"crossref","first-page":"1217","DOI":"10.1109\/43.736561","volume":"17","author":"EA Lee","year":"1998","unstructured":"Lee EA, Sangiovanni-Vincentelli AL (1998) A Framework for Comparing Models of Computation. IEEE Trans Comput Aided Des Integr Circuits Syst 17:1217\u20131229","journal-title":"IEEE Trans Comput Aided Des Integr Circuits Syst"},{"issue":"1","key":"9012_CR20","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1109\/92.820756","volume":"8","author":"Y Li","year":"2000","unstructured":"Li Y, Leeser M (2000) HML, a novel hardware description language and its translation to VHDL. IEEE Trans Very Large Scale Integr (VLSI) Syst 8(1):1\u20138","journal-title":"IEEE Trans Very Large Scale Integr (VLSI) Syst"},{"key":"9012_CR21","doi-asserted-by":"crossref","unstructured":"Luk W, Wu T (1994) Toward a declarative framework for hardware-software. In: Proceedings of 3rd international workshop hardware\/software co-design, pp 181\u2013188","DOI":"10.1109\/HSC.1994.336708"},{"key":"9012_CR22","doi-asserted-by":"crossref","unstructured":"Matthews J, Cook B, Launchbury J (1998) Microprocessor specification in HAWK. In: Proceedings of IEEE international conference of computer languages, pp 90\u2013101","DOI":"10.1109\/ICCL.1998.674160"},{"key":"9012_CR23","series-title":"International series in computer science","volume-title":"Communication and concurrency","author":"R Milner","year":"1989","unstructured":"Milner R (1989) Communication and concurrency. International series in computer science. Prentice Hall, New York"},{"key":"9012_CR24","volume-title":"Cambridge MA","author":"R Milner","year":"1997","unstructured":"Milner R, Tofte M, Harper R, MacQueen D (1997) The definition of standard ML-revised. In: Cambridge MA. MIT Press, Cambridge"},{"key":"9012_CR25","unstructured":"Modeling a digital equalizer (2005) http:\/\/fermat.ece.vt.edu\/EWD\/Digital_Equalizer.htm"},{"key":"9012_CR26","unstructured":"Modeling a power state machine (2005) http:\/\/fermat.ece.vt.edu\/EWD\/Power_State_Machine.htm"},{"key":"9012_CR27","unstructured":"OSCI. SystemC website. http:\/\/www.systemc.org\/"},{"key":"9012_CR28","volume-title":"SystemC kernel extensions for heterogeneous system modeling\u2014A framework for multi-MoC modeling & simulation","author":"H Patel","year":"2004","unstructured":"Patel H, Shukla S (2004) SystemC kernel extensions for heterogeneous system modeling\u2014A framework for multi-MoC modeling & simulation. Kluwer Academic, Dordrecht"},{"key":"9012_CR29","unstructured":"Ptolemy Group. Ptolemy II website. http:\/\/ptolemy.eecs.berkeley.edu\/ptolemyII\/"},{"issue":"1","key":"9012_CR30","doi-asserted-by":"crossref","first-page":"17","DOI":"10.1109\/TCAD.2003.819898","volume":"23","author":"I Sander","year":"2004","unstructured":"Sander I, Jantsch A (2004) System modeling and transformational design refinement in ForSyDe. IEEE Trans Comput-Aided Des Integr Circuits Syst 23(1):17\u201332","journal-title":"IEEE Trans Comput-Aided Des Integr Circuits Syst"},{"key":"9012_CR31","volume-title":"Denotational semantics: A methodology for language development","author":"DA Schmidt","year":"1988","unstructured":"Schmidt DA (1988) Denotational semantics: A methodology for language development. McGraw-Hill, New York"},{"key":"9012_CR32","doi-asserted-by":"crossref","unstructured":"Sharp R, Mycroft A (2001) A higher level language for hardware synthesis. In: Proceedings of the 11th advanced research working conference on correct hardware design verification methods (CHARME)","DOI":"10.1007\/3-540-44798-9_20"},{"key":"9012_CR33","volume-title":"Denotational semantics","author":"JE Stoy","year":"1989","unstructured":"Stoy JE (1989) Denotational semantics, 5th edn. MIT Press, Cambridge","edition":"5"},{"key":"9012_CR34","unstructured":"SystemVerilog. System Verilog website. http:\/\/www.systemverilog.org\/"},{"key":"9012_CR35","unstructured":"Taha W, Hudak P, Wan Z (2001) Real-time FRP. In: Proceedings of international conference on functional programming (ICFP)"},{"key":"9012_CR36","unstructured":"Taha W, Hudak P, Wan Z (2002) Event-driven FRP. In: Proceedings of the 4th international symposium on practical aspects of declarative languages (PADL)"},{"key":"9012_CR37","doi-asserted-by":"crossref","first-page":"63","DOI":"10.1109\/HLDVT.2005.1568815","volume-title":"HLDVT \u201905: proceedings of the high-level design validation and test workshop, 2005. On Tenth IEEE international","author":"J-P Talpin","year":"2005","unstructured":"Talpin J-P, Shukla SK (2005) Automated clock inference for stream function-based system level specifications. In: HLDVT \u201905: proceedings of the high-level design validation and test workshop, 2005. On Tenth IEEE international. IEEE Computer Society, Washington pp 63\u201370"},{"key":"9012_CR38","volume-title":"Haskell\u2014the craft of functional programming","author":"S Thompson","year":"1999","unstructured":"Thompson S (1999) Haskell\u2014the craft of functional programming, 2nd edn. Addison\u2013Wesley, Reading","edition":"2"},{"key":"9012_CR39","unstructured":"UCI. SpecC website. http:\/\/www.ics.uci.edu\/~specc\/"},{"key":"9012_CR40","unstructured":"Verilog. Verilog website http:\/\/www.verilog.org\/"},{"key":"9012_CR41","unstructured":"VHDL. VHDL website. http:\/\/www.vhdl.org\/"},{"key":"9012_CR42","doi-asserted-by":"crossref","unstructured":"Wan Z (2000) Functional reactive programming from first principles. In: Proceedings of programming language design and implementation (PLDI)","DOI":"10.1145\/349299.349331"},{"key":"9012_CR43","doi-asserted-by":"crossref","unstructured":"Wu W, Sander I, Jantsch A (2000) Transformational system design based on a formal computational model and skeletons. In: Proceedings of the forum on specification and design languages conference (FDL)","DOI":"10.1007\/978-1-4757-3281-8_15"}],"container-title":["Design Automation for Embedded Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10617-008-9012-4.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10617-008-9012-4\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10617-008-9012-4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,30]],"date-time":"2019-05-30T15:29:33Z","timestamp":1559230173000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10617-008-9012-4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,3,5]]},"references-count":43,"journal-issue":{"issue":"1-2","published-print":{"date-parts":[[2008,6]]}},"alternative-id":["9012"],"URL":"https:\/\/doi.org\/10.1007\/s10617-008-9012-4","relation":{},"ISSN":["0929-5585","1572-8080"],"issn-type":[{"value":"0929-5585","type":"print"},{"value":"1572-8080","type":"electronic"}],"subject":[],"published":{"date-parts":[[2008,3,5]]}}}