Full simulation coverage for SystemC transaction-level models of systems-on-a-chip.
Claude HelmstetterFlorence MaraninchiLaurent Maillet-ContozPublished in: Formal Methods Syst. Des. (2009)
Keyphrases
- complex systems
- abstraction levels
- mathematical models
- physical systems
- simulation models
- low cost
- computational models
- probabilistic model
- high speed
- management system
- experimental data
- expert systems
- mathematical model
- statistical models
- computer systems
- simulation model
- distributed systems
- biological systems
- levels of abstraction
- application level