Summary and Conclusion

  • Frank RoginEmail author
  • Rolf Drechsler


ESL design promises to overcome the limitations of designing complex integrated circuits and systems at the RTL. The related system model allows for an early system exploration and verification. This model is used as a golden reference for subsequent design stages. So, its correct and reliable creation is a key issue for successful ESL design. Currently, ESL verification consists of a large variety of techniques such as simulation, semi-formal verification, and formal verification. Although formal approaches get an increasing attention and application, simulation is still the predominant verification technique to ensure the functional design correctness. Design concepts like objectorientation, borrowed from software development, and TLM have boosted the design productivity at the ESL over the last years. In parallel, the verification productivity falls behind whereas pinpointing the failure-causing bug still remains an unsystematic and time-consuming process. So, it becomes important not only to find many errors early during development. Rather, new methods and approaches have to be provided that improve and support an automation of debugging.


Exploring Systems Earth Subsequent Design Stages Semi-formal Verification Reliable Creation Related Model Systems 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


  1. PC95.
    C. Potter and T. Cory. CAST Tools: An Evaluation and Comparison. Bloor Research Group, 1995.Google Scholar
  2. EC+01.
    D. Engler and K. Ashcraft. RacerX: Effective, Static Detection of Race Conditions and deadlocks. In ACM SIGOPS Operating Systems Review, Volume 37, Issue 5, pp. 237–252, 2003.CrossRefGoogle Scholar
  3. Das00.
    M. Das. Static Analysis of Large Programs (Invited Talk) (Abstract only): Some Experiences. In ACM/SIGPLAN Workshop Partial Evaluation and Semantics-Based Program Manipulation, p. 1, 2000.Google Scholar
  4. CDT.
    Eclipse CDT Project Homepage. [Online], accessed September 2008.
  5. ARM.
    ARM Ltd. RealView Development Suite Homepage. [Online], accessed October 2008.
  6. CoWare.
    CoWare Inc. Platform Architect Homepage. [Online], accessed July 2008.

Copyright information

© Springer Science+Business Media B.V. 2010

Authors and Affiliations

  1. 1.Institutsteil EntwurfsautomatisierungFraunhofer - Institut für Integrierte SchaltungenDresdenGermany
  2. 2.Universität Bremen AG RechnerarchitekturBremenGermany

Personalised recommendations