BDD-Based Boolean Functional Synthesis

CAV, pp. 402-421, 2016.

Cited by: 23|Bibtex|Views20|Links
EI

Abstract:

Boolean functional synthesis is the process of automatically obtaining a constructive formalization from a declarative relation that is given as a Boolean formula. Recently, a framework was proposed for Boolean functional synthesis that is based on Craig Interpolation and in which Boolean functions are represented as And-Inverter Graphs (...More

Code:

Data:

Your rating :
0

 

Tags
Comments