Boolean functional synthesis: hardness and practical algorithms

Given a relational specification between Boolean inputs and outputs, Boolean functional synthesis seeks to synthesize each output as a function of the inputs such that the specification is met. Despite significant algorithmic advances in Boolean functional synthesis over the past few years, there ar...

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	Formal methods in system design Jg. 57; H. 1; S. 53 - 86
Hauptverfasser:	Akshay, S., Chakraborty, Supratik, Goel, Shubham, Kulal, Sumith, Shah, Shetal
Format:	Journal Article
Sprache:	Englisch
Veröffentlicht:	New York Springer US 01.07.2021 Springer Nature B.V
Schlagworte:	Algorithms Benchmarks Boolean Boolean algebra CAE) and Design Circuits and Systems Complexity theory Computer-Aided Engineering (CAD Electrical Engineering Engineering Functionals Hardness Software Engineering/Programming and Operating Systems Specifications Surface hardness Synthesis Skolem functions Boolean functional synthesis Expansion-based algorithms
ISSN:	0925-9856, 1572-8102
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Schreiben Sie den ersten Kommentar!