Aristotle brings verification to C code and Verilog designs

Harmonic announced on October 27, 2026, that it was bringing Aristotle to code verification, starting with C and Verilog. The company says AI is writing more code than anyone can review, motivating its work on an AI verifier. A separate post quoting the announcement says Aristotle can verify C code and control- and data-path properties of Verilog designs. It describes this as a first step toward making software and hardware verified by default.