Paper for Download - FKFS

SMSC Europe für die umfangreiche Unterstützung bei der vorgestellten Arbeit danken.
Literatur
[Hab05] A. Habibi und S. Tahar. Design and Verification of SystemC Transaction-Level
Models. TVLSI ’05: Transaction on Very Large Scale Integration Systems.
[Moi06] H. Moinudeen, A. Habibi und S. Tahar. Model Based Verification of SystemC
Designs. IEEE ’06: North-East Workshop on Circuits and Systems.
[MOST] MOST Cooperation. www.mostcooperation.com.
[SYC] Open SystemC Initiative. www.systemc.org.
[Lig09] P. Liggesmeyer. Software Qualität: Testen, Analysieren und Verifizieren von Software.
Spektrum Akademischer Verlag ’09.
[Lam08] W. K. Lam. Hardware Design Verification:Simulation and Formal Method-
Based Approaches. Prentice Hall Computer ’08.
[Bun01] A. Bunker und G. Gopalakrishnan. Using Live Sequence Charts for Hardware
Protocol Specification and Compliance Verification. High-Level Design Validation and
Test Workshop ’01.
[Fra02] F. Fraikin und T. Leonhardt. SeDiTeC - Testing Based on Sequence Diagrams.
ASE ’02: Automated Software Engineering.
[Kim08] W. S. Kim, H. A. Kim, J. H. Ahn and B. Moon. System-Level Development
and Verification of the FlexRay Communication Controller Model Based on SystemC.
FGCN ’08: Second International Conference on Future Generation Communication
and Networking.
[Pas05] S. Pasricha, N. Dutt and M. Romdhane. Using TLM for Exploring Bus-based
SoC Communication Architectures. ASAP ’05: 16th IEEE International Conference
on Application-Specific System, Architecture Processors.
[Cha08] S. Chai, C. Wu, Y. Y. Li and Z. Yang. A NoC Simulation and Verification Platform
Based on SystemC. CSSE ’08: International Conference on Computer Science
and Software Engineering.
[Yon10] Y. Bu, Z. Tao, M. Lei, C. Wu and C. Wu. A Configurable SystemC Virtual Platform
for Early Software Development and its Sub-system for Hardware Verification.
VLSI-DAT ’10: VLSI Design Automation and Test.
[Gra06] Cool Verification. www.coolverification.com/2006/06/python as an hv.html.
[Let08] D. Lettnin, P. K. Nalla, J. Ruf, T. Kropf and W. Rosenstiel. Verification of Temporal
Properties in Automotive Embedded Software. DATE ’08: Design, Automation
and Test in Europe.
[Hab04] A. Habibi, A. Gawanmeh and Sofiene Tahar. Assertion Based Verification of
PSL for SystemC Designs. SOC ’04: International Symposium on System-on-Chip.
[Ruf06] J. Ruf, R. Weiss, D. V. Lettnin, S. Lämmermann, T. Kropf und W. Rosenstiel.
SystemC Temporal Checker. Tübingen ’06: Department of Computer Engineering.