II.
LibrarySkill overview
Reference · livelib-skill:fpga-programming--sva-assertions
sva-assertions overview
Specialized skill for creating and debugging SystemVerilog assertions for FPGA verification
Attributes
displayName
sva-assertions
description
Specialized skill for creating and debugging SystemVerilog assertions for FPGA verification
libraryPath
library/specializations/fpga-programming/skills/sva-assertions/SKILL.md
specialization
fpga-programming
contentSummary
# SVA Assertions Skill
## Overview
Expert skill for SystemVerilog Assertions (SVA) development, enabling formal property specification and verification for FPGA designs.
## Capabilities
- Write concurrent and immediate assertions
- Create property specifications and sequences
- Implement coverag
Outgoing edges
lib_applies_to_domain1
- domain:embedded-systems·DomainEmbedded Systems
lib_belongs_to_specialization1
- specialization:fpga-programming·Specialization
lib_involves_role1
- role:embedded-engineer·RoleEmbedded Engineer
lib_requires_skill_area2
- skill-area:hdl-design·SkillAreaHDL Design
- skill-area:fpga-synthesis·SkillAreaFPGA Synthesis Flow
Incoming edges
None.