An introduction to Estelle: a specification language for distributed systems
Computer Networks and ISDN Systems - Special Issue: Protocol Specification and Testing
Semi-automatic implementation of OSI protocols
Computer Networks and ISDN Systems - Special issue application of formal techniques to the OSI protocols
Estelle development toolset (EDT)
Computer Networks and ISDN Systems
The PET and DINGO tools for deriving distributed implementations from Estelle
Computer Networks and ISDN Systems - Special issue on tools for FDTs
A binary-constraint search algorithm for minimizing hardware during hardware/software partitioning
EURO-DAC '94 Proceedings of the conference on European design automation
Hardware-Software Co-Synthesis of Distributed Embedded Systems
Hardware-Software Co-Synthesis of Distributed Embedded Systems
A Model and Methodology for Hardware-Software Codesign
IEEE Design & Test
Hardware-Software Cosynthesis for Digital Systems
IEEE Design & Test
Semiautomatic Implementation of Protocols Using an Estelle-C Compiler
IEEE Transactions on Software Engineering
PARES - a portable parallel Estelle compiler
Proceedings of the Fifteenth IFIP WG6.1 International Symposium on Protocol Specification, Testing and Verification XV
A New Approach for Distributing Estelle Specifications
Proceedings of the IFIP TC6 Eighth International Conference on Formal Description Techniques VIII
Efficient configuration of protocol software for multiprocessors
Proceedings of the IFIP Sixth International Conference on High Performance Networking VI
HW/SW Co-Design with PRAMs Using CoDES
CHDL '93 Proceedings of the 11th IFIP WG10.2 International Conference sponsored by IFIP WG10.2 and in cooperation with IEEE COMPSOC on Computer Hardware Description Languages and their Applications
Hi-index | 0.24 |
An important aspect in providing high performance distributed systems such as multimedia systems is the combined use of hardware and software in the end systems. System design techniques should allow hardware/software (HW/SW) co-design to integrate both means of implementation. In this paper, we show how the standardized formal language Estelle can be used to facilitate co-design. The system to be developed will first be designed in Estelle. At the point of time of final decision on which parts to implement in software and which in hardware, the original specification will be split into several partial specifications. The software parts are translated into C code, while the hardware parts are translated into VHDL code for further analysis and development. We present a tool environment that supports the protocol developer in the design and implementation process. An example shows the usefulness of the tool environment.