Buscas alternativas:
circuitos » circuito (Expandir a busca), circuit (Expandir a busca)
"Circuitos integrados Verificação" » "Circuitos integrado Verificação" (Expandir a busca), "Circuitos integrada Verificação" (Expandir a busca)
circuitos » circuito (Expandir a busca), circuit (Expandir a busca)
"Circuitos integrados Verificação" » "Circuitos integrado Verificação" (Expandir a busca), "Circuitos integrada Verificação" (Expandir a busca)
1
Assuntos:
“...Circuitos integrados Verificação...”
Um núcleo inteligente para processamento distribuído de resolvedores SAT em verificação por equivalências
Dissertação
2
Assuntos:
“...Circuitos integrados Verificação...”
Contribuições para o problema de verificação de equivalência combinacional
Tese
3
Assuntos:
“...Circuitos integrados Verificação...”
Verificação de equivalência de circuitos com aceleração por largura e aprendizado de cláusulas de conflito
Dissertação