Disciplina Cadence 2026/1

[Fernando Magno Quintao Pereira]

Oi, pessoal,

Vocês poderiam divulgar a disciplina da Cadence para mim? Trata-se da
segunda oferta na UFMG.

Segue abaixo um anúncio da disciplina (e fiquem à vontade para matricular-se!):
--------------------------------------

O Departamento de Ciência da Computação (DCC) da UFMG irá oferecer, no
primeiro semestre de 2026, um curso de dois créditos sobre Verificação
Formal de Hardware. O curso será ministrado por profissionais da
empresa Cadence Design Systems.

Este curso aborda métodos de verificação formal, como verificação de
modelos (model checking), que são usados para verificar rigorosamente
as especificações de hardware em relação às implementações do projeto.
Os alunos matriculados aprenderão sobre técnicas de verificação
baseadas em simulação, incluindo a criação de testbenches e análise de
cobertura. As aplicações práticas incluem a verificação de circuitos
digitais, processadores e sistemas de hardware complexos, com foco em
ferramentas e metodologias de verificação padrão da indústria. Ao
final do curso, espera-se que os alunos tenham adquirido as
habilidades necessárias para identificar e corrigir falhas de projeto
em sistemas de hardware antes de serem fabricados.

Programa da Disciplina:
https://homepages.dcc.ufmg.br/~fernando/coisas/DisciplinaCadence.pdf

Data e horário:
Terça-feira, 19h00-20h40 (30 horas/2 créditos).

Local:
ICEx, sala 1009

Público alvo:
Alunos de sistemas de informação, matemática computacional, ciência da
computação e engenharia da computação, e alunos de pós-graduação em
Ciência da Computação.

Dúvidas?
Entre em contato com o professor Fernando Quintão (fern...@dcc.ufmg.br)

--------------------------------------

Abraços,

Fernando