Chip Design Flow
Purpose
Guide the end-to-end RTL-to-GDSII design flow, ensuring clean synthesizable RTL, realistic constraints, timing closure, and tape-out readiness.
Scope Constraints
Reviews RTL source, constraint files, and EDA tool reports. Does not execute EDA tools or modify design files. Does not perform physical verification (LVS/DRC) directly.
Inputs
- RTL source files or design specification
- Target technology node and foundry PDK
- Performance targets (clock frequency, area budget, power budget)
- Existing SDC constraints and floor plan, if any
Input Sanitization
No user-provided values are used in commands or file paths. All inputs are treated as read-only analysis targets.
Procedure
Progress Checklist
Step 1: Review RTL Coding Style
- Verify all RTL is synthesizable (no
initial, #delay, force in design code).
- Check clock domain crossing (CDC) handling with proper synchronizers.
- Verify reset strategy (async vs sync, reset tree planning).
- Flag combinational loops and unintended latches.
- Confirm coding style matches foundry library expectations (e.g., no tri-state in core logic).
Step 2: Define Synthesis Constraints
- Write SDC constraints: clock definitions, generated clocks, clock groups.
- Define input/output delay constraints relative to system timing.
- Set false paths and multicycle paths with justification.
- Specify max transition, max fanout, and max capacitance.
- Define operating conditions for multi-corner multi-mode (MCMM) analysis.
Step 3: Plan Floor Plan and Power Strategy
- Define die/block area targets based on gate count estimates.
- Plan macro placement (memories, PLLs, IO pads).
- Design power grid: supply ring, power stripes, via density targets.
- Plan clock tree topology (balanced tree, mesh, hybrid).
- Define placement blockages and routing blockages.
Step 4: Guide Place-and-Route
- Set placement density targets (70-80% for timing, lower for routability).
- Configure global routing and detail routing options.
- Define metal layer usage (signal vs clock vs power).
- Check antenna rule compliance.
- Verify routing DRC clean before timing optimization.
Step 5: Achieve Timing Closure
- Run static timing analysis (STA) across all MCMM corners.
- Fix setup violations: buffer insertion, gate sizing, logic restructuring.
- Fix hold violations: delay cell insertion, useful skew adjustment.
- Verify clock skew and insertion delay targets.
- Check signal integrity: crosstalk delta delay, noise margin.
Step 6: Tape-Out Readiness Checklist
- LVS clean (layout vs schematic match).
- DRC clean (design rule compliance).
- ERC clean (electrical rule check).
- Formal equivalence check (RTL vs netlist, netlist vs layout).
- IR drop analysis within spec.
- Antenna rule compliance verified.
- Metal fill inserted and DRC re-verified.
Compaction resilience: If context was lost, re-read the Inputs section for design targets, check the Progress Checklist, then resume from the earliest incomplete step.
Output Format
| Stage |
Status |
Key Metrics |
Issues |
Action Items |
| RTL review |
... |
CDC crossings: N |
... |
... |
| Synthesis |
... |
Area: X um2, WNS: Y ns |
... |
... |
| P&R |
... |
Density: Z%, routing DRC: clean/N violations |
... |
... |
| Timing |
... |
Setup WNS: Y ns, Hold WNS: Z ns |
... |
... |
| Tape-out |
... |
LVS/DRC/ERC: clean |
... |
... |
Handoff
- Hand off to verification-methodology for post-synthesis or post-layout simulation.
- Hand off to forge/rtl-security-review if security-critical RTL needs audit.
Quality Checks
Evolution Notes
1---2name: chip-design-flow3description: Use when guiding RTL-to-GDSII chip design flow including RTL coding style, synthesis constraints, place-and-route strategy, timing closure, and tape-out checklist. Do not use for verification methodology (use verification-methodology) or SoC integration (use soc-integration).4---56# Chip Design Flow78## Purpose910Guide the end-to-end RTL-to-GDSII design flow, ensuring clean synthesizable RTL, realistic constraints, timing closure, and tape-out readiness.1112## Scope Constraints1314Reviews RTL source, constraint files, and EDA tool reports. Does not execute EDA tools or modify design files. Does not perform physical verification (LVS/DRC) directly.1516## Inputs1718- RTL source files or design specification19- Target technology node and foundry PDK20- Performance targets (clock frequency, area budget, power budget)21- Existing SDC constraints and floor plan, if any2223## Input Sanitization2425No user-provided values are used in commands or file paths. All inputs are treated as read-only analysis targets.2627## Procedure2829### Progress Checklist30- [ ] Step 1: Review RTL coding style31- [ ] Step 2: Define synthesis constraints32- [ ] Step 3: Plan floor plan and power strategy33- [ ] Step 4: Guide place-and-route34- [ ] Step 5: Achieve timing closure35- [ ] Step 6: Tape-out readiness checklist3637### Step 1: Review RTL Coding Style3839- Verify all RTL is synthesizable (no `initial`, `#delay`, `force` in design code).40- Check clock domain crossing (CDC) handling with proper synchronizers.41- Verify reset strategy (async vs sync, reset tree planning).42- Flag combinational loops and unintended latches.43- Confirm coding style matches foundry library expectations (e.g., no tri-state in core logic).4445### Step 2: Define Synthesis Constraints4647- Write SDC constraints: clock definitions, generated clocks, clock groups.48- Define input/output delay constraints relative to system timing.49- Set false paths and multicycle paths with justification.50- Specify max transition, max fanout, and max capacitance.51- Define operating conditions for multi-corner multi-mode (MCMM) analysis.5253### Step 3: Plan Floor Plan and Power Strategy5455- Define die/block area targets based on gate count estimates.56- Plan macro placement (memories, PLLs, IO pads).57- Design power grid: supply ring, power stripes, via density targets.58- Plan clock tree topology (balanced tree, mesh, hybrid).59- Define placement blockages and routing blockages.6061### Step 4: Guide Place-and-Route6263- Set placement density targets (70-80% for timing, lower for routability).64- Configure global routing and detail routing options.65- Define metal layer usage (signal vs clock vs power).66- Check antenna rule compliance.67- Verify routing DRC clean before timing optimization.6869### Step 5: Achieve Timing Closure7071- Run static timing analysis (STA) across all MCMM corners.72- Fix setup violations: buffer insertion, gate sizing, logic restructuring.73- Fix hold violations: delay cell insertion, useful skew adjustment.74- Verify clock skew and insertion delay targets.75- Check signal integrity: crosstalk delta delay, noise margin.7677### Step 6: Tape-Out Readiness Checklist7879- LVS clean (layout vs schematic match).80- DRC clean (design rule compliance).81- ERC clean (electrical rule check).82- Formal equivalence check (RTL vs netlist, netlist vs layout).83- IR drop analysis within spec.84- Antenna rule compliance verified.85- Metal fill inserted and DRC re-verified.8687> **Compaction resilience**: If context was lost, re-read the Inputs section for design targets, check the Progress Checklist, then resume from the earliest incomplete step.8889## Output Format9091| Stage | Status | Key Metrics | Issues | Action Items |92|-------|--------|-------------|--------|--------------|93| RTL review | ... | CDC crossings: N | ... | ... |94| Synthesis | ... | Area: X um2, WNS: Y ns | ... | ... |95| P&R | ... | Density: Z%, routing DRC: clean/N violations | ... | ... |96| Timing | ... | Setup WNS: Y ns, Hold WNS: Z ns | ... | ... |97| Tape-out | ... | LVS/DRC/ERC: clean | ... | ... |9899## Handoff100101- Hand off to verification-methodology for post-synthesis or post-layout simulation.102- Hand off to forge/rtl-security-review if security-critical RTL needs audit.103104## Quality Checks105106- [ ] RTL is synthesizable with no coding style violations107- [ ] CDC crossings identified and synchronized108- [ ] SDC constraints cover all clocks and inter-clock paths109- [ ] Floor plan has realistic area and power grid110- [ ] Timing closure achieved across all MCMM corners111- [ ] LVS, DRC, ERC clean112- [ ] Formal equivalence verified at each transformation stage113114## Evolution Notes115<!-- Observations appended after each use -->