Structural certificates on your production designs. Per-engagement pricing under mutual NDA.
ENGAGEMENT · PER ARTIFACT
Price
$10K
1,000 components · per artifact
Delivery
5 business days
after NDA + intake
What you receive
Structural fingerprint (partition tree T)
A deterministic hierarchical decomposition of your design’s interaction graph. Matching trees across revisions prove internal structure is unchanged — usable as a regression gate, supply chain audit, or tapeout sign-off artifact.
Certificate hash (SHA-256)
256-bit SHA-256. Store it, version-control it, include it in compliance packages. If the hash matches across revisions, the structure is identical — binary, no ambiguity.
Replay script & verification instructions
Pinned binary commit hash + build args. Re-run independently to confirm the certificate. Version pinning confirmed at engagement open per SOW.
Benchmark comparison
Your artifact benchmarked against a standard industry reference suite. Comparison delivered with every engagement.
Isolation & privacy
Engagements run in isolation; outputs are private to you. The free portal at / is the only surface that produces public proofs.
Accepted formats
ISCAS .benchAIGER .aig/.aagYosys JSONVerilogSystemVerilogVHDLBLIFEDIFBTOR2DIMACS CNFSMT-LIB2other by agreement
* Full refund within 14 days of delivery if the engagement fails either acceptance criterion: (1) determinism — identical resubmission produces a different T; (2) consistency — a property of T the customer can independently demonstrate contradicts the delivered partition. Refund mechanics, dispute resolution, and out-of-scope criteria are governed by the executed MSA.