System-Level Assertion-Based Performance Verification for Embedded Systems (Q3628531)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 5555549
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | System-Level Assertion-Based Performance Verification for Embedded Systems |
scientific article; zbMATH DE number 5555549 |
Statements
System-Level Assertion-Based Performance Verification for Embedded Systems (English)
0 references
20 May 2009
0 references
assertion-based verification
0 references
computational model
0 references
performance verification
0 references
transaction-level of abstraction
0 references
performance assertions
0 references
0.7235512733459473
0 references
0.7188416719436646
0 references
0.7163867354393005
0 references
