Compilers: principles, techniques, and tools
Compilers: principles, techniques, and tools
Synthesis from production-based specifications
DAC '92 Proceedings of the 29th ACM/IEEE Design Automation Conference
High-level symbolic construction technique for high performance sequential synthesis
DAC '93 Proceedings of the 30th international Design Automation Conference
Specification and design of embedded systems
Specification and design of embedded systems
Grammar-based specification and synthesis for synchronous digital hardware design
Grammar-based specification and synthesis for synchronous digital hardware design
System design methodologies: aiming at the 100 h design cycle
IEEE Transactions on Very Large Scale Integration (VLSI) Systems
A system for compiling and debugging structured data processing controllers
EURO-DAC '96/EURO-VHDL '96 Proceedings of the conference on European design automation
Grammar-based Hardware Synthesis of Data Communication Protocols
ISSS '96 Proceedings of the 9th international symposium on System synthesis
SpecCharts: a VHDL front-end for embedded systems
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
Hi-index | 0.00 |
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 out-put 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.