A Unified Model-Based Framework for the Simplified Execution of Static and Dynamic Assertion-Based Verification

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...

Full description

Saved in:
Bibliographic Details
Main Author: Muhammad Waseem Anwar (9316557) (author)
Other Authors: Muhammad Rashid (2836613) (author), Farooque Azam (9316554) (author), Aamir Naeem (19672540) (author), Muhammad Kashif (3923483) (author), Wasi Haider Butt (2852081) (author)
Published: 2020
Subjects:
Engineering
Communications engineering
Information and computing sciences
Information systems
Assertion based verification
computation tree logic
embedded systems
model based system engineering
systemverilog assertions
timed automata
unified modeling language (UML)
Unified modeling language
Automata
Computational modeling
Embedded systems
System analysis and design
Productivity
Vehicle dynamics
Tags: Add Tag
No Tags, Be the first to tag this record!

Similar Items