دوره آموزش SystemVerilog Assertions (SVA) با Xilinx Vivado 2020.1

آنچه یاد خواهید گرفت: کاربرد SystemVerilog Assertions در Xilinx Vivado Design Suite 2020 بینش‌های SystemVerilog Assertions بر اساس LRM 1800 2017 بینش‌های عملگرهای بولی، توالی و ویژگی قدرت Assertionهای همزمان و فوری بینش‌های تسک‌های سیستم و توابع Sampled Edge کاربرد متغیرهای محلی در Assertionهای همزمان کاربرد Assertionهای فوری در سیستم‌های دیجیتال کاربرد Assertionهای همزمان در سیستم‌های دیجیتال کاربرد Assertion در FSM کاربرد Assertion در SystemVerilog TB پیش‌نیازهای دوره درک اولیه از Verilog توضیحات دوره خوش آمدید. امروزه استفاده از Assertionها در تایید طراحی، برای بررسی رفتار RTL در برابر مشخصات طراحی، امری رایج است. فرقی نمی‌کند برای تایید RTL از کدام زبان تایید سخت‌افزار (HVL) مانند Verilog ،SystemVerilog یا UVM استفاده کنید؛ افزودن Assertionها به کد تایید کمک می‌کند باگ‌ها را سریع‌تر شناسایی کنید. مزیت اصلی استفاده از SV Assertion نسبت به بررسی رفتار مبتنی بر Verilog، پیاده‌سازی ساده توالی پیچیده‌ای است که مقدار زمان و تلاش خوبی را در کدهای مبتنی بر Verilog می‌تواند consume کند. SystemVerilog Assertion مجموعه محدودی از عملگرها دارند، بنابراین یادگیری آن‌ها دشوار نیست؛ اما انتخاب عملگر مناسب برای برآورده کردن مشخصات طراحی به سال‌ها تجربه نیاز دارد. در این دوره، مجموعه‌ای از مثال‌ها را بررسی می‌کنیم تا پایه‌ای برای انتخاب استراتژی درست Assertion جهت تایید رفتار RTL بسازیم. Assertionها در سه نوع، Assertion فوری، Assertion فوری معوق، Assertion فوری معوق نهایی و Assertion همزمان، ارائه می‌شوند. Assertion کدی است که مسئول بررسی رفتار طراحی است. تایید کامل طراحی، در اصل شامل بررسی در حوزه‌های زمانی و غیرزمانی است. SV Assertionها فوری و معوق به ما اجازه می‌دهند عملکرد طراحی را در region غیرزمانی بررسی کنیم و Assertion همزمان امکان بررسی طراحی را در region زمانی فراهم می‌کند. به دنیای جذاب SV Assertionها خوش آمدید. این دوره اصول constructهای SV Assertion که Vivado به‌صورت نیتیو پشتیبانی می‌کند و همچنین روش‌های جایگزین برای پیاده‌سازی constructهای که Vivado هنوز پشتیبانی نمی‌کند را بررسی می‌کند. این دوره برای چه کسانی مناسب است؟ هر کسی که به دنبال ورود به حوزه VLSI یا تایید RTL است.