Full simulation coverage for SystemC transaction-level models of systems-on-a-chip (Q1041294)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Full simulation coverage for SystemC transaction-level models of systems-on-a-chip |
scientific article |
Statements
Full simulation coverage for SystemC transaction-level models of systems-on-a-chip (English)
0 references
2 December 2009
0 references
system-on-a-chip
0 references
translational modeling
0 references
simulation
0 references
scheduling
0 references
loose timing
0 references
runtime verification
0 references
dynamic partial order reduction
0 references
test coverage
0 references
0 references
