SAT-Based Methods for Circuit Synthesis

Roderick Bloem, Uwe Egly, Patrick Klampfl +2

Reactive synthesis supports designers by automatically constructing correct hardware from declarative specifications. Synthesis algorithms usually compute a strategy, and then cons…