Giovanni De Micheli, Mathias Soeken, Winston Jason Haaswijk
Exact synthesis is a versatile logic synthesis technique with applications to logic optimization, technology mapping, synthesis for emerging technologies, and cryptography. In recent years, advances in SAT solving have lead to a heightened research effort ...
2020