By Topic

Synchronous methodology for designing hardware, software and mixed embedded systems

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

1 Author(s)
Berry, G. ; Esterel Technol., Villeneuve Loubet, France

The tutorial presents the synchronous methodology for the design of hardware, software, or mixed embedded systems. This methodology was initially developed in the mid 80's in research, with the creation of synchronous languages such as Esterel, Lustre, or Signal. It became industrial in the 90's and is now used in a wide range of applications, from the design of safety-critical systems in avionics or automobile to the design and verification of complex electronic circuits and Systems on Chip. We first present the basic cycle-based synchronous computation model and give a general overview of synchronous techniques, tools, and application areas. We explain why the synchronous approach makes design safer and verification simpler and we give industrial references. We then address the following technical issues: textual vs. graphical specification; sequencing, concurrency, and preemption; control path vs. data path; optimized hardware and software synthesis; formal verification of assertions and properties. We illustrate the topics by various examples, using the Esterel Studio system for demos. Finally, we show how synchronous techniques make it possible to generate hardware or software from the same specification and with the very same semantics, and how they fit in conventional hardware and software workflows.

Published in:

VLSI Design, 2004. Proceedings. 17th International Conference on

Date of Conference:

2004