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

وصف كامل

محفوظ في:
التفاصيل البيبلوغرافية
المؤلف الرئيسي: Muhammad Waseem Anwar (9316557) (author)
مؤلفون آخرون: Muhammad Rashid (2836613) (author), Farooque Azam (9316554) (author), Aamir Naeem (19672540) (author), Muhammad Kashif (3923483) (author), Wasi Haider Butt (2852081) (author)
منشور في: 2020
الموضوعات:
الوسوم: إضافة وسم
لا توجد وسوم, كن أول من يضع وسما على هذه التسجيلة!