Author of the publication

copy delete add this publication to your clipboard
community post
history of this post
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

Equivalence Checking for Partial Implementations Revisited.

K. Gitina, S. Reimer, M. Sauer, R. Wimmer, C. Scholl, and B. Becker. MBMV, page 61-70. Institut für Angewandte Mikroelektronik und Datentechnik, Fakultät für Informatik und Elektrotechnik, Universität Rostock, (2013)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Julian Scholl University of Stuttgart

Claudia Scholl-Haaf University of Stuttgart

Christoph Schulz University of Stuttgart

Hon. -Prof. Christoph Müller University of Stuttgart

Dr. -Ing. Christoph Wenzel University of Stuttgart

Other publications of authors with the same name

Functional decomposition with applications to FPGA synthesis.C. Scholl. Kluwer, (2001)Exploiting structure in an AIG based QBF solver.F. Pigorsch, and C. Scholl. DATE, page 1596-1601. IEEE, (2009)Simple interpolants for linear arithmetic.C. Scholl, F. Pigorsch, S. Disch, and E. Althaus. DATE, page 1-6. European Design and Automation Association, (2014)SAT Modulo BDD -- A Combined Verification Approach for Incomplete Designs.T. Nopper, C. Miller, M. Lewis, B. Becker, and C. Scholl. MBMV, page 107-116. Fraunhofer Verlag, (2010)Checking Equivalence for Circuits Containing Incompletely Specified Boxes.C. Scholl, and B. Becker. ICCD, page 56-63. IEEE Computer Society, (2002)Task Variants with Different Scratchpad Memory Consumption in Multi-Task Environments.M. Böhnert, and C. Scholl. ARCS, volume 9637 of Lecture Notes in Computer Science, page 143-156. Springer, (2016)Exact State Set Representations in the Verification of Linear Hybrid Systems with Large Discrete State Space.W. Damm, S. Disch, H. Hungar, S. Jacobs, J. Pang, F. Pigorsch, C. Scholl, U. Waldmann, and B. Wirtz. ATVA, volume 4762 of Lecture Notes in Computer Science, page 425-440. Springer, (2007)Fully Symbolic TCTL Model Checking for Incomplete Timed Systems.G. Morbé, and C. Scholl. ECEASST, (2013)BDD minimization using symmetries.C. Scholl, D. Möller, P. Molitor, and R. Drechsler. IEEE Trans. on CAD of Integrated Circuits and Systems, 18 (2): 81-100 (1999)2QBF: Challenges and Solutions.V. Balabanov, J. Jiang, C. Scholl, A. Mishchenko, and R. Brayton. SAT, volume 9710 of Lecture Notes in Computer Science, page 453-469. Springer, (2016)