菜单
Build and validate theory-grounded optimization models for backside front-vs-back net cost (signal and clock), with strict metric contracts and stability gates against HPWL baselines. Use when users request principled model fitting, crossover reasoning, or promotion decisions from shadow mode to active optimization.
用 Codex 或 Claude 帮你安装 复制这段 Prompt，粘贴到 Codex、Claude 或其他助手里，让它检查 Skill 页面并帮你完成安装。
基于 SOC 职业分类
Creates and refines academic presentations from research papers. Use this skill for tasks involving the conversion of scientific or technical documents into slide decks for conferences, seminars, lectures, thesis defenses, or academic reviews. Supports beamer LaTeX (.tex), PowerPoint (.pptx), and Markdown output formats.
Execute delay-model validation gates against HPWL baselines. Use when evaluating model consistency, running Gate-0 contract checks, building Gate-1 bucketed scorecards, performing wirelength-aware correlation checks, or deciding readiness for active optimization.
Run a full EDA research chain from knowledge exploration and paper triage to idea debate, hypothesis experiment design, implementation, git versioning, validation, and retrospective. Use when the user requests an end-to-end EDA research workflow rather than a single isolated execution step.
Audit and refine academic manuscripts for structure, terminology consistency, LaTeX hygiene, and high-signal grammar fixes. Use this skill for theses, papers, proposals, and technical reports when the task is manuscript writing rather than experiment execution.
Diagnose and implement backside-routing realization paths, including targeted reroute, local DEF/OpenDB patching, and OpenROAD-backed net-level rerouter bring-up, when theory predicts benefit but the current flow does not realize BM2/BM1 usage.
Audit whether the local BSPDN physical contract is coherent across paper assumptions, GT3 tech collateral, layer/via topology, and current flow policy before promotion or expensive attribution experiments.
| name | bscost-theory-opt |
| description | Build and validate theory-grounded optimization models for backside front-vs-back net cost (signal and clock), with strict metric contracts and stability gates against HPWL baselines. Use when users request principled model fitting, crossover reasoning, or promotion decisions from shadow mode to active optimization. |
Use this skill when the task is to move from heuristic cost terms to a validated optimization model that can be promoted only after passing gates.
This skill must stay grounded in:
docs/knowledge_base/80_BSCOST_THREE_SKILL_WORKFLOW_20260304.mddocs/knowledge_base/84_REPLACE_COMPARISON_POLICY_20260304.mdeda-experiment-phenomenology-analyst when related local runs already exposed reusable results, conclusions, or repeated failure patterns.eda-context-accessor when the task needs refreshed KB or paper context before fitting or promotion judgment.If current empirical evidence contradicts the linked background knowledge:
*.dataset.tsv (dataset-level scorecard)*.per_fold.tsv (fold-level evidence)*.summary.md with final PASS/FAIL and open risksregion_exact vs proxy_modereferences/background-knowledge-links.md when identifying which KB docs, paper summaries, and theory assumptions are authoritative for the current modeling task.references/theory_formulation.md when locking metric contract, sign convention, and physically meaningful feature blocks.references/optimization_and_gates.md when running repeated validation, HPWL comparison, and promotion gating.references/internet_benchmark_notes.md when extending beyond current datasets and benchmark provenance must be refreshed from primary sources.