A static timing analysis visualizer built for VLSI students. Trace paths through the design, watch slacks animate in real time, and learn setup and hold with diagrams that move.
A focused tool for learning static timing analysis — not a commercial-grade sign-off engine. The same math, the same models, the same visual language, just at a pace a student can keep up with.
Each path renders as a diagram with annotated delays, slack, and arrival/required windows — the way the textbook draws them, but interactive.
Trace the same path across SS, TT, FF, and SF corners in one click. See how slack moves with PVT — the thing you can't learn from a single waveform.
Drop in a Liberty (.lib), SDF, or SPEF and TimingLyzer reads it. No proprietary file formats, no schema to learn.
All four timing checks, with the formulas visible on the diagram. Hover any cell to see the equation; click to pin the explanation.
Every check, every corner, every glitch has a one-paragraph explainer that says what it is, why it matters, and how to fix it. No jargon for jargon's sake.
Compare two pipelines, two corners, or two fixes in a split view. The fastest way to develop intuition for what actually changes the slack number.
Upload a synthesized netlist, a Liberty file, and (optionally) an SDF. TimingLyzer parses them and builds the timing graph automatically.
Search by start point, end point, or slack. The path list updates as you type, and each path gets a one-line summary in the side panel.
Open the path. The diagram animates — data arrival, required window, slack — and highlights exactly where the timing is failing.
No "premium" corner, no per-path metering, no enterprise tier that gates the basics.
No. TimingLyzer is a learning tool — it implements the same algorithms at a scale a student can read, trace, and learn from. For tape-out sign-off, use a commercial tool. We'll be honest about that boundary.
Liberty (.lib) for cell libraries, SDF for back-annotation, and SPEF for parasitics. Verilog netlists are imported for path tracing. We support the standard subsets used in academic and small-team projects.
Basic CDC checks (recovery and removal) are supported on Pro and above. Full multi-domain CDC analysis is out of scope for a learning tool — we point you toward the right commercial tools when you outgrow us.
Yes — Liberty, SDF, and SPEF are standards-based, so you can round-trip with any commercial tool. We don't have a proprietary format to convert.
Through our education partner — a one-time check using your school email or enrollment document. The free plan renews automatically as long as you're a student.
Everything runs in your browser by default. Designs save to your local machine or to a private workspace you control. We never see your netlist unless you explicitly share it.
Free for verified students. Free to try for everyone else. No credit card, no demo required.