Functional Synthesis via Input-Output Separation

Supratik Chakraborty, Dror Fried, Lucas M. Tabajara +1

Boolean functional synthesis is the process of constructing a Boolean function from a Boolean specification that relates input and output variables. Despite significant recent deve…