Static Analysis for SystemC with Scoot
From Verification to Simulation
Open access
Date
2010Type
- Doctoral Thesis
ETH Bibliography
yes
Altmetrics
Permanent link
https://doi.org/10.3929/ethz-a-006042704Publication status
publishedExternal links
Search print copy at ETH Library
Publisher
ETH ZurichSubject
ZUVERLÄSSIGKEIT + TESTEN + FEHLERTOLERANZ (HARDWARE); SIMULATION (HARDWARE); C (PROGRAMMING LANGUAGES); C (PROGRAMMIERSPRACHEN); STEUERSTRUKTUREN + MIKROPROGRAMMIERUNG (HARDWARE); RELIABILITY + TESTING + FAULT TOLERANCE (HARDWARE); CONTROL STRUCTURES + MICROPROGRAMMING (HARDWARE)Organisational unit
02150 - Dep. Informatik / Dep. of Computer Science03506 - Alonso, Gustavo / Alonso, Gustavo
More
Show all metadata
ETH Bibliography
yes
Altmetrics