Full simulation coverage for SystemC transaction-level models of systems-on-a-chip (Q1041294)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Full simulation coverage for SystemC transaction-level models of systems-on-a-chip |
scientific article; zbMATH DE number 5641453
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Full simulation coverage for SystemC transaction-level models of systems-on-a-chip |
scientific article; zbMATH DE number 5641453 |
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
0.7186658978462219
0 references
0.6908823251724243
0 references
0.6790857911109924
0 references
