A case study in embedded system design
Tullio Cuatto, Claudio Passeronge, Luciano Lavagno, Attila Jurecska, A Damiano, Claudio Sansoè, Alberto Luigi Sangiovanni-Vincentelli, Alberto Luigi Sangiovanni-Vincentelli · 1998
A number of techniques and software tools for embedded system design have been recently proposed. However, the current practice in the designer community is heavily based on manual techniques and on past experience rather than on a rigorous approach to design. To advance the state of the art it is important to address a number of relevant design problems and solve them to demonstrate the power of the new approaches.