Compilers: principles, techniques, and tools
Compilers: principles, techniques, and tools
Interfacing incompatible protocols using interface process generation
DAC '95 Proceedings of the 32nd annual ACM/IEEE Design Automation Conference
DAC '97 Proceedings of the 34th annual Design Automation Conference
Design of system interface modules
ICCAD '92 Proceedings of the 1992 IEEE/ACM international conference on Computer-aided design
Derivatives of Regular Expressions
Journal of the ACM (JACM)
Introduction To Automata Theory, Languages, And Computation
Introduction To Automata Theory, Languages, And Computation
Synthesizing Converters Between Finite State Protocols
ICCD '91 Proceedings of the 1991 IEEE International Conference on Computer Design on VLSI in Computer & Processors
Grammar-based Hardware Synthesis of Data Communication Protocols
ISSS '96 Proceedings of the 9th international symposium on System synthesis
A new interface specification methodology and its application to transducer synthesis
A new interface specification methodology and its application to transducer synthesis
Analysis and synthesis of concurrent digital circuits using control-flow expressions
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
Interface synthesis: a vertical slice from digital logic to software components
Proceedings of the 1998 IEEE/ACM international conference on Computer-aided design
Exploiting intellectual properties in ASIP designs for embedded DSP software
Proceedings of the 36th annual ACM/IEEE Design Automation Conference
Proceedings of the 37th Annual Design Automation Conference
Journal of VLSI Signal Processing Systems
Addressing the system-on-a-chip interconnect woes through communication-based design
Proceedings of the 38th annual Design Automation Conference
A Survey of Digital Design Reuse
IEEE Design & Test
A protocol converter for nonblocking protocols
Integration, the VLSI Journal
Formal Models for Communication-Based Design
CONCUR '00 Proceedings of the 11th International Conference on Concurrency Theory
The Control of Synchronous Systems, Part II
CONCUR '01 Proceedings of the 12th International Conference on Concurrency Theory
Field Programmable Communication Emulation and Optimization for Embedded System Design
FPL '00 Proceedings of the The Roadmap to Reconfigurable Computing, 10th International Workshop on Field-Programmable Logic and Applications
Convertibility verification and converter synthesis: two faces of the same coin
Proceedings of the 2002 IEEE/ACM international conference on Computer-aided design
A tool for describing and evaluating hierarchical real-time bus scheduling policies
Proceedings of the 40th annual Design Automation Conference
ICCD '00 Proceedings of the 2000 IEEE International Conference on Computer Design: VLSI in Computers & Processors
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
Using Formal Techniques to Debug the AMBA System-on-Chip Bus Protocol
DATE '03 Proceedings of the conference on Design, Automation and Test in Europe - Volume 1
Strategies for the integration of hardware and software IP components in embedded systems-on-chip
Integration, the VLSI Journal - Special issue: IP and design reuse
Methods for evaluating and covering the design space during early design development
Integration, the VLSI Journal
Tangram: Virtual Integration of IP Components in a Distributed Cosimulation
IEEE Design & Test
An interface-circuit synthesis method with configurable processor core in IP-based SoC designs
ASP-DAC '06 Proceedings of the 2006 Asia and South Pacific Design Automation Conference
Transaction-based waveform analysis for IP selection
ASP-DAC '03 Proceedings of the 2003 Asia and South Pacific Design Automation Conference
Proceedings of the conference on Design, automation and test in Europe: Proceedings
A formal method for hardware IP design and integration under I/O and timing constraints
ACM Transactions on Embedded Computing Systems (TECS)
System level design paradigms: Platform-based design and communication synthesis
Proceedings of the 41st annual Design Automation Conference
Object-oriented analysis and specification for HW/SW co-design with UML diagrams
ACST'06 Proceedings of the 2nd IASTED international conference on Advances in computer science and technology
On-Chip Communication Architectures: System on Chip Interconnect
On-Chip Communication Architectures: System on Chip Interconnect
Interface synthesis for heterogeneous multi-core systems from transaction level models
Proceedings of the 2007 ACM SIGPLAN/SIGBED conference on Languages, compilers, and tools for embedded systems
Hardware/software IP integration using the ROSES design environment
ACM Transactions on Embedded Computing Systems (TECS)
Efficient integration of pipelined IP blocks into automatically compiled datapaths
EURASIP Journal on Embedded Systems
EURASIP Journal on Applied Signal Processing
Automatic interface synthesis based on the classification of interface protocols of IPs
Proceedings of the 2008 Asia and South Pacific Design Automation Conference
Integrating RTL IPs into TLM designs through automatic transactor generation
Proceedings of the conference on Design, automation and test in Europe
A formal approach to the protocol converter problem
Proceedings of the conference on Design, automation and test in Europe
Provably correct on-chip communication: A formal approach to automatic protocol converter synthesis
ACM Transactions on Design Automation of Electronic Systems (TODAES)
An optimal power algorithm for interface design of System-on-Chip
CSS '07 Proceedings of the Fifth IASTED International Conference on Circuits, Signals and Systems
Formal model of a protocol converter
CATS '09 Proceedings of the Fifteenth Australasian Symposium on Computing: The Australasian Theory - Volume 94
A formal approach to design space exploration of protocol converters
Proceedings of the Conference on Design, Automation and Test in Europe
ATVA'11 Proceedings of the 9th international conference on Automated technology for verification and analysis
ESL Design and Verification: A Prescription for Electronic System Level Methodology
ESL Design and Verification: A Prescription for Electronic System Level Methodology
| Hi-index | 0.00 |
A t the system level, reusable Intellectual Property (or IP) blo cks can be represented abstractly as blocks that exchange messages. The concrete implementations of these IP blocks m ust exc hange the messages through complex signaling protocols. Interfacing bet ween IP that use different signaling protocols is a tedious and error prone design task. We propose using regular expression based protocol descriptions to sho w ho w to map the message on to a signaling protocol. Given t w o protocols,an algorithm is proposed to build an interface machine. We ha ve implemented our algorithm in a program named PIG that synthesizes a Verilog implementation based on a regular expression protocol description.