Sökning: onr:"swepub:oai:DiVA.org:kth-73170" >
Grammar-based hardw...
Grammar-based hardware synthesis from port-size independent specifications
-
- Öberg, Johnny (författare)
- KTH,Mikroelektronik och informationsteknik, IMIT
-
- Kumar, Anshul (författare)
- KTH,Mikroelektronik och informationsteknik, IMIT
-
- Hemani, Ahmed (författare)
- KTH,Mikroelektronik och informationsteknik, IMIT
-
(creator_code:org_t)
- Institute of Electrical and Electronics Engineers (IEEE), 2000
- 2000
- Engelska.
-
Ingår i: IEEE Transactions on Very Large Scale Integration (vlsi) Systems. - : Institute of Electrical and Electronics Engineers (IEEE). - 1063-8210 .- 1557-9999. ; 8:2, s. 184-194
- Relaterad länk:
-
https://urn.kb.se/re...
-
visa fler...
-
https://doi.org/10.1...
-
visa färre...
Abstract
Ämnesord
Stäng
- A protocol defines how systems communicate. There are two ways of specifying the protocol, the language of communication. One way is to specify the automaton that recognizes the language, and this is the approach taken by SDL, etc. The other more abstract way ss to specify the grammar of the language and let a tool synthesize the automaton. Directly specifying the automaton makes the specification implementation dependent in two ways: the time behavior is specified in terms of states, and the width of the inputs and outputs is fixed. By specifying the grammar, the specification is potentially independent of both these implementation details and allows design space exploration in these dimensions. This paper presents a grammar-based language, called Program, that supports a port-size independent specifications methodology and its application to parts of the Operation and Maintenance protocol, a typical application from the ATM world. The methodology has also been applied to another test set of example designs and compared to standard RTL synthesis and HLS in order to evaluate the quality of the produced designs.
Ämnesord
- TEKNIK OCH TEKNOLOGIER -- Elektroteknik och elektronik (hsv//swe)
- ENGINEERING AND TECHNOLOGY -- Electrical Engineering, Electronic Engineering, Information Engineering (hsv//eng)
Nyckelord
- ATM;Program;automaton;communication protocol;grammar-based language;hardware synthesis;port-size independent specification;system design;grammars;high level synthesis;protocols
Publikations- och innehållstyp
- ref (ämneskategori)
- art (ämneskategori)
Hitta via bibliotek
Till lärosätets databas