Menu
SkillsMP a collecté 10 skills depuis miguel9554/mateIR. Ouvrez un skill pour examiner sa source et ses détails.
Affichage de 10 skills collectés sur 10.
Run the repo's canonical build and test workflows. Use this when validating compiler changes, running one test, running regression, or understanding expected-failure tests. Prefer the existing Makefile and tests/regression.py flows.
Langue du texte source : anglais
Use this skill whenever the user wants to plan a large refactor, migration, or multi-step code change that will be executed across multiple agent sessions with fresh context. Triggers include "plan this in phases", "create a phase plan", "break this into…
Langue du texte source : anglais
Triage a failing or misbehaving compiler test. Use this at the start of any debug session when a test is failing, a signal has a wrong value, a simulation mismatch appears, or a pass starts regressing and you need to choose the right artifact and workflow…
Langue du texte source : anglais
Inspect DFG .json or .dot debug artifacts produced by the compiler. Use this when debugging signal drivers, dependencies, fanout, op behavior, pass-to-pass changes, dead code, or node identity questions. Prefer tools/dfg_inspect.py and correlate with runtime…
Langue du texte source : anglais
Inspect VCD files from custom-sim or Verilator. Use this when debugging waveform values, transitions, or mismatches. Prefer tools/vcd_inspect.py and the unified tools/vcd_diff.py.
Langue du texte source : anglais
Trace runtime DFG evaluation in custom simulation. Use this when static DFG artifacts are not enough and you need to observe how specific nodes, cones, or operation classes evaluated over time, including operation-specific decisions emitted into…
Langue du texte source : anglais
Scaffold a new compiler testcase in tests/. Use this when creating new test scaffolding from scratch. For RTL and TB coding rules, see testcase-rules.
Langue du texte source : anglais
RTL and TB coding rules for compiler testcases. Use this when writing, modifying, or reviewing RTL or a testbench in any test under tests/ — including deciding whether a handwritten TB is needed and validating that it follows the repo's driving rules.
Langue du texte source : anglais
Debug top-level domain YAML, CDC sidecars, top-domain inference, and synchronizer handling. Use this when working on .domains.yaml, .cdc.yaml, io_domains_set, cdc_annotations, global domain resolve, or domains_propagate_and_check.
Langue du texte source : anglais
Inspect hierarchy.json produced by the compiler. Use this when debugging module structure, ports, flops, clock or reset domain usage, or finding a signal or flop across hierarchy. Prefer tools/hierarchy_inspect.py.
Langue du texte source : anglais