Our main research activities are the followings:
GeNoC stands for "Generic Network-on-Chip" and denotes a formal theory of communication network architectures.
The WickedxMAS design environment targets the design of detailed micro-architectural models of communication fabrics described in the xMAS language proposed by Intel. These fabrics are non-regular structures interconnecting cores of multi-core processors. Together with a graphical design environment, we provide tools for deadlock detection and the generation of Verilog descriptions from xMAS models.
The latest release of our graphical and its deadlock hunting tool can be downloaded here . This .zip archive contains binaries for Windows and some example designs. The tool uses the Z3 SMT solver, now available under an MIT license.
CISK is a generic model of a Controlled Interruptible Separation Kernel and is used within the EURO-MILS project to support the high-level modelling of an industrial Separation Kernel named PikeOS and developed by SYSGO.
The DCI2 tool verifies deadlock-freedom of arbitrary routing functions for store-and-forward and wormhole networks. The tool is maintained by Freek Verbeek