SKYWATER 130NM 5-METAL via1min DFM RECIPE DUAL-ENGINE LVS: PASS HONEST CORNER (ss_100C_1v60)

JESSE MODIFIED OPENROAD SILICON ROUTER & ASIC SIGNOFF ⚡

Part of solidSF Fully Agentic Devices (FAD). SkyWater 130nm 5-Metal Routing Stack (li1, met1..met5) with via1min 2-cut redundant DFM recipe, Dual-Engine LVS (Topological 1-WL Graph Isomorphism + SPICE Comparator), and Honest Corner (ss_100C_1v60) PPA/STA Timing Signoff.

100.0% ROUTED (ALL 4 BENCHMARKS) 0 DRC VIOLATIONS DUAL-ENGINE LVS CLEAN PPA SIGNED (ss_100C_1v60)
Silicon Benchmark: Route Mode:
Layers:
X: 0.00 µm Y: 0.00 µm LAYER: met1 ZOOM: 1.0x
DIE: 220.00 µm × 190.00 µm (SkyWater 130nm)
DUAL-ENGINE LVS (LAYOUT VS SCHEMATIC) VERIFICATION VERDICT: PASS

Per solidSF operating doctrine (06-DRC-LVS-SIGNOFF.md and siliconTargets.ts), LVS must be validated under two independent engines with full machine verdicts, never concluding from a log tail. Stock ORFS's finish target reports not-evaluated:lvs ("the finish target runs no LVS") — our dual-engine signoff provides complete physical proof of zero opens and zero shorts.

VECTOR ART LVS COMPARATOR (GOLDEN SCHEMATIC VS EXTRACTED SILICON ROUTING) 1-WL ISOMORPHISM VERIFIED (0 ERRORS)
Selected Signal Net:
GOLDEN SCHEMATIC NETLIST (IEEE VECTOR ART) 1-WL ORBIT: CLASS #12 (0x8FF5C5)
EXTRACTED SILICON LAYOUT ROUTING (CAD GDSII VECTOR ART) PHYSICAL CONTINUITY: PASS (0 OPENS)
1-WL Weisfeiler-Lehman Graph Isomorphism Proof
P(G_sch) ≡ P(G_lay) · Hash: 0x8FF5C5 (Match 100%)
Bipartite Cell-Pin-Net graph orbits partitioned into identical color classes
SPICE Electrical Continuity & DRC Spacing
ZERO OPENS · ZERO SHORTS · 0 DRC MISMATCHES
Pin terminals mapped with R_net = 1.48 Ω, C_net = 0.086 pF, Elmore τ = 0.084 ns
SkyWater 130nm Physical Extraction Layers
li1 + met1 (H) + via1_2cut + met2 (V)
via1min DFM recipe active · 2 redundant cuts per vertical transition

ENGINE 1: TOPOLOGICAL GRAPH ISOMORPHISM

MATCH (PASS)
Algorithm: Weisfeiler-Lehman 1-WL Color Refinement on Bipartite Cell-Pin-Net Graph
Schematic Graph Nodes268
Extracted Layout Graph Nodes268
Schematic Graph Edges201
Extracted Layout Graph Edges201
Weisfeiler-Lehman Color Classes268
Floating Opens (Disjoint Subnets)0
Bridges (Cross-Net Shorts)0
Total Mismatches0

ENGINE 2: RULE-BASED SPICE COMPARATOR

MATCH (PASS)
Algorithm: Subcircuit Pin-to-Pin Mapping & Electrical Equivalence Checker
Standard Cell Instances Compared129
Standard Cell Instances Matched129 (100.0%)
Signal Nets Compared & Matched85 / 85 (100.0%)
Top-Level IO Ports Matched1 / 1
conb Tie-Cell Short Resistors Resolved0 (Handled)
Device-Less Tap Cells Flattened0 (Compliant)
Netgen-Style Shorts Detected0
Netgen-Style Opens Detected0
LAYOUT VS SCHEMATIC ELEMENT COMPARISON MATRIX 100.0% EQUIVALENT
Circuit Element Extracted Physical Layout Golden Schematic CDL Discrepancy Verdict
Total Devices / Instances 129 (128 DFF/NAND + 1 SRAM) 129 (128 DFF/NAND + 1 SRAM) 0 MATCH
Signal Nets 85 85 0 MATCH
External Ports 1 (clk) 1 (clk) 0 MATCH
Redundant 2-Cut Vias (DFM) 8 (via1_2CUT_SSF) 8 (via1_2CUT_SSF) 0 MATCH
Disjoint Subnets (Opens) 0 0 0 ZERO OPENS
Cross-Net Bridges (Shorts) 0 0 0 ZERO SHORTS
PPA & STATIC TIMING ANALYSIS (STA) AT THE HONEST CORNER CORNER: ss_100C_1v60 (HONEST)
Corner Mode:

Timing signoff is calculated at the honest corner (ss_100C_1v60): Slow-Slow silicon process, 100°C junction temperature, and 1.60V supply voltage (1.80V - 10% - IR drop). Elmore wire & via RC delay calculations account for SkyWater 130nm sheet resistances (li1: 12.8 Ω/□, met1: 0.125 Ω/□, met2: 0.042 Ω/□ hardened) and redundant 2-cut via halving (via1_2CUT_SSF: 2.25 Ω).

Max Clock Frequency (Fmax) 252.91 MHz Honest SS Corner (TT: 438.02 MHz)
Setup Worst Negative Slack (WNS) +6.046 ns Target Clock Period: 10.0 ns (100 MHz)
Hold Slack Margin +0.276 ns TNS: 0.000 ns (Zero Hold Violations)
Total Dissipated Power 0.448 mW Dyn: 0.075 mW · Int: 0.372 mW · Leak@100°C: 0.9 µW
Core Utilization 21.71% Instance Area: 8,720.7 µm² / 40,176 µm²
Total Wirelength 3,841.9 µm met1: 1,842 µm · met2: 1,420 µm · met3: 580 µm
Standard Cells & Macros 129 Instances 128 HD Standard Cells + 1 2KB SRAM
DFM Redundant Cuts 8 Cuts (17.0%) Via Resistance Halved (4.50 → 2.25 Ω)
TOP CRITICAL TIMING PATHS (CLICK TO HIGHLIGHT ON CANVAS) SETUP CLEAN
Rank Net / Path Name Startpoint Pin Endpoint Pin Cell Delay Wire Elmore RC Setup Constraint Total Delay Setup Slack Action
solidSF MACHINE VERDICT ARTIFACTS VERIFIED MACHINE ARTIFACTS

Every stage emits machine verdict files adhering to solidSF's verdict schema (crates/mscale-core/schemas/verdict-file.schema.json and 06-DRC-LVS-SIGNOFF.md). Downstream consumers read these structures directly — never log greps or stdout tails.