SHIM: a deterministic model for heterogeneous embedded systems
Typical embedded hardware/software systems are implemented using a combination of C and an HDL such as Verilog. While each is well-behaved in isolation, combining the two gives a nondeterministic model of computation whose ultimate behavior must be validated through expensive (cycle-accurate) simula...
Gespeichert in:
| Veröffentlicht in: | IEEE transactions on very large scale integration (VLSI) systems 2006-08, Vol.14 (8), p.854-867 |
|---|---|
| Hauptverfasser: | , |
| Format: | Artikel |
| Sprache: | eng |
| Schlagworte: | |
| Online-Zugang: | Volltext bestellen |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| container_end_page | 867 |
|---|---|
| container_issue | 8 |
| container_start_page | 854 |
| container_title | IEEE transactions on very large scale integration (VLSI) systems |
| container_volume | 14 |
| creator | Edwards, S.A. Tardieu, O. |
| description | Typical embedded hardware/software systems are implemented using a combination of C and an HDL such as Verilog. While each is well-behaved in isolation, combining the two gives a nondeterministic model of computation whose ultimate behavior must be validated through expensive (cycle-accurate) simulation. We propose an alternative for describing such systems. Our software/hardware integration medium (shim) model, effectively Kahn networks with rendezvous communication, provides deterministic concurrency. We present the Tiny-shim language for such systems and its semantics, demonstrate how to implement it in hardware and software, and discuss how it can be used to model a real-world system. By providing a powerful, deterministic formalism for expressing systems, designing systems, and verifying their correctness will become easier |
| doi_str_mv | 10.1109/TVLSI.2006.878473 |
| format | Article |
| fullrecord | <record><control><sourceid>proquest_RIE</sourceid><recordid>TN_cdi_crossref_primary_10_1109_TVLSI_2006_878473</recordid><sourceformat>XML</sourceformat><sourcesystem>PC</sourcesystem><ieee_id>1664906</ieee_id><sourcerecordid>2544643011</sourcerecordid><originalsourceid>FETCH-LOGICAL-c367t-1531a2be7af102b08b25aa9a928ce5551b3389fd78a8f5d87888e256e51a98ec3</originalsourceid><addsrcrecordid>eNpdkE1PwzAMQCMEEmPwAxCXiAunjjhp2oQDEpr4mDTEYYNrlLYudGqXkXSH_XuyFQkJX2xZz5b9CLkENgFg-nb5MV_MJpyxbKJylebiiIxAyjzRMY5jzTKRKA7slJyFsGIM0lSzEblfvMxe76ilFfbou2bdhL4paecqbGntPP3a990nrtFtA8WuwKrCioZd6LEL5-Sktm3Ai988Ju9Pj8vpSzJ_e55NH-ZJKbK8T0AKsLzA3NbAeMFUwaW12mquSpRSQiGE0nWVK6tqWcUPlEIuM5RgtcJSjMnNsHfj3fcWQ2-6JpTYtvZwl1FKpyKPEcnrf-TKbf06Hmc0cM4UAxEhGKDSuxA81mbjm876nQFm9j7NwafZ-zSDzzhzNcw0iPjHZ1n0mIkfLYdwcA</addsrcrecordid><sourcetype>Aggregation Database</sourcetype><iscdi>true</iscdi><recordtype>article</recordtype><pqid>912208013</pqid></control><display><type>article</type><title>SHIM: a deterministic model for heterogeneous embedded systems</title><source>IEEE Electronic Library (IEL)</source><creator>Edwards, S.A. ; Tardieu, O.</creator><creatorcontrib>Edwards, S.A. ; Tardieu, O.</creatorcontrib><description>Typical embedded hardware/software systems are implemented using a combination of C and an HDL such as Verilog. While each is well-behaved in isolation, combining the two gives a nondeterministic model of computation whose ultimate behavior must be validated through expensive (cycle-accurate) simulation. We propose an alternative for describing such systems. Our software/hardware integration medium (shim) model, effectively Kahn networks with rendezvous communication, provides deterministic concurrency. We present the Tiny-shim language for such systems and its semantics, demonstrate how to implement it in hardware and software, and discuss how it can be used to model a real-world system. By providing a powerful, deterministic formalism for expressing systems, designing systems, and verifying their correctness will become easier</description><identifier>ISSN: 1063-8210</identifier><identifier>EISSN: 1557-9999</identifier><identifier>DOI: 10.1109/TVLSI.2006.878473</identifier><identifier>CODEN: IEVSE9</identifier><language>eng</language><publisher>New York: IEEE</publisher><subject>C (programming language) ; Circuit synthesis ; Computational modeling ; Computer programs ; Concurrent computing ; Deterministic model of computation ; Embedded software ; Embedded system ; Formalism ; Hardware ; Hardware design languages ; hardware synthesis ; hardware/software codesign ; Logic ; Mathematical models ; Power system modeling ; Semantics ; Software ; software synthesis ; Software systems ; Timing ; Very large scale integration</subject><ispartof>IEEE transactions on very large scale integration (VLSI) systems, 2006-08, Vol.14 (8), p.854-867</ispartof><rights>Copyright The Institute of Electrical and Electronics Engineers, Inc. (IEEE) 2006</rights><lds50>peer_reviewed</lds50><oa>free_for_read</oa><woscitedreferencessubscribed>false</woscitedreferencessubscribed><citedby>FETCH-LOGICAL-c367t-1531a2be7af102b08b25aa9a928ce5551b3389fd78a8f5d87888e256e51a98ec3</citedby><cites>FETCH-LOGICAL-c367t-1531a2be7af102b08b25aa9a928ce5551b3389fd78a8f5d87888e256e51a98ec3</cites></display><links><openurl>$$Topenurl_article</openurl><openurlfulltext>$$Topenurlfull_article</openurlfulltext><thumbnail>$$Tsyndetics_thumb_exl</thumbnail><linktohtml>$$Uhttps://ieeexplore.ieee.org/document/1664906$$EHTML$$P50$$Gieee$$H</linktohtml><link.rule.ids>314,780,784,796,27924,27925,54758</link.rule.ids><linktorsrc>$$Uhttps://ieeexplore.ieee.org/document/1664906$$EView_record_in_IEEE$$FView_record_in_$$GIEEE</linktorsrc></links><search><creatorcontrib>Edwards, S.A.</creatorcontrib><creatorcontrib>Tardieu, O.</creatorcontrib><title>SHIM: a deterministic model for heterogeneous embedded systems</title><title>IEEE transactions on very large scale integration (VLSI) systems</title><addtitle>TVLSI</addtitle><description>Typical embedded hardware/software systems are implemented using a combination of C and an HDL such as Verilog. While each is well-behaved in isolation, combining the two gives a nondeterministic model of computation whose ultimate behavior must be validated through expensive (cycle-accurate) simulation. We propose an alternative for describing such systems. Our software/hardware integration medium (shim) model, effectively Kahn networks with rendezvous communication, provides deterministic concurrency. We present the Tiny-shim language for such systems and its semantics, demonstrate how to implement it in hardware and software, and discuss how it can be used to model a real-world system. By providing a powerful, deterministic formalism for expressing systems, designing systems, and verifying their correctness will become easier</description><subject>C (programming language)</subject><subject>Circuit synthesis</subject><subject>Computational modeling</subject><subject>Computer programs</subject><subject>Concurrent computing</subject><subject>Deterministic model of computation</subject><subject>Embedded software</subject><subject>Embedded system</subject><subject>Formalism</subject><subject>Hardware</subject><subject>Hardware design languages</subject><subject>hardware synthesis</subject><subject>hardware/software codesign</subject><subject>Logic</subject><subject>Mathematical models</subject><subject>Power system modeling</subject><subject>Semantics</subject><subject>Software</subject><subject>software synthesis</subject><subject>Software systems</subject><subject>Timing</subject><subject>Very large scale integration</subject><issn>1063-8210</issn><issn>1557-9999</issn><fulltext>true</fulltext><rsrctype>article</rsrctype><creationdate>2006</creationdate><recordtype>article</recordtype><sourceid>RIE</sourceid><recordid>eNpdkE1PwzAMQCMEEmPwAxCXiAunjjhp2oQDEpr4mDTEYYNrlLYudGqXkXSH_XuyFQkJX2xZz5b9CLkENgFg-nb5MV_MJpyxbKJylebiiIxAyjzRMY5jzTKRKA7slJyFsGIM0lSzEblfvMxe76ilFfbou2bdhL4paecqbGntPP3a990nrtFtA8WuwKrCioZd6LEL5-Sktm3Ai988Ju9Pj8vpSzJ_e55NH-ZJKbK8T0AKsLzA3NbAeMFUwaW12mquSpRSQiGE0nWVK6tqWcUPlEIuM5RgtcJSjMnNsHfj3fcWQ2-6JpTYtvZwl1FKpyKPEcnrf-TKbf06Hmc0cM4UAxEhGKDSuxA81mbjm876nQFm9j7NwafZ-zSDzzhzNcw0iPjHZ1n0mIkfLYdwcA</recordid><startdate>20060801</startdate><enddate>20060801</enddate><creator>Edwards, S.A.</creator><creator>Tardieu, O.</creator><general>IEEE</general><general>The Institute of Electrical and Electronics Engineers, Inc. (IEEE)</general><scope>97E</scope><scope>RIA</scope><scope>RIE</scope><scope>AAYXX</scope><scope>CITATION</scope><scope>7SP</scope><scope>8FD</scope><scope>L7M</scope><scope>F28</scope><scope>FR3</scope></search><sort><creationdate>20060801</creationdate><title>SHIM: a deterministic model for heterogeneous embedded systems</title><author>Edwards, S.A. ; Tardieu, O.</author></sort><facets><frbrtype>5</frbrtype><frbrgroupid>cdi_FETCH-LOGICAL-c367t-1531a2be7af102b08b25aa9a928ce5551b3389fd78a8f5d87888e256e51a98ec3</frbrgroupid><rsrctype>articles</rsrctype><prefilter>articles</prefilter><language>eng</language><creationdate>2006</creationdate><topic>C (programming language)</topic><topic>Circuit synthesis</topic><topic>Computational modeling</topic><topic>Computer programs</topic><topic>Concurrent computing</topic><topic>Deterministic model of computation</topic><topic>Embedded software</topic><topic>Embedded system</topic><topic>Formalism</topic><topic>Hardware</topic><topic>Hardware design languages</topic><topic>hardware synthesis</topic><topic>hardware/software codesign</topic><topic>Logic</topic><topic>Mathematical models</topic><topic>Power system modeling</topic><topic>Semantics</topic><topic>Software</topic><topic>software synthesis</topic><topic>Software systems</topic><topic>Timing</topic><topic>Very large scale integration</topic><toplevel>peer_reviewed</toplevel><toplevel>online_resources</toplevel><creatorcontrib>Edwards, S.A.</creatorcontrib><creatorcontrib>Tardieu, O.</creatorcontrib><collection>IEEE All-Society Periodicals Package (ASPP) 2005-present</collection><collection>IEEE All-Society Periodicals Package (ASPP) 1998-Present</collection><collection>IEEE Electronic Library (IEL)</collection><collection>CrossRef</collection><collection>Electronics & Communications Abstracts</collection><collection>Technology Research Database</collection><collection>Advanced Technologies Database with Aerospace</collection><collection>ANTE: Abstracts in New Technology & Engineering</collection><collection>Engineering Research Database</collection><jtitle>IEEE transactions on very large scale integration (VLSI) systems</jtitle></facets><delivery><delcategory>Remote Search Resource</delcategory><fulltext>fulltext_linktorsrc</fulltext></delivery><addata><au>Edwards, S.A.</au><au>Tardieu, O.</au><format>journal</format><genre>article</genre><ristype>JOUR</ristype><atitle>SHIM: a deterministic model for heterogeneous embedded systems</atitle><jtitle>IEEE transactions on very large scale integration (VLSI) systems</jtitle><stitle>TVLSI</stitle><date>2006-08-01</date><risdate>2006</risdate><volume>14</volume><issue>8</issue><spage>854</spage><epage>867</epage><pages>854-867</pages><issn>1063-8210</issn><eissn>1557-9999</eissn><coden>IEVSE9</coden><abstract>Typical embedded hardware/software systems are implemented using a combination of C and an HDL such as Verilog. While each is well-behaved in isolation, combining the two gives a nondeterministic model of computation whose ultimate behavior must be validated through expensive (cycle-accurate) simulation. We propose an alternative for describing such systems. Our software/hardware integration medium (shim) model, effectively Kahn networks with rendezvous communication, provides deterministic concurrency. We present the Tiny-shim language for such systems and its semantics, demonstrate how to implement it in hardware and software, and discuss how it can be used to model a real-world system. By providing a powerful, deterministic formalism for expressing systems, designing systems, and verifying their correctness will become easier</abstract><cop>New York</cop><pub>IEEE</pub><doi>10.1109/TVLSI.2006.878473</doi><tpages>14</tpages><oa>free_for_read</oa></addata></record> |
| fulltext | fulltext_linktorsrc |
| identifier | ISSN: 1063-8210 |
| ispartof | IEEE transactions on very large scale integration (VLSI) systems, 2006-08, Vol.14 (8), p.854-867 |
| issn | 1063-8210 1557-9999 |
| language | eng |
| recordid | cdi_crossref_primary_10_1109_TVLSI_2006_878473 |
| source | IEEE Electronic Library (IEL) |
| subjects | C (programming language) Circuit synthesis Computational modeling Computer programs Concurrent computing Deterministic model of computation Embedded software Embedded system Formalism Hardware Hardware design languages hardware synthesis hardware/software codesign Logic Mathematical models Power system modeling Semantics Software software synthesis Software systems Timing Very large scale integration |
| title | SHIM: a deterministic model for heterogeneous embedded systems |
| url | https://sfx.bib-bvb.de/sfx_tum?ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&ctx_tim=2024-12-26T08%3A26%3A21IST&url_ver=Z39.88-2004&url_ctx_fmt=infofi/fmt:kev:mtx:ctx&rfr_id=info:sid/primo.exlibrisgroup.com:primo3-Article-proquest_RIE&rft_val_fmt=info:ofi/fmt:kev:mtx:journal&rft.genre=article&rft.atitle=SHIM:%20a%20deterministic%20model%20for%20heterogeneous%20embedded%20systems&rft.jtitle=IEEE%20transactions%20on%20very%20large%20scale%20integration%20(VLSI)%20systems&rft.au=Edwards,%20S.A.&rft.date=2006-08-01&rft.volume=14&rft.issue=8&rft.spage=854&rft.epage=867&rft.pages=854-867&rft.issn=1063-8210&rft.eissn=1557-9999&rft.coden=IEVSE9&rft_id=info:doi/10.1109/TVLSI.2006.878473&rft_dat=%3Cproquest_RIE%3E2544643011%3C/proquest_RIE%3E%3Curl%3E%3C/url%3E&disable_directlink=true&sfx.directlink=off&sfx.report_link=0&rft_id=info:oai/&rft_pqid=912208013&rft_id=info:pmid/&rft_ieee_id=1664906&rfr_iscdi=true |