4 citations · 5 across the 3 of their papers we have counts for
3 papers
OpenSEA: Semi-Formal Methods for Soft Error Analysis
Patrick Klampfl, Robert Koenighofer, Roderick Bloem +3
Alpha-particles and cosmic rays cause bit flips in chips. Protection circuits ease the problem, but cost chip area and power, and so designers try hard to optimize them. This leads…
Satisfiability-Based Methods for Reactive Synthesis from Safety Specifications
Roderick Bloem, Uwe Egly, Patrick Klampfl +3
Existing approaches to synthesize reactive systems from declarative specifications mostly rely on Binary Decision Diagrams (BDDs), inheriting their scalability issues. We present n…
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…