|
所在平台: Udemy |
课程主页: https://www.udemy.com/course/sva-ninja/
课程评论：没有评论
**课程名称：** Become SVA Ninja (成为SVA忍者) **课程概述：** 本课程深入介绍了SVA（SystemVerilog Assertion）语言，这是一种用于处理时态逻辑和设计的强大验证语言。SVA是IEEE-1800 SystemVerilog标准的一部分，专注于设计的时态方面，允许在HDL代码中嵌入复杂的、多周期的断言和功能检查。通过将简单的HDL布尔表达式构建成复杂的设计行为定义，SVA可用于断言、功能覆盖、调试和形式验证。 课程从基础概念开始，迅速过渡到高级主题。重点讲解了SVA的 Sequences（序列）和 Properties（属性），特别是如何构建复杂的时态表达式。课程将深入探讨如何利用 `first_match` 操作符来避免意外线程导致误报。在属性方面，课程将展示局部变量如何帮助建模设计特性。最后，课程将详细讲解SVA的采样语义，这是业界独有的一个关键概念。 **课程议程：** * 断言和ABV (Assertion-Based Verification) 简介 * SystemVerilog 简介 * 断言的结构 * SVA 中的序列和属性 * SVA 序列的重复操作符 * SVA 序列的组合操作符 * 检测范围时序序列中的 `first_match` * 时序序列中的端点检测 * 高级属性操作符 * SVA 属性中的局部变量 * 调度语义 - SVA 成功的秘诀
What is SystemVerilog Assertion (SVA)?SVA is an integral part of IEEE-1800 SystemVerilog language, focusing on the temporal aspects of specification, modeling and verification. SVA allows sophisticated, multi-cycle assertions and functional checks to be embedded in HDL code. SVA allows simple HDL boolean expressions to be built into complex definitions of design behavior, which can be used for assertions, functional coverage, debug and formal verification.This course gives you an in-depth introduction to the language. It starts with basic concepts but quickly moves on to advanced topics. Specifically we delve deep into SVA Sequences and show how complex temporal expressions can be built. We describe how to leverage on first_match operator to avoid unexpected threads leading to false alarms. On the properties front we show how local variables help you model design characteristics. We end this course with a detailed look at Sampling Semantics in SVA - this is unique in the industry as many courses do not cover this key concept. Below is more detailed agenda.Introduction to Assertions & ABVIntroduction to SystemVerilogStructure of an assertionSequences and Properties in SVASequence repetition operatorsComposition operators for SVA SequencesDetecting first_match in ranged-temporal sequencesEndpoint detection in temporal sequencesAdvanced Property operatorsLocal Variables in SVA propertiesScheduling Semantics - the secret of SVA's success
