semiAIfoundry

Custom silicon ecosystem · Atlas v1.3.0

PDKs, synthesis and physical closure

Converts logical behavior into a manufacturable layout under electrical constraints.

Explore in AtlasDesign abstractions to manufactured package; not one physical scale

Learning objectiveDescribe how process rules and extracted electrical effects constrain a logical design.

The mechanism

A process design kit connects circuit design to a fabrication process through device models, layer definitions, design rules and related technology files. Synthesis maps RTL into a cell library; placement and routing assign locations and wires. Extracted resistance and capacitance alter timing and power estimates, so a design that passed logic simulation may need changes after layout. Clock distribution, voltage drop and thermal conditions further constrain operation. OpenROAD provides a public sequence of digital implementation tools, while SKY130 provides an accessible PDK example. Those educational references do not disclose leading-edge foundry recipes or automatically qualify a design for production.

  1. Select a process and qualified libraries whose devices, memories and interfaces support the requirements.
  2. Synthesize the RTL and create a floorplan that reserves macro, routing and power-delivery space.
  3. Place cells, distribute clocks and route signals under the technology’s geometry rules.
  4. Extract parasitics and analyze setup, hold, power integrity and other required corners.
  5. Iterate architecture or implementation where constraints conflict, then check physical connectivity and rule compliance with the required signoff flow.

Science and assumptions

Timing closure model

Slack=Trequired−(Tcell+Twire)\mathrm{Slack}=T_{\mathrm{required}}-(T_{\mathrm{cell}}+T_{\mathrm{wire}})

Setup slack is the path’s available timing budget minus its cell and wire delays.

Symbols and units
Slack
Available setup timing margin on the selected path

s

T_required
Available required-arrival timing budget

s

T_cell
Cell delay contribution on that path

s

T_wire
Extracted wire delay contribution on that path

s

All terms are seconds along a selected timing path; wire delay follows the extracted physical interconnect.

Assumptions Simplified setup-path model; real analysis includes clock skew, uncertainty, corners and separate hold checks.

Engineering example

Synthetic path: a 1.0 ns requirement and 0.7 ns cell delay leave 0.3 ns for wires and margin. If extracted wiring adds 0.4 ns, the path misses by 0.1 ns before additional uncertainty.

Distinctions and tradeoffs

Tapeout-ready layout requires more than a clean RTL simulation; a PDK is neither a chip design nor a universal recipe transferable between nodes.

Upsizing a cell can improve timing while raising capacitance and power; adding buffers or widening wires consumes placement and routing resources.

An accelerator’s dense arithmetic is useful only if clocks, memory interfaces and power delivery meet constraints across the intended operating range.

Specifications and interfaces

PDK boundary
Models and rules for a specific process

A PDK is not the complete manufacturing recipe.

Timing slack
Required arrival − actual arrival, seconds

Positive setup slack alone does not establish hold, power or reliability closure.

Interfaces

RTL, libraries and PDK Input
Logical behavior, cells, parasitic models and layout rules
Verified physical database Output
Placed cells, routed nets and signoff evidence

Check your understanding

A longer routed wire causes a timing failure. Why might pre-layout simulation miss it?

  1. The actual interconnect parasitics were not yet represented accurately
  2. RTL determines physical wire length
  3. All logic gates have zero capacitance
Answer and reasoning

The actual interconnect parasitics were not yet represented accurately

Physical placement and routing introduce resistance and capacitance that affect signal delay beyond functional logic behavior.

Evidence and scope

SKY130’s open documentation warns that the open release is not intended for production use. These examples explain the flow without implying access to commercial signoff decks.

Use the manufacturing investigation to trace compatible inputs, assembly and operating constraints; no current standalone calculator models this lesson’s full mechanism.

Sources

Published lesson data · Atlas releases and licensing

Continue exploring

Foundations

Related lessons