{
  "id": "lib-skill:fpga-programming--sva-assertions",
  "_kind": "LibrarySkill",
  "_file": "generated-library/skills.yaml",
  "_cluster": "generated-library",
  "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\n\n## Overview\n\nExpert skill for SystemVerilog Assertions (SVA) development, enabling formal property specification and verification for FPGA designs.\n\n## Capabilities\n\n- Write concurrent and immediate assertions\n- Create property specifications and sequences\n- Implement coverag"
  },
  "outgoingEdges": [
    {
      "from": "lib-skill:fpga-programming--sva-assertions",
      "to": "skill-area:hdl-design",
      "kind": "lib_requires_skill_area",
      "attributes": {
        "weight": 1
      }
    },
    {
      "from": "lib-skill:fpga-programming--sva-assertions",
      "to": "skill-area:fpga-synthesis",
      "kind": "lib_requires_skill_area",
      "attributes": {
        "weight": 0.7
      }
    },
    {
      "from": "lib-skill:fpga-programming--sva-assertions",
      "to": "domain:embedded-systems",
      "kind": "lib_applies_to_domain",
      "attributes": {
        "weight": 1
      }
    },
    {
      "from": "lib-skill:fpga-programming--sva-assertions",
      "to": "role:embedded-engineer",
      "kind": "lib_involves_role",
      "attributes": {
        "weight": 1
      }
    },
    {
      "from": "lib-skill:fpga-programming--sva-assertions",
      "to": "specialization:fpga-programming",
      "kind": "lib_belongs_to_specialization",
      "attributes": {
        "weight": 1
      }
    }
  ],
  "incomingEdges": []
}