Lyra: um framework generativo para verificar processadores RISC-V
Verificar designs de processadores RISC-V complexos é um desafio importante. Os métodos tradicionais, que dependem de simular com software lento e usar estímulos de teste aleatórios, representam um gargalo significativo. Lyra surge como uma solução inovadora que aborda esse problema pela raiz, integrando inteligência artificial diretamente no fluxo de trabalho. 🚀
Uma abordagem inteligente para gerar testes
Em vez de confiar em mutações cegos ou vetores aleatórios, Lyra incorpora um modelo generativo especializado chamado LyraGen. Este modelo compreende profundamente a arquitetura do conjunto de instruções (ISA) do processador. Sua função principal é produzir sequências de instruções semanticamente ricas e de alta qualidade, projetadas especificamente para explorar comportamentos complexos e cantos do design de hardware que os métodos aleatórios ignoram.
Vantagens chave do LyraGen:- Gera estímulos de teste que compreendem a semântica das instruções RISC-V.
- Explora de maneira direcionada estados internos complexos do hardware.
- Substitui a aleatoriedade simples por sequências de instruções significativas.
O que o design de chips precisa é que uma IA explique quais instruções são interessantes para executar, não bater no teclado aleatoriamente até que algo falhe.
Aceleração massiva por meio de execução em hardware
A arquitetura do Lyra não é apenas inteligente na geração de testes, mas também extremamente rápida em sua execução. O sistema implementa a unidade sob teste e um modelo de referência de ouro em paralelo dentro de um SoC com FPGA. Essa abordagem permite comparar as diferenças entre ambos a uma velocidade de hardware, alcançando uma aceleração monumental. Além disso, facilita coletar métricas de cobertura de forma massiva e em tempo real, algo proibitivo com simuladores de software.
Resultados da verificação acelerada:- Executa a comparação e verificação à velocidade nativa da FPGA.
- Recolecta dados de cobertura de maneira exaustiva e eficiente.
- Combina a geração inteligente do LyraGen com a velocidade do hardware.
Resultados empíricos que demonstram sua superioridade
Os testes experimentais com Lyra mostram melhorias quantificáveis e substanciais sobre os verificadores de software tradicionais mais avançados. O sistema consegue uma cobertura de design até 1.27 vezes maior, encontrando mais casos de borda e estados críticos. Em termos de velocidade, acelera o processo completo de verificação de ponta a ponta entre 107 e 3343 vezes. Outro benefício chave é uma dificuldade de convergência consistentemente menor, o que se traduz diretamente em reduzir o custo total e o tempo necessário para verificar um design complexo. ✅