Elgen: ferramenta para geração de circuitos combinatórios e sequenciais para Benchmark
Documento
-
- Visão geral
-
- Pesquisas
-
- Identidade
-
- Ver todos
-
Visão geral
membro de
orientado por
produzido em
tipo
data de publicação
Pesquisas
áreas de investigação
palavras-chave
-
benchmarks
-
combinational equivalence checking
-
formal verification
-
sat solvers
Identidade
identificador BrCris
-
fe63c0527b99a68d3ee053a4c3a3e28c
identificador Capes
-
20119732001010004P6-Publication
identificador Oasisbr
-
UFMG_2c0080af996895f3bc3bfa404c78f727