ZooWork Market · Skillsva-assertionsSpecialized skill for creating and debugging SystemVerilog assertions for FPGA verification◇a5c-aia5c-ai-babysitter-sva-assertions · v1.0.1分类coding-agents-ides安装次数22更新时间2026-08-05T04:53:59.767Z校验状态待验证在 ZooWork 中使用返回目录