Skill instructions (SKILL.md) could not be loaded from local cache or raw GitHub repository.
xsva
star 8
当 AI agent 需要把 SystemVerilog Assertion (SVA) property/assert/assume/cover 解析成 xsva 的 Surface IR、Sequence IR、Timeline IR，生成确定性解释、Markdown、 Mermaid/SVG 可视化，或维护 xsva golden/语义/CLI 回归时使用。适用于 SVA temporal semantic review、range delay/path expansion、local variable capture、first_match 保守 lowering、unsupported/partial 边界验证；不要让 LLM 直接自由解释 SVA 原文。
By BLANK2077 schedule Updated 6/6/2026 Install via CLI
npx skills add https://github.com/BLANK2077/xverif --skill xsva
Repository Details
star Stars
8
call_split Forks
4
navigation Branch
main
article Path
SKILL.md
More from Creator
BLANK2077 Explore all skills →