What problem does it solve?
This Skill removes the manual trial-and-error of parameter tuning by running an execution-grounded design space exploration loop until your optimization goal is met or time runs out.
Core Features & Use Cases
- Run → Analyze → Tune → Iterate: Executes a program, parses objective metrics from outputs, selects the next parameter configuration, and repeats while tracking the best result.
- Automatic range inference: If you provide parameter names without ranges, it reads the project/source code to infer valid defaults and sets conservative, domain-reasonable sweep ranges (with logging for review).
- Safe logging and recovery: Writes each evaluated configuration to
dse_results/dse_log.csv, maintains state in dse_results/DSE_STATE.json, and supports resuming after context/window compaction.
- Typical Use Cases: microarchitecture DSE (gem5), synthesis/EDA tuning (yosys/DC, openroad/innovus), simulation parameter sweeps (verilator), compiler flag optimization (gcc/llvm), and formal verification tuning (abc/sby).
Quick Start
Use the dse-loop skill to run your benchmark while tuning the specified parameters, optimizing the chosen objective, and stopping when the target condition is satisfied or the timeout is reached.