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 Ψ such that F(X,Y)=F(X,Ψ(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.
Synthesis

Links

Repository: https://github.com/meelgroup/manthan

Last commit date

8 February 2021

Related papers

https://doi.org/10.1007/978-3-030-53291-8_31

Last publication date

14 July 2020

Related tools

Compared in the paper to C2Syn, BFSS and CADET.

ProVerB specific

View/edit source (Markdown)



ProVerB is a part of SLEBoK. Last updated: July 2022.