34 citations · 42 across the 7 of their papers we have counts for
3 papers · 1 filter
Synthesizing Adaptive Test Strategies from Temporal Logic Specifications
Roderick Bloem, Goerschwin Fey, Fabian Greif +4
Constructing good test cases is difficult and time-consuming, especially if the system under test is still under development and its exact behavior is not yet fixed. We propose a n…
Exact Synthesis of ESOP Forms
Heinz Riener, Rüdiger Ehlers, Bruno Schmitt +1
We present an exact synthesis approach for computing Exclusive-or Sum-of-Products (ESOP) forms with a minimum number of product terms using Boolean satisfiability. Our approach fin…
The EPFL Logic Synthesis Libraries
Mathias Soeken, Heinz Riener, Winston Haaswijk +8
We present a collection of modular open source C++ libraries for the development of logic synthesis applications. These libraries can be used to develop applications for the design…