6 citations · 8 across the 11 of their papers we have counts for
Showing 2018Show all
2 papers · 1 filter
cs.LO2018
Exact Synthesis of ESOP Forms
Heinz Riener, Rüdiger Ehlers, Bruno Schmitt +1
We present an exact synthesis approach for computing Exclusive-or Sum-of-Products (ESOP) forms with a minimum number of product terms using Boolean satisfiability. Our approach fin…
cs.DC2018
Developing Synthesis Flows Without Human Knowledge
Cunxi Yu, Houping Xiao, Giovanni De Micheli
Design flows are the explicit combinations of design transformations, primarily involved in synthesis, placement and routing processes, to accomplish the design of Integrated Circu…