Interactive System Level Debugging of Systems-on-Chip
Résumé
Hardware architecture is modeled using generic hardware components (CPUs, buses, hardware accelerators) (1) Application Modelling System is modeled in terms of communicating tasks (UML class diagram) Behavior modeling is focused on control part of the application (UML activity diagrams) (3) Application mapped onto an architecture Refinement Simulation Formal static analysis Fast transaction-based simulation For further information: http://www.comelec.enst.fr/recherche/labsoc.en An open-source toolkit-called TTool-fully supports this methodology. Computation and communication events are represented by symbolic instructions and span potentially hundreds of clock cycles Simulation granularity automatically adapts to the granularity of the application Instructions are executed as a whole if possible, they may be broken down into several transactions due to inter-task synchronization Fully implemented in C++, possibility to generate traces in VCD format Possibility to save and restore simulation states Interaction of Frontend and Simulator Simulator Design Execution HW Discrete Event Simulator Task model For a car communication application, we achieved an order of magnitude of simulation speed of Billions of cycles/sec. A more fine grained model of an MPEG decoder led to a rate of Millions cycles/sec. Abstract Channels Communication HW Transaction: Start Time Virtual Length [Ex. units] Length [Time units]
Origine : Fichiers produits par l'(les) auteur(s)