Permanents and Postdoc - MADMAX

HW/SW Simulation, Analog/Mixed-Signal Systems, SoC Validation, SystemC Modeling

Architecture, cache coherence, multicore simulation.

Multiprocessor architectures, On-chip networks, Information theory

Formal/semi-formal verification, Assertion-Based Verification for embedded systems, Runtime monitoring, SystemC models, Theorem proving