Grammar-based hardware synthesis from port-size independent specifications

Authors:
Johnny Öberg;Ahmed Hemani;Anshul Kumar
Affiliations:
Royal Institute of Technology, Stockholm, Sweden;Royal Institute of Technology, Stockholm, Sweden;Indian Institute of Technology, New Delhi, India
Venue:
IEEE Transactions on Very Large Scale Integration (VLSI) Systems
Year:
2000

Citing 0
Cited 7

Behavioral synthesis with systemC

Proceedings of the conference on Design, automation and test in Europe
A novel synthesis technique for communication controller hardware from declarative data communication protocol specifications

Proceedings of the 39th annual Design Automation Conference
Automatic Synthesis of Communication Controller Hardware from Protocol Specifications

IEEE Design & Test
System Design for DSP Applications Using the MASIC Methodology

Proceedings of the conference on Design, automation and test in Europe - Volume 1
System design for DSP applications in transaction level modeling paradigm

Proceedings of the 41st annual Design Automation Conference
Process grammar as a tool for business process design

MIS Quarterly
Improving the performance of message parsers for embedded systems

Proceedings of the 28th Annual ACM Symposium on Applied Computing

Quantified Score

Hi-index	0.00

Visualization

Abstract

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.