Extending Boolean Methods for Scalable Logic Synthesis.

Eleonora Testa Luca G. Amarù Mathias Soeken Alan Mishchenko Patrick Vuillod Pierre-Emmanuel Gaillardon Giovanni De Micheli

Published in: IEEE Access (2020)

Keyphrases