Chair of Computer Architecture

University Freiburg

[ research | teaching ]


Research Software

This part contains links to some research software.

GitHub

More recently developed software can be found at https://github.com/arminbiere.

JKU

Older JKU software is available at http://fmv.jku.at/software.

IsaSAT

For IsaSAT, please refer to https://m-fleury.github.io/isasat/isasat-release/.


Teaching Software

This part contains links to some tools that have been developed by students for teaching purposes.

Cache (LRU) Visualization

This visualization was developped by Mirai Matsuura as part of her Master Project. It is a teaching tool to visualize the state of the cache (using an LRU eviction scheme).

RISC-V and Pipelining Visualization

This visualization was developed by Tim Gaisbauer and Marius Henrich as part of their project. It is a tool to visualize the pipelining stages and hazards of a RISC-V processor.

D-Algorithm

This D-Algorithm project was developed by Benny Wennberg as part of his bachelor project. It is a tool to visualize the D-Algorithm by Roth to find suitable tests for stuck at faults in digital circuits.

GRS Bits

This grs-bits project (in German) was developed by Robin Trüby as part of his bachelor thesis. It is a tool to visualize how GRS bits work (used in arithmetic circuits to calculate floating-point results with enough precision without increasing the size of the circuits too much).

LimBoole

This https://maximaximal.github.io/limboole/ developed by Maximilian Heisinger is a simple tool for checking satisfiability respectively tautology on arbitrary structural formulas, and not just satisfiability for formulas. It has a more user friendly input format than CNF and is a perfect supplement for an introductory course in logic.