Notification:
We are currently experiencing intermittent issues impacting performance. We apologize for the inconvenience.
By Topic

Component based co-design and refinement

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$31 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

3 Author(s)
Aljer, A. ; Lab. d''Informatique Fondamentale de Lille, Univ. des Sci. et Technol. de Lille, Villeneuve d''Ascq, France ; Devienne, P. ; Tison, S.

This paper focuses on entry design of complex systems and step-wise refinement. Indeed, design of embedded systems and digital circuits is moving to higher levels of abstraction and mix different technologies (hardware, software, etc). The entry design represents the highest abstract tier of the global system without implementation choices with respect to such and such technologies. At this level, the use of a formal specification language is more and more considered as the foundation of real verification process. What we would like to emphasize is that the refinement from that model to the point where the system could be implemented could be and should be formal too in order to design systems correct by proven construction. An illustration of this approach is the BHDL tool.

Published in:

Information and Communication Technologies: From Theory to Applications, 2004. Proceedings. 2004 International Conference on

Date of Conference:

19-23 April 2004