Date: May 16th, 2013 4 pm - 6 pm
Location: Dorint Hotel Dresden, Grunaer Straße 14, 01069 Dresden
In the last three years, the SANITAS partners developed a methodology to improve the ooperation between end customer and supplier by exchanging design relevant data electronically. These data include requirements, qualified TLM+ and TLM models and verification items. One important subtask therefore was the verification of TLM models. New methods and libraries have been developed to support that verification tasks. The SANITAS partners decided to make these libraries open source and to offer an introductory workshop.
Program
| 16:00 | Introduction to the SANITAS Technology (Infineon: W. Ecker, V. Esen) |
| 16:10 | UAL: Universal Assertion Language (Infineon: V. Esen, W. Ecker) |
| 16:30 | SC OVM: An Advanced SystemC Library for OVM-based Verification (U Paderborn: W. Müller/C. Kutznik) |
| 16:50 | Break |
| 17:00 | CRAVE: An Advanced Constrained Random Verification Environment for SystemC (U Bremen: H. M. Le, F. Haedicke, D. Große, R. Drechsler) |
| 17:20 | CULT: An Advanced Library for Unified Loggingand Tracing of C-Based Designs (FZI: A. Viehl, W. Hong, O. Bringmann, W. Rosenstiel) Download presentation (for participants of the event only) [1] |
| 17:40 |
PowerSC: Power Aware Modeling in SystemC |
| 18:00 | Closing |
The participation is free of charge for all participants of the CATRENE DTC and edaWorkshop13. For non-participants we charge a fee of 20 € plus 19 % VAT.
Beverages and conference documents included.
If you want to take part at the SANITAS workshop please mark the official registration form of edaWorkshop and CATRENE DTC accordingly or send an email to Maren Sperber sperber
edacentrum [dot] de with following information: (name, company, address, email, phone-No., method of payment: cash or bank transfer).
The registration deadline is May 6th, 2013.