NEX

NEX

Full-stack simulation framework running unmodified software while modelling hardware accelerators.

Full-stack simulation framework running unmodified software stacks on real CPUs while modeling hardware accelerators (VTA, JPEG, Protoacc) via RTL simulation or DSim. Supports multi-accelerator setups, DMA and interconnect latency modeling, and epoch-based scheduling. Integrates with the SimBricks modular simulation platform.

Simulator
Key facts
Maturity
Support
C4DT
Inactive
Lab
Active
  • Technical

Dependable Systems Lab

Dependable Systems Lab
George Candea

Prof. George Candea

The Dependable Systems Lab develops techniques and abstractions for building trustworthy computer systems, i.e., systems that are safe and secure. They:
  • Explore the fundamental challenges posed to security and safety by large-scale systems consisting of many threads, many nodes, and millions of lines of code written by many programmers
  • Seek solutions that solve real-world problems by overcoming theoretical worst-case limitations
  • Build open-source prototypes that enable evaluation of these solutions with real-world workloads
  • Operate at the intersection of operating systems, distributed systems, programming languages, formal methods, and computer architecture

This page was last edited on 2026-03-03.