WHO PAYS
EDA & verification teams
Symbolic-compute vendors and advanced research labs.
04 / BEACHHEAD
The entry product is narrow by design: solve a painful irregular workload, prove the fabric, then expand the same architecture.
Next: RoadmapWHO PAYS
Symbolic-compute vendors and advanced research labs.
WORKLOAD
Term rewriting, proof search, and graph normalization.
PRODUCT
Compiler/runtime SDK plus paid customer co-design.
BUYING TEST
Targeting ≥5× speedup and ≥3× performance per watt.
EXPANSION LOGIC