آموزش اظهارات SystemVerilog و پوشش عملکردی از ابتدا

سرفصل ها و درس ها

خوش آمدید و معرفی SystemVerilog Assertions Welcome and introduction to SystemVerilog Assertions

خوش آمدید و معرفی SystemVerilog Assertions Welcome and introduction to SystemVerilog Assertions

• خوش آمدید و معرفی SystemVerilog Assertions Welcome and introduction to SystemVerilog Assertions

• ادعا چیست؟ مزایای آن چیست؟ دستورالعمل های روش شناسی گسترده پروژه What is an Assertion? What are the benefits? Project wide methodology guidelines

ادعاهای فوری Immediate Assertions

ادعاهای فوری Immediate Assertions

• انواع ادعاها، ادعاهای فوری و معوق Types of assertions, Immediate and Deferred immediate assertions

اظهارات همزمان - مبانی Concurrent Assertions – Basics

اظهارات همزمان - مبانی Concurrent Assertions – Basics

• دنباله، خاصیت، ادعا و پوشش. اپراتور مفهومی (همپوشانی، غیر اوو Sequence, Property, Assert and Cover. Implication Operator (Overlapping, Non-ove

• گذرگاه خلاء Vacuous PASS

• اصول کلاکینگ (ویژگی های تک ساعتی) Clocking basics (singly clocked properties)

• چند رشته ای، آرگومان های رسمی، سطوح if و شدت را غیرفعال کنید Multi-threading, Formal arguments, disable iff and severity levels

• خواص اتصال Binding properties

ادعاهای همزمان - تابع ارزش نمونه Concurrent Assertions – Sampled Value Function

ادعاهای همزمان - تابع ارزش نمونه Concurrent Assertions – Sampled Value Function

• توابع ارزش نمونه (بخش 1): $rose، $fall Sampled value Functions (PART 1): $rose, $fell

• توابع ارزش نمونه (بخش 2): $stable، $past، $changed، $sampled Sampled Value Functions (PART 2) : $stable, $past, $changed, $sampled

اظهارات همزمان - اپراتورها Concurrent Assertions – Operators

اظهارات همزمان - اپراتورها Concurrent Assertions – Operators

• اپراتور تاخیر ساعت Clock delay operator

• تکرار متوالی Consecutive repetition

• تکرار غیر متوالی، GoTo غیر متوالی Non-consecutive repetition, Non-consecutive GoTo

• «در سراسر»، «در درون» ‘throughout’, ‘within’

• «و»، «یا»، «تقاطع» ‘and’, ‘or’, ‘intersect’

• 'و'، 'یا'، 'تقاطع - تفاوت های ظریف بیشتر 'and', 'or', 'intersect - further nuances

• «first_match»، «اگر...دیگر»، «اگر»، «مطلب است» ‘first_match’, ‘if … else’, ‘iff’, ‘implies’

• first_match: تفاوت های ظریف بیشتر first_match : further nuances

توابع و وظایف سیستم System Functions and Tasks

توابع و وظایف سیستم System Functions and Tasks

• $onehot، $onehot0، $isunknown، $countones و وظایف کنترل اجرای ادعا $onehot, $onehot0, $isunknown, $countones and assertion execution control tasks

ویژگی ها و توالی های کلاک شده را ضرب کنید Multiply clocked properties and sequences

ویژگی ها و توالی های کلاک شده را ضرب کنید Multiply clocked properties and sequences

• خواص و دنباله های کلاک شده و عملگرهای 'and'، 'or' و غیره را ضرب کنید. Multiply clocked properties and sequences and operators 'and', 'or', etc.

• ساعت های چندگانه: تفاوت های ظریف بیشتر Multiple Clocks : Further nuances

متغیرهای محلی و روش های توالی نقطه پایانی Local Variables and Endpoint sequence methods

متغیرهای محلی و روش های توالی نقطه پایانی Local Variables and Endpoint sequence methods

• متغیرهای محلی Local Variables

• مراقبت از مثبت کاذب با استفاده از متغیرهای محلی Taking care of False Positive using Local Variables

• مدل‌سازی تاخیر متغیر با استفاده از متغیرهای محلی Modeling variable delay using local variables

• استفاده از متغیرهای محلی با "and" و "or" از دنباله‌ها Local variable usage with 'and' and 'or' of sequences

• .triggered, . matched, فراخوانی برنامه های فرعی, دنباله به عنوان آرگومان رسمی, sequen .triggered, .matched, Calling subroutines, sequence as a formal argument, sequen

موضوعات مهم متفرقه Misc IMPORTANT Topics

موضوعات مهم متفرقه Misc IMPORTANT Topics

• «انتظار»، «فرض» مسدود کردن «بلاک اقدام» ‘expect’, ‘assume’ Blocking ‘action block’

• اظهارات ناهمزمان FIFO Asynchronous FIFO Assertions

• فراخوانی زیر برنامه ها، توالی در لیست حساسیت و وابستگی چرخه ای Calling subroutines, sequence in sensitivity list and cyclic dependency

• ویژگی بازگشتی Recursive Property

• ادعاهای همزمان از یک بلوک رویه ای و مفاهیم متعدد Concurrent assertions fired from a procedural block and multiple implications

ویژگی های IEEE-1800: LRM 2009/2012 IEEE-1800: LRM 2009/2012 features

ویژگی های IEEE-1800: LRM 2009/2012 IEEE-1800: LRM 2009/2012 features

• اعلامیه های "بگذارید" و "بررسی" ‘let’ declarations and ‘checker’

• جستجوگر: شرایط قانونی و غیرقانونی Checker : Legal and Illegal Conditions

• ویژگی‌های قوی/ضعیف، عملگرهای «همیشه»، «در نهایت» و «به دنبال آن» Strong/weak properties, 'always', 'eventually' and 'followed-by' operators

آزمون ها QUIZZES

آزمون ها QUIZZES

• آزمون 1: ادعاهای FIFO همزمان QUIZ 1: Synchronous FIFO assertions

• آزمون 2: شمارنده بالا به پایین QUIZ 2: Up-Down Counter

• آزمون 3: پروتکل اتوبوس عمومی QUIZ 3: Generic Bus Protocol

• آزمون 4: پروتکل اتوبوس PCI QUIZ 4: PCI Bus Protocol

معرفی و روش شناسی پوشش عملکردی SystemVerilog SystemVerilog Functional Coverage Introduction and Methodology

معرفی و روش شناسی پوشش عملکردی SystemVerilog SystemVerilog Functional Coverage Introduction and Methodology

• معرفی Introduction

• روش پوشش عملکردی SystemVerilog SystemVerilog Functional Coverage Methodology

ویژگی های زبان پوشش عملکردی SystemVerilog SystemVerilog Functional Coverage Language Features

ویژگی های زبان پوشش عملکردی SystemVerilog SystemVerilog Functional Coverage Language Features

• 'COVERGROUP' و 'COVERPOINT' 'COVERGROUP' and 'COVERPOINT'

• سطل زباله 'bins'

• پوشش "متقاطع". 'cross' coverage

• "تقاطع" تفاوت های ظریف بیشتر 'cross' further nuances

• پوشش "انتقال". 'transition' coverage

• سطل های widlcard، غیرقانونی_سطل ها، ignore_bins، binsof، تقاطع widlcard bins, illegal_bins, ignore_bins, binsof, intersect

• فیلتر کردن سطل ها 'bins' filtering

• پوشش عملکردی مبتنی بر کلاس 'Class' based functional coverage

آزمون :: پوشش عملکردی QUIZ :: Functional Coverage

آزمون :: پوشش عملکردی QUIZ :: Functional Coverage

• آزمون :: پوشش عملکردی QUIZ :: Functional Coverage

مفاهیم عملکرد و روش پوشش Performance implications and coverage methodology

مفاهیم عملکرد و روش پوشش Performance implications and coverage methodology

• مفاهیم عملکرد و روش پوشش Performance implications and coverage methodology

• پرس و جو برای پوشش Querying for coverage

• گزینه ها و نمونه های پوشش coverage options and examples