![]() |
| * | 2008 | |
|---|---|---|
| 2 | EE | Fabrício Vivas Andrade, Leandro Maia Silva, Antônio Otávio Fernandes: Improving SAT-based Combinational Equivalence Checking through circuit preprocessing. ICCD 2008: 40-45 |
| 1 | EE | Fabrício Vivas Andrade, Leandro Maia Silva, Antônio Otávio Fernandes: BenCGen: a digital circuit generation tool for benchmarks. SBCCI 2008: 164-169 |
| 1 | Fabrício Vivas Andrade | [1] [2] |
| 2 | Antônio Otávio Fernandes | [1] [2] |