> ktool --open top_block.sch
NETS 4,812 · UNRESOLVED 0
SYMBOL LIB v3.2 loaded
PIN CHECK ... PASS
Schematic Entry · Stage 01

KTool

Schematic capture built for large SoC designs — fast, keyboard-driven entry with live net and pin validation as you draw.

Watch the KTool demoVideo placeholder — demo coming soon
  • Keyboard-first schematic entry for large block counts
  • Live net, pin, and symbol validation while you work
  • Clean handoff into place & route with PnrViewer
  • Version-friendly file format for team review
See pricing Available
CORE
MACRO
ROUTE
I/O RING
DRC
Physical Design · Stage 02

PnrViewer

Explore post place-and-route layouts, inspect congestion, and trace nets directly against your floorplan without leaving the browser.

Watch the PnrViewer demoVideo placeholder — demo coming soon
  • Fast layout viewer for large place & route databases
  • Congestion and density heatmaps at the block level
  • Click-to-trace net highlighting across hierarchy
  • Side-by-side compare between placement iterations
See pricing Available
CHECK connectivity ... PASS
CHECK power domains ... PASS
CHECK top-level pins ... 2 WARN
CHECK clock domains ... PASS
SoC Verification · Stage 03

SocChecker

Run SoC-level connectivity and integration checks across blocks before you commit to the next design stage.

Watch the SocChecker demoVideo placeholder — demo coming soon
  • Cross-block connectivity and power-domain checks
  • Top-level pin and clock-domain verification
  • Clear pass / warn / fail reporting with source tracebacks
  • Runs incrementally as blocks are updated
See pricing Available

Download the SocChecker application for your platform, then generate your license.lic on the License Generator tab to unlock it.

Linux/Unix: after downloading, make it executable before running it — chmod +x soc_checker_gui && ./soc_checker_gui.

Windows: "Windows protected your PC" when you open it

soc_checker_gui.exe is a new app without a paid publisher certificate yet, so Windows shows this the first time you run it. It's safe to continue:

  1. Click More info on the blue screen.
  2. Click Run anyway.

This only happens on first launch on a given machine.

How to find your hostid

Your license.lic is locked to one machine's hostid. Get yours one of these ways, then paste it into the License Generator tab:

  1. Command line (fastest): run the app with --show-hostid — on Windows: soc_checker_gui.exe --show-hostid, on Linux: ./soc_checker_gui --show-hostid.
  2. From the app itself: open SocChecker and check its License Info tab — your hostid is shown there.
  3. From a denial banner: if you launch the app without a valid license.lic yet, it shows a banner naming this machine's hostid.

Sample netlists, DEF files, and a standard cell library for trying out SocChecker end-to-end.

These are synthetic samples sized for a quick SocChecker test run, not a real production design.

Tcl scripting labs for SocChecker — work through the drills, then check your approach against the worked solutions.

CLK ROOT
H-TREE
MESH
LEAF
SKEW ±4ps
Clock Tree · Stage 04

CTSMeshViewer

Visualize clock tree and mesh structures after CTS, and spot skew or balance issues before they cost you timing closure.

Watch the CTSMeshViewer demoVideo placeholder — demo coming soon
  • Interactive clock tree and mesh structure viewer
  • Skew and latency overlays across the clock network
  • Leaf-level drill-down to individual sinks
  • Flags imbalance before it reaches STA
PATH reg2reg  slack +0.042ns
PATH in2reg   slack -0.008ns VIOLATION
CORNERS ss0p9v125c, ff1p1vm40c
RUN complete · 2 paths flagged
Timing Signoff · Stage 05

StaAgent

An automated agent that runs static timing analysis passes across corners and surfaces the paths that actually need your attention.

Watch the StaAgent demoVideo placeholder — demo coming soon
  • Automated STA runs across multiple timing corners
  • Setup, hold, and slack reporting per path group
  • Violations ranked and summarized, not just dumped as logs
  • Re-runs automatically as CTSMeshViewer output changes
BLOCK A
ABUT
FEEDTHRU
ABUT
BLOCK B
SoC Partitioning · Stage 06

SocPartitionFeedthroughOptimizer

Optimize feedthrough routing across abutted blocks when partitioning a large SoC into physical sub-blocks — currently in development.

Watch the SocPartitionFeedthroughOptimizer demoVideo placeholder — demo coming soon
  • Feedthrough planning across abutted block boundaries
  • Partition-aware optimization for large SoC floorplans
  • Designed to slot in after PnrViewer, ahead of final signoff
  • Early access opening gradually — join the waitlist
Join the waitlist In development
How it fits together

One flow, three phases.

Move through the phases in order, or jump straight to the stage you're working on.

01 · Capture

KTool

Start here to capture and validate a schematic before it moves to physical implementation.

02 · Implement

PnrViewer + CTSMeshViewer

Move here to place, route, and build out the clock tree, tracking congestion and skew as you go.

03 · Verify & sign off

SocChecker + StaAgent + Partition Optimizer

Finish here to verify connectivity, close timing, and optimize partitioning before tapeout.

Ready when you are

Pick up where your flow leaves off.

Five tools are available today. SocPartitionFeedthroughOptimizer is opening up gradually — join the waitlist to get notified.