Harmonic leva Aristotle para verificação de software e de chips
Catégories: Inteligência Artificial
A Harmonic anunciou em 27 de outubro a expansão do Aristotle, que passa a verificar software em C e projetos de chips em Verilog, além das provas matemáticas.
Lire la suite