Harmonic leva Aristotle para verificação de software e de chips
文章分类: 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.
阅读全文