PV2 ⊧ Manthangenerates a depencency function linking two arguments of a given function

Data-driven approach to Boolean functional synthesis

Application domain/field

Boolean functional synthesis

Type of tool

Synthesis tool

Expected input

$F(X,Y)$ formula

Format:

Either as a QDIMACS or Verilog input file

Expected output

Boolean function $\Psi$ such that $\exists F(X,Y)=F(X,\Psi (X))$.

Internals

"In the context of applications, the sets $X$ and $Y$ are viewed as inputs and outputs, and the formula $F(X,Y)$ is viewed as the functional specification capturing the relation between $X$ and $Y$". It uses ABC, PicoSAT, Open-WBO and Scikit-Learn.