Verificação em SystemVerilog: Formal vs Simulação!
SystemVerilog
Verificação formal
Simulação
Testbenches
Propriedades
Restrições
Ferramentas EDA
Sistemas digitais
Cenários de teste
Corner cases