Testar chips de computador do mundo real é muito mais lento do que modelá-los virtualmente Sergii Gnatiuk / Alamy
Testar novos chips de computador para segurança e confiabilidade geralmente leva mais tempo do que projetá-los. Um novo método para modelá-los virtualmente e testá-los com programas convencionalmente usados para software em vez de hardware pode reduzir o tempo de desenvolvimento.
Os testes de hardware atuais investigam aleatoriamente um chip para encontrar falhas ou procuram testar formalmente todas as entradas e saídas possíveis em cada chip de computador. A primeira abordagem pode facilmente ignorar problemas e a segunda rapidamente se torna inviável para todos, exceto …