On the Reuse of RTL IPs for SysML Model Generation
Model-based design is getting more and more consensus in the today embedded system design flows. In this context, SysML is becoming the de-facto reference modeling language as it allows designers to model a whole system, both HW and SW, at high levels of abstraction. The SysML description can be def...
Gespeichert in:
Hauptverfasser: | , , , |
---|---|
Format: | Tagungsbericht |
Sprache: | eng |
Schlagworte: | |
Online-Zugang: | Volltext bestellen |
Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
container_end_page | 59 |
---|---|
container_issue | |
container_start_page | 54 |
container_title | |
container_volume | |
creator | Bombieri, N. Ebeid, E. S. M. Fummi, F. Lora, M. |
description | Model-based design is getting more and more consensus in the today embedded system design flows. In this context, SysML is becoming the de-facto reference modeling language as it allows designers to model a whole system, both HW and SW, at high levels of abstraction. The SysML description can be defined with different levels of detail, each one suitable to the design and functional verification requirements. In this paper, we propose a methodology for abstracting existing RTL IPs into SysML components. During the abstraction flow, it is possible to set the level of detail to be maintained in SysML, such as, hierarchical structure and data types of the IPs. However, the generated SysML models are complete of both structural and behavioral descriptions and, thus, they can be synthesized into C++, SystemC, or Java executable code for simulation by any commercial tool. As a consequence, the methodology relieves designers from the modeling time and error risks especially for those design and functional verification phases in which the SysML model of the HW architecture is particularly structured and detailed. |
doi_str_mv | 10.1109/MTV.2012.10 |
format | Conference Proceeding |
fullrecord | <record><control><sourceid>ieee_6IE</sourceid><recordid>TN_cdi_ieee_primary_6519735</recordid><sourceformat>XML</sourceformat><sourcesystem>PC</sourcesystem><ieee_id>6519735</ieee_id><sourcerecordid>6519735</sourcerecordid><originalsourceid>FETCH-LOGICAL-i175t-80f86291c15a42ce7d22bbd1ab65eb13fabdd4cbd5bd9090c803e2ac8b1893193</originalsourceid><addsrcrecordid>eNotzLtOwzAUAFDzkkhLJ0YW_0DCvX7GI6qgVEpUVAJrZcc3IqgkKA5D_54BprMdxm4RCkRw93XzXghAUSCcsQVY47QqrTXnLBNSilwbqy7YApWxUimF7pJlqDXkCpy8ZquUPgEAQWpQKmNiN_D5g_iefhLxseP7puLbl8S7ceKvp1RXvB4jHfmGBpr83I_DDbvq_DHR6t8le3t6bNbPebXbbNcPVd6j1XNeQlca4bBF7ZVoyUYhQojog9EUUHY-xKjaEHWIDhy0JUgSvi0Dlk6ik0t29_f2RHT4nvovP50ORqOzUstfCVNFwQ</addsrcrecordid><sourcetype>Publisher</sourcetype><iscdi>true</iscdi><recordtype>conference_proceeding</recordtype></control><display><type>conference_proceeding</type><title>On the Reuse of RTL IPs for SysML Model Generation</title><source>IEEE Electronic Library (IEL) Conference Proceedings</source><creator>Bombieri, N. ; Ebeid, E. S. M. ; Fummi, F. ; Lora, M.</creator><creatorcontrib>Bombieri, N. ; Ebeid, E. S. M. ; Fummi, F. ; Lora, M.</creatorcontrib><description>Model-based design is getting more and more consensus in the today embedded system design flows. In this context, SysML is becoming the de-facto reference modeling language as it allows designers to model a whole system, both HW and SW, at high levels of abstraction. The SysML description can be defined with different levels of detail, each one suitable to the design and functional verification requirements. In this paper, we propose a methodology for abstracting existing RTL IPs into SysML components. During the abstraction flow, it is possible to set the level of detail to be maintained in SysML, such as, hierarchical structure and data types of the IPs. However, the generated SysML models are complete of both structural and behavioral descriptions and, thus, they can be synthesized into C++, SystemC, or Java executable code for simulation by any commercial tool. As a consequence, the methodology relieves designers from the modeling time and error risks especially for those design and functional verification phases in which the SysML model of the HW architecture is particularly structured and detailed.</description><identifier>ISSN: 1550-4093</identifier><identifier>ISBN: 1467344419</identifier><identifier>ISBN: 9781467344418</identifier><identifier>EISSN: 2332-5674</identifier><identifier>EISBN: 0769548776</identifier><identifier>EISBN: 9780769548777</identifier><identifier>DOI: 10.1109/MTV.2012.10</identifier><identifier>CODEN: IEEPAD</identifier><language>eng</language><publisher>IEEE</publisher><subject>C++ ; Register Transfer Level (RTL) ; System Modeling Language (SysML) ; SystemC ; Unified Modeling Language (UML)</subject><ispartof>2012 13th International Workshop on Microprocessor Test and Verification (MTV), 2012, p.54-59</ispartof><woscitedreferencessubscribed>false</woscitedreferencessubscribed></display><links><openurl>$$Topenurl_article</openurl><openurlfulltext>$$Topenurlfull_article</openurlfulltext><thumbnail>$$Tsyndetics_thumb_exl</thumbnail><linktohtml>$$Uhttps://ieeexplore.ieee.org/document/6519735$$EHTML$$P50$$Gieee$$H</linktohtml><link.rule.ids>309,310,777,781,786,787,2052,27906,54901</link.rule.ids><linktorsrc>$$Uhttps://ieeexplore.ieee.org/document/6519735$$EView_record_in_IEEE$$FView_record_in_$$GIEEE</linktorsrc></links><search><creatorcontrib>Bombieri, N.</creatorcontrib><creatorcontrib>Ebeid, E. S. M.</creatorcontrib><creatorcontrib>Fummi, F.</creatorcontrib><creatorcontrib>Lora, M.</creatorcontrib><title>On the Reuse of RTL IPs for SysML Model Generation</title><title>2012 13th International Workshop on Microprocessor Test and Verification (MTV)</title><addtitle>mtv</addtitle><description>Model-based design is getting more and more consensus in the today embedded system design flows. In this context, SysML is becoming the de-facto reference modeling language as it allows designers to model a whole system, both HW and SW, at high levels of abstraction. The SysML description can be defined with different levels of detail, each one suitable to the design and functional verification requirements. In this paper, we propose a methodology for abstracting existing RTL IPs into SysML components. During the abstraction flow, it is possible to set the level of detail to be maintained in SysML, such as, hierarchical structure and data types of the IPs. However, the generated SysML models are complete of both structural and behavioral descriptions and, thus, they can be synthesized into C++, SystemC, or Java executable code for simulation by any commercial tool. As a consequence, the methodology relieves designers from the modeling time and error risks especially for those design and functional verification phases in which the SysML model of the HW architecture is particularly structured and detailed.</description><subject>C++</subject><subject>Register Transfer Level (RTL)</subject><subject>System Modeling Language (SysML)</subject><subject>SystemC</subject><subject>Unified Modeling Language (UML)</subject><issn>1550-4093</issn><issn>2332-5674</issn><isbn>1467344419</isbn><isbn>9781467344418</isbn><isbn>0769548776</isbn><isbn>9780769548777</isbn><fulltext>true</fulltext><rsrctype>conference_proceeding</rsrctype><creationdate>2012</creationdate><recordtype>conference_proceeding</recordtype><sourceid>6IE</sourceid><sourceid>RIE</sourceid><recordid>eNotzLtOwzAUAFDzkkhLJ0YW_0DCvX7GI6qgVEpUVAJrZcc3IqgkKA5D_54BprMdxm4RCkRw93XzXghAUSCcsQVY47QqrTXnLBNSilwbqy7YApWxUimF7pJlqDXkCpy8ZquUPgEAQWpQKmNiN_D5g_iefhLxseP7puLbl8S7ceKvp1RXvB4jHfmGBpr83I_DDbvq_DHR6t8le3t6bNbPebXbbNcPVd6j1XNeQlca4bBF7ZVoyUYhQojog9EUUHY-xKjaEHWIDhy0JUgSvi0Dlk6ik0t29_f2RHT4nvovP50ORqOzUstfCVNFwQ</recordid><startdate>201212</startdate><enddate>201212</enddate><creator>Bombieri, N.</creator><creator>Ebeid, E. S. M.</creator><creator>Fummi, F.</creator><creator>Lora, M.</creator><general>IEEE</general><scope>6IE</scope><scope>6IL</scope><scope>CBEJK</scope><scope>RIE</scope><scope>RIL</scope></search><sort><creationdate>201212</creationdate><title>On the Reuse of RTL IPs for SysML Model Generation</title><author>Bombieri, N. ; Ebeid, E. S. M. ; Fummi, F. ; Lora, M.</author></sort><facets><frbrtype>5</frbrtype><frbrgroupid>cdi_FETCH-LOGICAL-i175t-80f86291c15a42ce7d22bbd1ab65eb13fabdd4cbd5bd9090c803e2ac8b1893193</frbrgroupid><rsrctype>conference_proceedings</rsrctype><prefilter>conference_proceedings</prefilter><language>eng</language><creationdate>2012</creationdate><topic>C++</topic><topic>Register Transfer Level (RTL)</topic><topic>System Modeling Language (SysML)</topic><topic>SystemC</topic><topic>Unified Modeling Language (UML)</topic><toplevel>online_resources</toplevel><creatorcontrib>Bombieri, N.</creatorcontrib><creatorcontrib>Ebeid, E. S. M.</creatorcontrib><creatorcontrib>Fummi, F.</creatorcontrib><creatorcontrib>Lora, M.</creatorcontrib><collection>IEEE Electronic Library (IEL) Conference Proceedings</collection><collection>IEEE Proceedings Order Plan All Online (POP All Online) 1998-present by volume</collection><collection>IEEE Xplore All Conference Proceedings</collection><collection>IEEE/IET Electronic Library</collection><collection>IEEE Proceedings Order Plans (POP All) 1998-Present</collection></facets><delivery><delcategory>Remote Search Resource</delcategory><fulltext>fulltext_linktorsrc</fulltext></delivery><addata><au>Bombieri, N.</au><au>Ebeid, E. S. M.</au><au>Fummi, F.</au><au>Lora, M.</au><format>book</format><genre>proceeding</genre><ristype>CONF</ristype><atitle>On the Reuse of RTL IPs for SysML Model Generation</atitle><btitle>2012 13th International Workshop on Microprocessor Test and Verification (MTV)</btitle><stitle>mtv</stitle><date>2012-12</date><risdate>2012</risdate><spage>54</spage><epage>59</epage><pages>54-59</pages><issn>1550-4093</issn><eissn>2332-5674</eissn><isbn>1467344419</isbn><isbn>9781467344418</isbn><eisbn>0769548776</eisbn><eisbn>9780769548777</eisbn><coden>IEEPAD</coden><abstract>Model-based design is getting more and more consensus in the today embedded system design flows. In this context, SysML is becoming the de-facto reference modeling language as it allows designers to model a whole system, both HW and SW, at high levels of abstraction. The SysML description can be defined with different levels of detail, each one suitable to the design and functional verification requirements. In this paper, we propose a methodology for abstracting existing RTL IPs into SysML components. During the abstraction flow, it is possible to set the level of detail to be maintained in SysML, such as, hierarchical structure and data types of the IPs. However, the generated SysML models are complete of both structural and behavioral descriptions and, thus, they can be synthesized into C++, SystemC, or Java executable code for simulation by any commercial tool. As a consequence, the methodology relieves designers from the modeling time and error risks especially for those design and functional verification phases in which the SysML model of the HW architecture is particularly structured and detailed.</abstract><pub>IEEE</pub><doi>10.1109/MTV.2012.10</doi><tpages>6</tpages></addata></record> |
fulltext | fulltext_linktorsrc |
identifier | ISSN: 1550-4093 |
ispartof | 2012 13th International Workshop on Microprocessor Test and Verification (MTV), 2012, p.54-59 |
issn | 1550-4093 2332-5674 |
language | eng |
recordid | cdi_ieee_primary_6519735 |
source | IEEE Electronic Library (IEL) Conference Proceedings |
subjects | C++ Register Transfer Level (RTL) System Modeling Language (SysML) SystemC Unified Modeling Language (UML) |
title | On the Reuse of RTL IPs for SysML Model Generation |
url | https://sfx.bib-bvb.de/sfx_tum?ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&ctx_tim=2025-01-17T17%3A37%3A31IST&url_ver=Z39.88-2004&url_ctx_fmt=infofi/fmt:kev:mtx:ctx&rfr_id=info:sid/primo.exlibrisgroup.com:primo3-Article-ieee_6IE&rft_val_fmt=info:ofi/fmt:kev:mtx:book&rft.genre=proceeding&rft.atitle=On%20the%20Reuse%20of%20RTL%20IPs%20for%20SysML%20Model%20Generation&rft.btitle=2012%2013th%20International%20Workshop%20on%20Microprocessor%20Test%20and%20Verification%20(MTV)&rft.au=Bombieri,%20N.&rft.date=2012-12&rft.spage=54&rft.epage=59&rft.pages=54-59&rft.issn=1550-4093&rft.eissn=2332-5674&rft.isbn=1467344419&rft.isbn_list=9781467344418&rft.coden=IEEPAD&rft_id=info:doi/10.1109/MTV.2012.10&rft_dat=%3Cieee_6IE%3E6519735%3C/ieee_6IE%3E%3Curl%3E%3C/url%3E&rft.eisbn=0769548776&rft.eisbn_list=9780769548777&disable_directlink=true&sfx.directlink=off&sfx.report_link=0&rft_id=info:oai/&rft_id=info:pmid/&rft_ieee_id=6519735&rfr_iscdi=true |