Institute for Complex Systems (ICS), Johannes Kepler University Linz

https://www.ics.jku.at/

ICS conducts research in EDA with focus on verification, debugging, and synthesis; abstraction levels: SystemC virtual prototypes, RTL downto gate-level.