Curso de Verificação Formal de Hardware é oferecido aos alunos do DCC/UFMG
O Departamento de Ciência da Computação (DCC) da UFMG irá oferecer, no segundo semestre de 2024, um curso de Verificação Formal de Hardware ministrado por profissionais da empresa Cadence Design Systems. O curso irá introduzir os alunos aos conceitos e técnicas fundamentais utilizados para garantir a correção e a confiabilidade dos projetos de hardware. Este […]
Curso de Verificação Formal de Hardware é oferecido aos alunos do DCC/UFMG Read More »
O Departamento de Ciência da Computação (DCC) da UFMG irá oferecer, no segundo semestre de 2024, um curso de Verificação Formal de Hardware ministrado por profissionais da empresa Cadence Design Systems. O curso irá introduzir os alunos aos conceitos e técnicas fundamentais utilizados para garantir a correção e a confiabilidade dos projetos de hardware. Este