A live conformance run on a clean GitHub Actions runner.
vyges mcp. The AI agent is handed only a plain-English request
and the engines' self-descriptions, and must decide which engine to run and which input to
feed it; the engine then executes for real and returns its own content-addressed result. The
deterministic column replays known-good calls with no model. The intelligence is in the
routing — the ground truth is reproducible without any AI.
vyges gds-view — the AI signs off blocks like this below.| Engine · task · input | Deterministic known-good replay | AI agent openai/gpt-4.1 |
|---|---|---|
⏱️ sta-si “Run static-timing sign-off on the design described by seq.sta and tell me whether setup and hold timing are met.” input: seq.sta | PASS | PASS |
🕸️ extract “Extract RC parasitics for the design in counter.ext and report the net count.” input: counter.ext | PASS | PASS |
🖼️ gds-view “Render the layout in sample.gds to an image.” input: sample.gds | PASS | PASS |
🔍 lvs “Run LVS for the job in extract.lvs and report whether the layout matches the schematic.” input: extract.lvs | PASS | PASS |
🔋 power “Estimate power for the design in counter.pwr and report total dynamic power.” input: counter.pwr | PASS | PASS |
⚡ em-ir “Run EM / IR-drop sign-off for the design in block.emir and report whether the IR-drop limit is met.” input: block.emir | PASS | PASS |
🌡️ thermal “Run thermal analysis for the design in block.thermal and report the peak temperature.” input: block.thermal | PASS | PASS |
〰️ glitch “Run glitch/hazard analysis on the netlist hazard.v using cells.lib and report the hazard count.” input: hazard.v, cells.lib | PASS | PASS |
🟰 lec “Run logical-equivalence checking between golden.v and revised_ok.v (using cells.lib) and report whether they are equivalent.” input: golden.v, revised_ok.v, cells.lib | PASS | PASS |
📐 drc “Run DRC on the layout edge_sensor_glue.gds (a real taped-out sky130 block), with rule deck sky130-min.drc and top cell edge_sensor_glue, and report the violation count.” input: edge_sensor_glue.gds, sky130-min.drc, edge_sensor_glue | PASS | PASS |
🔀 cdc “Run clock-domain-crossing checks on cdc_demo.v (using cells.lib and cdc_demo.sdc) and report unsynchronized crossings.” input: cdc_demo.v, cells.lib, cdc_demo.sdc | PASS | PASS |
📊 char “Run characterization for the job and report the model fit.” input: REPLACE.char | SKIP | SKIP |