Title :
Matching system and component behaviour in MIMOLA synthesis tools
Author_Institution :
Dortmund Univ., Germany
Abstract :
This paper discusses the selection of available components during high-level synthesis. The author stresses the importance of describing the behaviour of available components in a 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 :
circuit CAD; MIMOLA synthesis tools; component behaviour; formal reasoning; high-level synthesis; system behaviour; Algorithm design and analysis; Chemical compounds; Circuit synthesis; Costs; Electronic circuits; Hardware design languages; High level synthesis; Integrated circuit interconnections; Libraries; Stress;
Conference_Titel :
Design Automation Conference, 1990., EDAC. Proceedings of the European
Conference_Location :
Glasgow
Print_ISBN :
0-8186-2024-2
DOI :
10.1109/EDAC.1990.136636
