Enabling Dynamic Assertion-based Verification of Embedded Software through Model-driven Design

Provided by: European Design and Automation Association
Topic: Hardware
Format: PDF
Assertion-Based Verification (ABV) is more and more used for verification of embedded systems concerning both HW and SW parts. However, ABV methodologies and tools do not apply to HW and SW components in the same way: for HW components, both static ABV and dynamic ABV are widely used; on the contrary, SW components are traditionally verified by means of static ABV, because dynamic approaches are based on simulation assumptions which could not be true during execution of general embedded SW and which cannot be controlled by the assertion language.

Find By Topic