Grammar-based hardware synthesis from port-size independent specifications
2000 (English)In: IEEE Transactions on Very Large Scale Integration (vlsi) Systems, ISSN 1063-8210, Vol. 8, 184-194 p.Article in journal (Refereed) Published
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.
Place, publisher, year, edition, pages
2000. Vol. 8, 184-194 p.
ATM;Program;automaton;communication protocol;grammar-based language;hardware synthesis;port-size independent specification;system design;grammars;high level synthesis;protocols;
Electrical Engineering, Electronic Engineering, Information Engineering
IdentifiersURN: urn:nbn:se:kth:diva-73170DOI: 10.1109/92.831438OAI: oai:DiVA.org:kth-73170DiVA: diva2:488605
NR 201408052012-02-012012-02-012012-02-17Bibliographically approved