TLM.open: a SystemC/TLM Frontend for the CADP Verification Toolbox
SystemC/TLM models, which are C++ programs, allow the simulation of embedded software before hardware low-level descriptions are available and are used as golden models for hardware verification. The verification of the SystemC/TLM models is an important issue since an error in the model can mislead...
| Glavni avtor: | |
|---|---|
| Format: | Article |
| Jezik: | English |
| Izdano: |
Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
2014-04-01
|
| Serija: | Leibniz Transactions on Embedded Systems |
| Teme: | |
| Online dostop: | https://drops.dagstuhl.de/storage/07lites/lites_vol001/lites_vol001_issue001/LITES-v001-i001-a002/LITES-v001-i001-a002.pdf |