C
Christoph Scholl
Researcher at University of Freiburg
Publications - 113
Citations - 1479
Christoph Scholl is an academic researcher from University of Freiburg. The author has contributed to research in topics: Model checking & Solver. The author has an hindex of 22, co-authored 100 publications receiving 1352 citations. Previous affiliations of Christoph Scholl include Saarland University.
Papers
More filters
Book
Functional decomposition with application to FPGA synthesis
TL;DR: In this article, the authors propose a functional decomposition for completely specified single-output functions and a functional decomposition for incompletely specified multi-output function for large circuits.
Proceedings ArticleDOI
Checking equivalence for partial implementations
Christoph Scholl,Bernd Becker +1 more
TL;DR: In this article, the authors consider the problem of checking whether a partial implementation can still be extended to a complete design which is equivalent to a given full specification, trading off accuracy and computational resources.
Checking Equivalence for Partial Implementations.
Christoph Scholl,Bernd Becker +1 more
TL;DR: This work considers the problem of checking whether a partial implementation can (still) be extended to a complete design which is equivalent to a given full specification, and presents several algorithms trading off accuracy and computational resources.
Journal ArticleDOI
BDD minimization using symmetries
TL;DR: This paper proves that using information about (partial) symmetries for the minimization of reduced ordered binary decision diagrams (ROBDD's) lead to improvements of the ROBDD sizes by up to 70%.
Proceedings ArticleDOI
Exploiting structure in an AIG based QBF solver
TL;DR: A procedure for solving quantified boolean formulas (QBF), which uses And-Inverter Graphs (AIGs) as the core data-structure and makes extensive use of structural information extracted from the input formula such as functional definitions of variables and non-linear quantifier structures.