The ESTEREL synchronous programming language: design, semantics, implementation
Science of Computer Programming
Grammar-based specification and synthesis for synchronous digital hardware design
Grammar-based specification and synthesis for synchronous digital hardware design
DAC '97 Proceedings of the 34th annual Design Automation Conference
The Compilation of Regular Expressions into Integrated Circuits
Journal of the ACM (JACM)
Grammar-based hardware synthesis from port-size independent specifications
IEEE Transactions on Very Large Scale Integration (VLSI) Systems
Proceedings of the conference on Design, automation and test in Europe
Introduction To Automata Theory, Languages, And Computation
Introduction To Automata Theory, Languages, And Computation
Grammar-based Hardware Synthesis of Data Communication Protocols
ISSS '96 Proceedings of the 9th international symposium on System synthesis
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
Journal of Systems and Software - Special issue: Rapid system prototyping
Structural component composition for system-level models
Formal methods and models for system design
Reactivity in systemC transaction-level models
HVC'07 Proceedings of the 3rd international Haifa verification conference on Hardware and software: verification and testing
Towards a synthesis semantics for systemC channels
CODES/ISSS '10 Proceedings of the eighth IEEE/ACM/IFIP international conference on Hardware/software codesign and system synthesis
| Hi-index | 0.00 |
Today's Digital Systems, particularly systems on chips, are communication-dominated designs. They contain many functionally complex modules that communicate with one another through high-performance data protocols. The latest methodologies for designing such systems usually start with an executable system behavior specification, which the designer uses for functional and performance simulations to validate the system concept. The designer then incrementally refines the specification to obtain a system implementation that meets given constraints, such as data-processing performance or maximum power dissipation, at the desired abstraction level-for example,the register-transfer level(RTL).At the system level, communication