Skip to main content

and
  1. No Access

    Chapter and Conference Paper

    Probabilistic Verification for Reliability of a Two-by-Two Network-on-Chip System

    Modern network-on-chip (NoC) systems face reliability issues due to process and environmental variations. The power supply noise (PSN) in the power delivery network of a NoC plays a key role in determining rel...

    Riley Roberts, Benjamin Lewis in Formal Methods for Industrial Critical Sys… (2021)

  2. No Access

    Chapter and Conference Paper

    Probabilistic Verification for Reliable Network-on-Chip System Design

    The design of modern network-on-chip (NoC) systems faces reliability challenges due to process and environmental variations. Peak power supply noise (PSN) in the power delivery network of a NoC device plays a ...

    Benjamin Lewis, Arnd Hartmanns, Prabal Basu in Formal Methods for Industrial Critical Sys… (2019)