no code implementations • 15 Nov 2020 • Roderick Bloem, Hana Chockler, Masoud Ebrahimi, Dana Fisman, Heinz Riener
We define the problem of learning a transducer ${S}$ from a target language $U$ containing possibly conflicting transducers, using membership queries and conjecture queries.
3 code implementations • 6 Jul 2020 • Siang-Yun Lee, Heinz Riener, Alan Mishchenko, Robert K. Brayton, Giovanni De Micheli
This paper proposes a new logic optimization paradigm based on circuit simulation, which reduces the need for Boolean computations such as SAT-solving or constructing BDDs.
Logic in Computer Science
2 code implementations • 14 May 2018 • Mathias Soeken, Heinz Riener, Winston Haaswijk, Giovanni De Micheli
We present a collection of modular open source C++ libraries for the development of logic synthesis applications.
Logic in Computer Science Mathematical Software
