System Level Design and Verification Using a Synchronous Language
Synchronous languages such as Esterel, Lustre, Signal, andothers were originally developed for safety-critical embedded software and compiled into C. They have recently been extended to hardware with new language features and compilers to RTL. Contrary to traditional HDL languages (Verilog, VHDL) an...
Saved in:
| Abstract | Synchronous languages such as Esterel, Lustre, Signal, andothers were originally developed for safety-critical embedded software and compiled into C. They have recently been extended to hardware with new language features and compilers to RTL. Contrary to traditional HDL languages (Verilog, VHDL) and recent system-level languages (SystemC, System Verilog), they have well defined formal semantics,which facilitate bug avoidance using correct-by-constructioncompilation and verification techniques.The tutorial will demonstrate what the synchronous language offers for the modeling, design, analysis and implementation of systems that comprise hardware and software.It will be based on Esterel. Esterel models have proved tobe useful for rapid design space exploration and verificationat system level, without resorting to detailed implementation and slow bit-level event-based simulation. We show how to model control-dominated IP blocks at a higher levelof abstraction and how to use the target C code or RTL inconjunction with other system-level tools. Case studies include examples of design space exploration by synthesizing equivalent hardware or software from the same Esterel description, with formal verification of safety properties such as bus protocol conformance. We conclude with a review of future research directions. |
|---|---|
| AbstractList | Synchronous languages such as Esterel, Lustre, Signal, andothers were originally developed for safety-critical embedded software and compiled into C. They have recently been extended to hardware with new language features and compilers to RTL. Contrary to traditional HDL languages (Verilog, VHDL) and recent system-level languages (SystemC, System Verilog), they have well defined formal semantics,which facilitate bug avoidance using correct-by-constructioncompilation and verification techniques.The tutorial will demonstrate what the synchronous language offers for the modeling, design, analysis and implementation of systems that comprise hardware and software.It will be based on Esterel. Esterel models have proved tobe useful for rapid design space exploration and verificationat system level, without resorting to detailed implementation and slow bit-level event-based simulation. We show how to model control-dominated IP blocks at a higher levelof abstraction and how to use the target C code or RTL inconjunction with other system-level tools. Case studies include examples of design space exploration by synthesizing equivalent hardware or software from the same Esterel description, with formal verification of safety properties such as bus protocol conformance. We conclude with a review of future research directions. |
| Author | Kishinevsky, Michael Singh, Satnam Berry, Gérard |
| Author_xml | – sequence: 1 givenname: Gérard surname: Berry fullname: Berry, Gérard organization: Esterel Technologies, France – sequence: 2 givenname: Michael surname: Kishinevsky fullname: Kishinevsky, Michael organization: Intel Corp., Hillsboro, OR – sequence: 3 givenname: Satnam surname: Singh fullname: Singh, Satnam organization: Xilinx, San Jose, CA |
| BookMark | eNqNkD1PwzAURS0BEqV0ZfYEU8p7iZPYY1U-pUgMpayW7drBkDoQp0j99xi1P4C73OXo6upckNPQB0vIFcK8TLkVooIa5gggRF6dkJmoOZYcsairHE7JBEHkWYFlfk5mMX5ACitZBWxCFqt9HO2WNvbHdvTORt8GqsKGvtnBO2_U6PtA19GHliq62gfzPvSh30XaqNDuVGsvyZlTXbSzY0_J-uH-dfmUNS-Pz8tFkynk1ZgpDgwcF6bYpL8lE67WimuHwARorJjQ3Cnucq1ckSDtNqasRW2cZqYUWEzJ9WH3a-i_dzaOcuujsV2ngk1_ZIEVogCRwJsDqMxW6r7_jBJB_pmSB1PyaCqR2f9IqQdvXfELlu9osw |
| ContentType | Conference Proceeding |
| DBID | 7SC 8FD JQ2 L7M L~C L~D |
| DOI | 10.5555/996070.1009926 |
| DatabaseName | Computer and Information Systems Abstracts Technology Research Database ProQuest Computer Science Collection Advanced Technologies Database with Aerospace Computer and Information Systems Abstracts Academic Computer and Information Systems Abstracts Professional |
| DatabaseTitle | Computer and Information Systems Abstracts Technology Research Database Computer and Information Systems Abstracts – Academic Advanced Technologies Database with Aerospace ProQuest Computer Science Collection Computer and Information Systems Abstracts Professional |
| DatabaseTitleList | Computer and Information Systems Abstracts |
| DeliveryMethod | fulltext_linktorsrc |
| Discipline | Engineering |
| EndPage | 433 |
| Genre | Conference Paper |
| GroupedDBID | 6IE 6IH 6IK 6IL AAJGR AAVQY ACM ADPZR ALMA_UNASSIGNED_HOLDINGS APO BEFXN BFFAM BGNUA BKEBE BPEOZ CBEJK GUFHI IERZE OCL RIB RIC RIE RIL RIO 6IN 7SC 8FD AAWTH ADZIZ CHZPO FEDTE JQ2 L7M L~C L~D |
| ID | FETCH-LOGICAL-a186t-a8040f89c3d996549f7ba8bf10490b1649b8fa8f2baf3c3dbfdc5797cfb4c5913 |
| ISBN | 9781581137620 1581137621 |
| ISICitedReferencesCount | 16 |
| ISICitedReferencesURI | http://www.webofscience.com/api/gateway?GWVersion=2&SrcApp=Summon&SrcAuth=ProQuest&DestLinkType=CitingArticles&DestApp=WOS_CPL&KeyUT=000189006100067&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D |
| ISSN | 1092-3152 |
| IngestDate | Thu Jul 10 18:39:42 EDT 2025 Wed Jan 31 06:39:11 EST 2024 |
| IsPeerReviewed | false |
| IsScholarly | false |
| Language | English |
| LinkModel | OpenURL |
| MeetingName | ICCAD03: The International Conference on Computer-Aided Design |
| MergedId | FETCHMERGED-LOGICAL-a186t-a8040f89c3d996549f7ba8bf10490b1649b8fa8f2baf3c3dbfdc5797cfb4c5913 |
| Notes | SourceType-Conference Papers & Proceedings-1 ObjectType-Conference Paper-1 content type line 25 |
| PQID | 31611909 |
| PQPubID | 23500 |
| PageCount | 1 |
| ParticipantIDs | acm_books_10_5555_996070_1009926 proquest_miscellaneous_31611909 acm_books_10_5555_996070_1009926_brief |
| PublicationCentury | 2000 |
| PublicationDate | 20031109 |
| PublicationDateYYYYMMDD | 2003-11-09 |
| PublicationDate_xml | – month: 11 year: 2003 text: 20031109 day: 09 |
| PublicationDecade | 2000 |
| PublicationPlace | Washington, DC, USA |
| PublicationPlace_xml | – name: Washington, DC, USA |
| PublicationSeriesTitle | ACM Conferences |
| PublicationTitle | International Conference on Computer Aided Design: Proceedings of the 2003 IEEE/ACM international conference on Computer-aided design; 09-13 Nov. 2003 |
| PublicationYear | 2003 |
| Publisher | IEEE Computer Society |
| Publisher_xml | – name: IEEE Computer Society |
| SSID | ssj0000454604 ssj0020286 |
| Score | 1.3682411 |
| Snippet | Synchronous languages such as Esterel, Lustre, Signal, andothers were originally developed for safety-critical embedded software and compiled into C. They have... |
| SourceID | proquest acm |
| SourceType | Aggregation Database Publisher |
| StartPage | 433 |
| SubjectTerms | Computer systems organization -- Embedded and cyber-physical systems -- Embedded systems Software and its engineering -- Software notations and tools -- Context specific languages -- Specialized application languages Software and its engineering -- Software notations and tools -- General programming languages -- Language types -- Concurrent programming languages Software and its engineering -- Software notations and tools -- General programming languages -- Language types -- Distributed programming languages Software and its engineering -- Software notations and tools -- General programming languages -- Language types -- Parallel programming languages Software and its engineering -- Software organization and properties -- Software system structures -- Embedded software Software and its engineering -- Software organization and properties -- Software system structures -- Real-time systems software |
| Title | System Level Design and Verification Using a Synchronous Language |
| URI | https://www.proquest.com/docview/31611909 |
| WOSCitedRecordID | wos000189006100067&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D |
| hasFullText | 1 |
| inHoldings | 1 |
| isFullTextHit | |
| isPrint | |
| link | http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwtV1LbxMxELbSigOceBQRKOAD6mW1sJvN1vYRqhYOS6hEWuVm2eu1iNRuS5JG5V_xE5mxvY-USBUHclglq81oMp9jz4xnPhPyzubK8MwmcW4qAwFKamJumcGPvIIlyiSOiem8YJMJn83E6WDwu-mFWV-wuua3t-L6v0IN9wBsbJ39B7hboXAD3gPocAXY4XrHI966-Gym-LqGPtwVaI5wiD7OwWYw12D1BuYETltJy6ZoAMvJIgwFkXHh6KvjlejkllvlxsrJNUHupwgPQciiydX6vZPXH5-eKj0qsGgpaOI2Ms7BRjYkEiNf0KCi77_qEll8sV63CBnWNpFQLXwpwGfspTZdUQEm16p1SA732wMwoQRyf_iM-KpWlxu5j8w1AYqNEDjNeZrCLDlKerN4IpCJ0VPj3l0jcnhhWQiEbswViQgx2kLGPfkmT86KQk6PZ9OD658xnlOG-_nh0JYdssNY4vsF25we0hk6rpsQ8IPv5rrbGnWwsbBRNw18Y636nlEUtfuwqRv6TeXlX76Cc4Cmj8leN5JoN1qekEFVPyWPeqyWz2CldtBSBy310FKAlvahpQ5aqmgPWtpAu0fOTo6nR1_icFJHrFJ-uIoVh7XAclFmBnTPx8Iyrbi2Ke4ra4jIheZWcTvSymbwkLamzJlgpdXjMhdp9pzs1ld19YLQQ3AeLHjpCS_FWDMtdCIMhAWJHcH3x2xIKFhD4h9uKSGCRYNJbzAZDDYkB_c9IvViXtkhedvYVMKsiltlqq7g98oMAiFwlcXLe594RR52I3Of7K4WN9Vr8qBcr-bLxRs3Pv4A0g2NZQ |
| linkProvider | IEEE |
| openUrl | ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook&rft.genre=proceeding&rft.title=International+Conference+on+Computer+Aided+Design%3A+Proceedings+of+the+2003+IEEE%2FACM+international+conference+on+Computer-aided+design%3B+09-13+Nov.+2003&rft.atitle=System+Level+Design+and+Verification+Using+a+Synchronous+Language&rft.au=Berry%2C+Gerard&rft.au=Kishinevsky%2C+Michael&rft.au=Singh%2C+Satnam&rft.date=2003-11-09&rft.isbn=9781581137620&rft.issn=1092-3152&rft_id=info:doi/10.5555%2F996070.1009926&rft.externalDBID=NO_FULL_TEXT |
| thumbnail_l | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/lc.gif&issn=1092-3152&client=summon |
| thumbnail_m | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/mc.gif&issn=1092-3152&client=summon |
| thumbnail_s | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/sc.gif&issn=1092-3152&client=summon |