A Unified Model-Based Framework for the Simplified Execution of Static and Dynamic Assertion-Based Verification
<p dir="ltr">The improved productivity and reduced time-to-market are essential requirements for the development of modern embedded systems and, therefore, the comprehensive as well as timely design verification is critical. Assertion Based Verification (ABV) is a renowned paradigm t...
Saved in:
| Main Author: | |
|---|---|
| Other Authors: | , , , , |
| Published: |
2020
|
| Subjects: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|