| 1. |
|
|
| 2. |
|
|
| 3. |
|
|
| 4. |
|
|
| 5. |
|
|
| 6. |
- Öberg, Johnny, et al.
(författare)
-
Grammar-based hardware synthesis from port-size independent specifications
- 2000
-
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
-
Tidskriftsartikel (refereegranskat)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.
|
|
| 7. |
- Öberg, Johnny, et al.
(författare)
-
Grammar-based hardware synthesis of data communication protocols
- 1996
-
Ingår i: System Synthesis, 1996. Proceedings., 9th International Symposium on. ; , s. 14-19
-
Konferensbidrag (refereegranskat)abstract
- For a synthesis methodology to support implementation independent design specification, a capability for design space exploration is essential. In this paper we present such a methodology for a specific domain: data communication protocols. A natural way to specify various elements of protocols is in terms of a grammar annotated with actions. Our language for protocol specification, called PRO-GRAM, is based on this idea. The hardware specification of the protocol is done by specifying the bit-patterns of the tokens the protocol is supposed to parse together with the actual grammar to parse the input stream. By specifying constraints on the input and output stream ports, the designer is allowed to explore alternative realisations with different widths of the I/O ports. The PRO-GRAM compiler outputs VHDL-code suitable for logic synthesis
|
|
| 8. |
- Öberg, Johnny, et al.
(författare)
-
Scheduling of outputs in grammar-based hardware synthesis of data communication protocols
- 1998
-
Ingår i: Design, Automation and Test in Europe, 1998., Proceedings. ; , s. 596-603
-
Konferensbidrag (refereegranskat)abstract
- We present a grammar based specification method for hardware synthesis of data communication protocols in which the specification is independent of the port size. Instead, it is used during the synthesis process as a constraint. When the width of the output assignments exceed the chosen output port width, the assignments are split and scheduled over the available states. We present a solution to this problem and results of applying it to some relevant problems
|
|
| 9. |
|
|
| 10. |
- Öberg, Johnny, et al.
(författare)
-
Specification of exception handling in grammar-based hardware synthesis
- 1998
-
Ingår i: Euromicro Conference, 1998. Proceedings. 24th. ; , s. 38-41
-
Konferensbidrag (refereegranskat)abstract
- ProGram is our in-house grammar based specification language targeted to specification of protocols, interfaces and control dominated functionality. The Program compiler implements such specifications in hardware. Specification of exception handling functionality and its automatic implementation are key requirements for a robust design methodology. In this paper, we present extensions to the ProGram language for specification of a wide range of exception handling functionality: reset to deal with exception handling needs of global nature, interrupt for representing exception handling on a hierarchical basis and error sequences to handle situations when inputs are not according to the specified grammar
|
|
