Exploració per tema "Boolean decomposition"
Ara es mostren els items 1-1 de 1
-
Boolean decomposition for AIG optimization
(Association for Computing Machinery (ACM), 2017)
Text en actes de congrés
Accés obertRestructuring techniques for And-Inverter Graphs (AIG), such as rewriting and refactoring, are powerful, scalable and fast, achieving highly optimized AIGs after few iterations. However, these techniques are biased by the ...