Matching system and component behaviour in MIMOLA synthesis tools
- 4 December 2002
- proceedings article
- Published by Institute of Electrical and Electronics Engineers (IEEE)
- p. 146-156
- https://doi.org/10.1109/edac.1990.136636
Abstract
This paper discusses the selection of available components during high-level synthesis. We stress the importance of describing the behaviour of available components in some language which is readable for the designer. This behaviour is internally represented by implications. This concept is the key for formal reasoning about the component's capabilities. Alternative functions and sequential and concurrent cooperation of components can be easily described.Keywords
This publication has 6 references indexed in Scilit:
- Integrated scheduling and binding: a synthesis approach for design space explorationPublished by Association for Computing Machinery (ACM) ,1989
- Graph based retargetable microcode compilation in the MIMOLA design systemPublished by Association for Computing Machinery (ACM) ,1987
- An algorithm for the synthesis of processor structures from behavioural specificationsMicroprocessing and Microprogramming, 1986
- A New Synthesis Algorithm for the MIMOLA Software SystemPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1986
- Flow graph machine models in microcode synthesisACM SIGMICRO Newsletter, 1983
- The MIMOLA Design System: Detailed Description of the Software SystemPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1979