Tensordyne gave Aristotle its hardest block to verify: 12.2 million gate equivalents. 185 properties proved, 56 refuted. Jonathan Ko, their verification engineer, calls it "unthinkable with traditional tools." Read the the full @TensordyneInc case study: harmonic.fun/aristotle/case-…
Tensordyne’s most complex block and early exploration for its next chip | Harmonic

Tensordyne’s most complex block and early exploration for its next chip | Harmonic

Aristotle proved 185 properties of Tensordyne’s most complex block, refuted 56 with counterexamples, and found bugs up to 110,000 cycles deep.

harmonic.fun

Oct 28, 2026 · 4:00 PM UTC

4
19
2
97
7,964
RelevantRecentLikes
Cool stuff! What kind of properties were tested?
160
How can I invest in your project?
35
:0
3
389
Load more replies