Automating system construction by domain based approaches
Digital systems can be specified conveniently at the system level by a set of requirements the target system should meet. The problem about this kind of specification is that there is no algorithmic way to gain an efficient system architecture fulfilling these requirements in the general case. This...
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 | 342 |
|---|---|
| container_issue | |
| container_start_page | 336 |
| container_title | |
| container_volume | |
| creator | Agsteiner, K. Monjau, D. Schulze, S. |
| description | Digital systems can be specified conveniently at the system level by a set of requirements the target system should meet. The problem about this kind of specification is that there is no algorithmic way to gain an efficient system architecture fulfilling these requirements in the general case. This paper deals with the question of if restricting the design task to a single domain of systems, e.g. all RISC processors, instead of covering all digital systems can aid in solving this problem. We present an object-oriented approach for the description of a whole domain of digital systems and demonstrate how an abstract system specification can be transformed into a description of the target system in VHDL. Based on this approach we discuss the factors that influence the existence and complexity of an algorithm to derive an efficient implementation from an abstract system specification. |
| doi_str_mv | 10.1109/EURMIC.1997.617307 |
| format | Conference Proceeding |
| fullrecord | <record><control><sourceid>ieee_6IE</sourceid><recordid>TN_cdi_ieee_primary_617307</recordid><sourceformat>XML</sourceformat><sourcesystem>PC</sourcesystem><ieee_id>617307</ieee_id><sourcerecordid>617307</sourcerecordid><originalsourceid>FETCH-LOGICAL-i172t-ad5cef8787a09448a85a3796079be71cdc273c28d81c19ba5cddaa13c06f04ce3</originalsourceid><addsrcrecordid>eNotj8tqwzAUREUfUDfND2TlH7CrK1mvZTBpE0gplGYdriW5VakfWMrCf19DOps5MHBgCNkALQGoed6dPt4OdQnGqFKC4lTdkIxxJQsjqLglj1SDlhqYYXckA6pNIQXlD2Qd4w9dUglgXGTEbC9p6DCF_iuPc0y-y-3QxzRdbApDnzdz7pY9LITRuxzHcRrQfvv4RO5b_I1-_d8rcnrZfdb74vj-eqi3xyKAYqlAJ6xvtdIKqakqjVogV0ZSZRqvwDrLFLdMOw0WTIPCOocI3FLZ0sp6viKbqzd478_jFDqc5vP1NP8DOstKLA</addsrcrecordid><sourcetype>Publisher</sourcetype><iscdi>true</iscdi><recordtype>conference_proceeding</recordtype></control><display><type>conference_proceeding</type><title>Automating system construction by domain based approaches</title><source>IEEE Electronic Library (IEL) Conference Proceedings</source><creator>Agsteiner, K. ; Monjau, D. ; Schulze, S.</creator><creatorcontrib>Agsteiner, K. ; Monjau, D. ; Schulze, S.</creatorcontrib><description>Digital systems can be specified conveniently at the system level by a set of requirements the target system should meet. The problem about this kind of specification is that there is no algorithmic way to gain an efficient system architecture fulfilling these requirements in the general case. This paper deals with the question of if restricting the design task to a single domain of systems, e.g. all RISC processors, instead of covering all digital systems can aid in solving this problem. We present an object-oriented approach for the description of a whole domain of digital systems and demonstrate how an abstract system specification can be transformed into a description of the target system in VHDL. Based on this approach we discuss the factors that influence the existence and complexity of an algorithm to derive an efficient implementation from an abstract system specification.</description><identifier>ISSN: 1089-6503</identifier><identifier>ISBN: 0818681292</identifier><identifier>ISBN: 9780818681295</identifier><identifier>EISSN: 2376-9505</identifier><identifier>DOI: 10.1109/EURMIC.1997.617307</identifier><language>eng</language><publisher>IEEE</publisher><subject>Chemical technology ; Computer architecture ; Concrete ; Digital systems ; Formal verification ; Object oriented modeling ; Process design ; Reduced instruction set computing ; System-level design ; Virtual prototyping</subject><ispartof>EUROMICRO 97. Proceedings of the 23rd EUROMICRO Conference: New Frontiers of Information Technology (Cat. No.97TB100167), 1997, p.336-342</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/617307$$EHTML$$P50$$Gieee$$H</linktohtml><link.rule.ids>309,310,776,780,785,786,2051,4035,4036,27904,54899</link.rule.ids><linktorsrc>$$Uhttps://ieeexplore.ieee.org/document/617307$$EView_record_in_IEEE$$FView_record_in_$$GIEEE</linktorsrc></links><search><creatorcontrib>Agsteiner, K.</creatorcontrib><creatorcontrib>Monjau, D.</creatorcontrib><creatorcontrib>Schulze, S.</creatorcontrib><title>Automating system construction by domain based approaches</title><title>EUROMICRO 97. Proceedings of the 23rd EUROMICRO Conference: New Frontiers of Information Technology (Cat. No.97TB100167)</title><addtitle>EURMIC</addtitle><description>Digital systems can be specified conveniently at the system level by a set of requirements the target system should meet. The problem about this kind of specification is that there is no algorithmic way to gain an efficient system architecture fulfilling these requirements in the general case. This paper deals with the question of if restricting the design task to a single domain of systems, e.g. all RISC processors, instead of covering all digital systems can aid in solving this problem. We present an object-oriented approach for the description of a whole domain of digital systems and demonstrate how an abstract system specification can be transformed into a description of the target system in VHDL. Based on this approach we discuss the factors that influence the existence and complexity of an algorithm to derive an efficient implementation from an abstract system specification.</description><subject>Chemical technology</subject><subject>Computer architecture</subject><subject>Concrete</subject><subject>Digital systems</subject><subject>Formal verification</subject><subject>Object oriented modeling</subject><subject>Process design</subject><subject>Reduced instruction set computing</subject><subject>System-level design</subject><subject>Virtual prototyping</subject><issn>1089-6503</issn><issn>2376-9505</issn><isbn>0818681292</isbn><isbn>9780818681295</isbn><fulltext>true</fulltext><rsrctype>conference_proceeding</rsrctype><creationdate>1997</creationdate><recordtype>conference_proceeding</recordtype><sourceid>6IE</sourceid><sourceid>RIE</sourceid><recordid>eNotj8tqwzAUREUfUDfND2TlH7CrK1mvZTBpE0gplGYdriW5VakfWMrCf19DOps5MHBgCNkALQGoed6dPt4OdQnGqFKC4lTdkIxxJQsjqLglj1SDlhqYYXckA6pNIQXlD2Qd4w9dUglgXGTEbC9p6DCF_iuPc0y-y-3QxzRdbApDnzdz7pY9LITRuxzHcRrQfvv4RO5b_I1-_d8rcnrZfdb74vj-eqi3xyKAYqlAJ6xvtdIKqakqjVogV0ZSZRqvwDrLFLdMOw0WTIPCOocI3FLZ0sp6viKbqzd478_jFDqc5vP1NP8DOstKLA</recordid><startdate>1997</startdate><enddate>1997</enddate><creator>Agsteiner, K.</creator><creator>Monjau, D.</creator><creator>Schulze, S.</creator><general>IEEE</general><scope>6IE</scope><scope>6IL</scope><scope>CBEJK</scope><scope>RIE</scope><scope>RIL</scope></search><sort><creationdate>1997</creationdate><title>Automating system construction by domain based approaches</title><author>Agsteiner, K. ; Monjau, D. ; Schulze, S.</author></sort><facets><frbrtype>5</frbrtype><frbrgroupid>cdi_FETCH-LOGICAL-i172t-ad5cef8787a09448a85a3796079be71cdc273c28d81c19ba5cddaa13c06f04ce3</frbrgroupid><rsrctype>conference_proceedings</rsrctype><prefilter>conference_proceedings</prefilter><language>eng</language><creationdate>1997</creationdate><topic>Chemical technology</topic><topic>Computer architecture</topic><topic>Concrete</topic><topic>Digital systems</topic><topic>Formal verification</topic><topic>Object oriented modeling</topic><topic>Process design</topic><topic>Reduced instruction set computing</topic><topic>System-level design</topic><topic>Virtual prototyping</topic><toplevel>online_resources</toplevel><creatorcontrib>Agsteiner, K.</creatorcontrib><creatorcontrib>Monjau, D.</creatorcontrib><creatorcontrib>Schulze, S.</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 Electronic Library (IEL)</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>Agsteiner, K.</au><au>Monjau, D.</au><au>Schulze, S.</au><format>book</format><genre>proceeding</genre><ristype>CONF</ristype><atitle>Automating system construction by domain based approaches</atitle><btitle>EUROMICRO 97. Proceedings of the 23rd EUROMICRO Conference: New Frontiers of Information Technology (Cat. No.97TB100167)</btitle><stitle>EURMIC</stitle><date>1997</date><risdate>1997</risdate><spage>336</spage><epage>342</epage><pages>336-342</pages><issn>1089-6503</issn><eissn>2376-9505</eissn><isbn>0818681292</isbn><isbn>9780818681295</isbn><abstract>Digital systems can be specified conveniently at the system level by a set of requirements the target system should meet. The problem about this kind of specification is that there is no algorithmic way to gain an efficient system architecture fulfilling these requirements in the general case. This paper deals with the question of if restricting the design task to a single domain of systems, e.g. all RISC processors, instead of covering all digital systems can aid in solving this problem. We present an object-oriented approach for the description of a whole domain of digital systems and demonstrate how an abstract system specification can be transformed into a description of the target system in VHDL. Based on this approach we discuss the factors that influence the existence and complexity of an algorithm to derive an efficient implementation from an abstract system specification.</abstract><pub>IEEE</pub><doi>10.1109/EURMIC.1997.617307</doi><tpages>7</tpages></addata></record> |
| fulltext | fulltext_linktorsrc |
| identifier | ISSN: 1089-6503 |
| ispartof | EUROMICRO 97. Proceedings of the 23rd EUROMICRO Conference: New Frontiers of Information Technology (Cat. No.97TB100167), 1997, p.336-342 |
| issn | 1089-6503 2376-9505 |
| language | eng |
| recordid | cdi_ieee_primary_617307 |
| source | IEEE Electronic Library (IEL) Conference Proceedings |
| subjects | Chemical technology Computer architecture Concrete Digital systems Formal verification Object oriented modeling Process design Reduced instruction set computing System-level design Virtual prototyping |
| title | Automating system construction by domain based approaches |
| url | https://sfx.bib-bvb.de/sfx_tum?ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&ctx_tim=2025-01-22T21%3A24%3A46IST&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=Automating%20system%20construction%20by%20domain%20based%20approaches&rft.btitle=EUROMICRO%2097.%20Proceedings%20of%20the%2023rd%20EUROMICRO%20Conference:%20New%20Frontiers%20of%20Information%20Technology%20(Cat.%20No.97TB100167)&rft.au=Agsteiner,%20K.&rft.date=1997&rft.spage=336&rft.epage=342&rft.pages=336-342&rft.issn=1089-6503&rft.eissn=2376-9505&rft.isbn=0818681292&rft.isbn_list=9780818681295&rft_id=info:doi/10.1109/EURMIC.1997.617307&rft_dat=%3Cieee_6IE%3E617307%3C/ieee_6IE%3E%3Curl%3E%3C/url%3E&disable_directlink=true&sfx.directlink=off&sfx.report_link=0&rft_id=info:oai/&rft_id=info:pmid/&rft_ieee_id=617307&rfr_iscdi=true |