Extending Boolean Methods for Scalable Logic Synthesis

Document Details

Document Type
Pub Defense Publication
Publication Date
Jan 01, 2020
Source ID
10.1109/access.2020.3045014

Entities

People

  • Alan Mishchenko
  • Eleonora Testa
  • Giovanni De Micheli
  • Luca Amaru
  • Mathias Soeken
  • Patrick Vuillod
  • Pierre-Emmanuel Gaillardon

Organizations

  • Defense Advanced Research Projects Agency
  • Semiconductor Research Corporation
  • Swiss National Science Foundation