Agent skill · Testing & QA

resolve-design-errors

Use when asked to run Design Error Detection (quick defect scan), find design errors in a Simulink model, perform root cause analysis on DED findings, fix division-by-zero, overflow, dead logic or out-of-bounds defects detected by SLDV, or diagnose why missing coverage cannot be achieved (dead logic blocking coverage objectives). Do NOT use for requirement verification, test generation, Inf/NaN detection, active logic analysis, or coverage measurement.

matlabgithub.com/matlabGitHub ↗
claude-codecodexcopilotNOASSERTION
Install
npx skills add matlab/simulink-agentic-toolkit --skill resolve-design-errors --agent claude-code

Same command for any agent — swap --agent for codex, cursor, copilot.

Facts
Files in the skill folder: 28
SKILL.md size: 8 KB
Bundled scripts: none
Version: 1.3
Declared author: MathWorks
Path: skills-catalog/verification-validation-and-test/resolve-design-errors/SKILL.md
Open the folder on GitHub →
Where it comes from
Stars: 903
Language: HTML

Weekly change comes from our own snapshots, not the repository page — it measures attention, not adoption.

From the SKILL.md

# Detecting Design Errors (SLDV DED + Root Cause Analysis) ## When to Use - User asks to **check a Simulink model for design errors** (division-by-zero, overflow, dead logic, out-of-bounds) - User asks to **find root causes** of DED findings - User asks to **fix** or **understand** an analysis finding - User asks **why there is missing coverage** due to dead logic (dead logic gates prevent coverage objectives from being satisfied) - User has SLDV artifacts (`.mat` file) and wants analysis without re-running DED ## When NOT to Use - **Requirement verification** — checking if a model satisfies a requirement - **Test generation or test authoring** — creating test cases from requirements or for coverage - **Comprehensive verification** — this skill is a quick defect scan, not an exhaustive proof; a clean result does not guarantee the model is free of all errors - **Coverage measurement** — this skill does not measure or report model coverage; use Simulink Coverage tools ## Safety Rules 1. **Never patch the original model directly.** Always clone first before applying any fix. 2. **NEVER apply fixes without explicit user approval.** After root cause analysis, present findings and *sugge

What's inside
Steps it walks through
  1. When to Use
  2. When NOT to Use
  3. Safety Rules
  4. Prerequisites
  5. Workflow
  6. Step 1 — Detect errors
  7. Step 2 — Root cause errors
  8. Step 3 — Classify errors (dead logic)
  9. Step 4 — Fix errors
  10. Common Mistakes
Ships with 24 files
  • manifest.yaml
  • references/api-reference.md
  • references/fix-strategy.md
  • scripts/buildDepthLimitedTrace.p
  • scripts/buildSlice.p
  • scripts/checkEnvironment.p
  • scripts/classifyDeadLogic.p
  • scripts/computeReach.p
  • scripts/dead_logic_pattern_library/design_error_assumption.yaml
  • scripts/dead_logic_pattern_library/design_error_cascading.yaml
  • scripts/dead_logic_pattern_library/design_error_conditionally_executed.yaml
  • scripts/dead_logic_pattern_library/design_error_enable_as_input.yaml
  • scripts/dead_logic_pattern_library/design_error_parameter.yaml
  • scripts/dead_logic_pattern_library/design_error_short_circuit_and.yaml
  • scripts/dead_logic_pattern_library/design_error_short_circuit_or.yaml
  • scripts/dead_logic_pattern_library/intentional_defensive_logic.yaml
  • scripts/dead_logic_pattern_library/intentional_negation_guard_stateflow.yaml
  • scripts/dead_logic_pattern_library/pattern_catalog.yaml
  • scripts/defaultConfig.p
  • scripts/detectCascade.p
  • scripts/extractFindings.p
  • scripts/isolateRootCauses.p
  • scripts/loadSldvResults.p
  • scripts/runDesignErrorDetection.p
first 24 of 28
More from simulink-agentic-toolkit
All skills →
About this skill
What does the resolve-design-errors skill do?

Use when asked to run Design Error Detection (quick defect scan), find design errors in a Simulink model, perform root cause analysis on DED findings, fix division-by-zero, overflow, dead logic or out-of-bounds defects detected by SLDV, or diagnose why missing coverage cannot be achieved (dead logic blocking coverage objectives). Do NOT use for requirement verification, test generation, Inf/NaN detection, active logic analysis, or coverage measurement.

How do I install it?

Run `npx skills add matlab/simulink-agentic-toolkit --skill resolve-design-errors --agent claude-code` — it drops the skill into your project so the agent can pick it up. Swap the --agent value for codex, cursor or copilot if you use one of those.

Where does this skill come from?

From matlab/simulink-agentic-toolkit, a repository with 903 stars. We read it straight from the repository tree rather than a submitted listing, so what you see here is what is actually published.

Is a popular skill a good skill?

Not necessarily. Stars measure attention, not adoption — a repository can trend for a week and be abandoned. That is why we show the weekly change from our own snapshots next to the total, instead of a single flattering number.

Keep going