Matching system and component behaviour in MIMOLA synthesis tools

  title={Matching system and component behaviour in MIMOLA synthesis tools},
  author={Peter Marwedel},
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. 

From This Paper

Topics from this paper.


Publications citing this paper.

Similar Papers

Loading similar papers…