Harmonic takes Aristotle from math proofs to software and chip verification
Co-founders Tudor Achim and Vlad Tenev are extending Harmonic's formally verified reasoning into C code and Verilog designs.
By RuntimeWire Staff · Published
Primary source: Reuters
Why it matters
Harmonic is taking its formal-proof approach into engineering workflows. The product's value will depend on whether it can verify real C code and chip designs, beyond its mathematical reasoning work.
Harmonic is expanding its Aristotle AI from mathematical proofs into verification of C software and Verilog chip designs, extending a research bet by co-founders Tudor Achim (@tachim) and Vlad Tenev (@vladtenev) into engineering work where a plausible answer is not enough. Reuters reported the expansion on October 27th.…
When you purchase through links in our articles, we may earn a small commission. This doesn’t affect our editorial independence.