| CARVIEW |
Welcome to the Chair of Computer Architecture
News
-
Hardware Model Checking Competition 2025 (HWMCC’25) with FMCAD’25
-
6 medals (3 gold) in total in the SAT Competition 2025:
3 in parallel tracks for MallobSat (2 first places)
2 in main tracks for Kissat and one for CaDiCaL (first place) -
Test-of-Time Award at SAT’25 for our SAT’05 paper
Effective Preprocessing in SAT through Variable and Clause Elimination
by Niklas Eén and Armin Biere -
Best Paper Award at SAT’25
Streamlining Distributed SAT Solver Design
by Dominik Schreiber, Niccolò Rigi-Luperti, Armin Biere -
Distinguished CAV’25 paper
Introducing Certificates to the Hardware Model Checking Competition
Nils Froleyks, Emily Yu, Mathias Preiner, Armin Biere, Keijo Heljanko
Mission
We develop methods and tools to ensure the correctness, reliability and robustness of circuits and systems,
from initial design through manufacturing and deployment.
Our focus is on using logic, more precisely symbolic techniques and tools
for precise automated reasoning,
including SAT, model checking and theorem proving.
These techniques have broad application not only in hardware and
software development and in verification
but also in optimization
and particularly artificial intelligence.