Skills-SIMarket
skills-si.com
Submit a skill
/
The interface is localized. Skill descriptions and documents are machine-translated by AI into your language; code, commands, paths and technical terms stay in the original, and the author's document governs.
Explore skills
Productivity · SKILL.md

assertion-based-verification

assertion-based-verification

断言验证技能 - SVA (SystemVerilog Assertion) 断言设计和验证最佳实践

Independent GitHub snapshot · Automated classification · Original documentation governs

Ttangyangchao578-art / icer_skill_packageNOASSERTION

Skill documentation

GitHub
Loading documentation from the source…

More skills to explore

View all skills

huashu-nuwa

huashu-nuwa

女娲造人：输入人名/主题/甚至只是模糊需求，自动深度调研→思维框架提炼→生成可运行的人物Skill。 两种入口：(1)明确人名→直接蒸馏 (2)模糊需求→诊断推荐→再蒸馏。 触发词：「造skill」「蒸馏XX」「女娲」「造人」「XX的思维方式」「做个XX视角」「更新XX的skill」。 模糊需求也触发：「我想提升决策质量」「有没有一种思维方式能帮我...」「我需要一个思维顾问」。 English triggers: "distill [person]", "nuwa", "create a [person] perspective skill", "how does [person] think", "I need a thinking advisor".

ProductivitySKILL.mdFull ZIP
Aalchaincyf34.2K
Saved skills