Scheduling of outputs in grammar-based hardware synthesis of data communication protocols

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.

[1]  Andrew Seawright,et al.  Synthesis from production-based specifications , 1992, [1992] Proceedings 29th ACM/IEEE Design Automation Conference.

[2]  Frank Vahid,et al.  System design methodologies: aiming at the 100 h design cycle , 1996, IEEE Trans. Very Large Scale Integr. Syst..

[3]  Alfred V. Aho,et al.  Compilers: Principles, Techniques, and Tools , 1986, Addison-Wesley series in computer science / World student series edition.

[4]  Andrew Seawright,et al.  Clairvoyant: a synthesis system for production-based specification , 1994, IEEE Trans. Very Large Scale Integr. Syst..

[5]  Andrew Seawright,et al.  A system for compiling and debugging structured data processing controllers , 1996, Proceedings EURO-DAC '96. European Design Automation Conference with EURO-VHDL '96 and Exhibition.

[6]  Murray Hill,et al.  Yacc: Yet Another Compiler-Compiler , 1978 .

[7]  Andrew Seawright,et al.  High-level Symbolic Construction Techniques for High Performance Sequential Synthesis , 1993, 30th ACM/IEEE Design Automation Conference.

[8]  Jianwen Zhu,et al.  Specification and Design of Embedded Systems , 1998, Informationstechnik Tech. Inform..

[9]  Frank Vahid,et al.  SpecCharts: a VHDL front-end for embedded systems , 1995, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..

[10]  P. Merlin,et al.  Specification and Validation of Protocols , 1979, IEEE Trans. Commun..

[11]  E. Schmidt,et al.  Lex—a lexical analyzer generator , 1990 .

[12]  Andrew Seawright.  Grammar-based specification and synthesis for synchronous digital hardware design , 1994 .

[13]  Johnny Öberg,et al.  Grammar-based hardware synthesis of data communication protocols , 1996, Proceedings of 9th International Symposium on Systems Synthesis.