Work-in-Progress: Runtime Requirements Monitoring for State-based Hardware
Minjun Seo, Roman Lysecky · 2018
This paper presents a requirements-driven methodology enabling efficient runtime monitoring of hardware in embedded systems. We present a novel method for extracting hardware verification requirements from state-based hardware models to construct a hierarchical runtime monitoring graph (HRMG) that can be efficiently used at runtime to verify correctness.