| | GSRC Student Profile:
Research Overview: Runtime Validation of Concurrent Processors
Modern processors face growing verification and reliability challenges posed by increasing microarchitecture complexity and aggressive technology scaling. While viable approaches have been proposed to address these challenges in the context of uniprocessors, little work has been done for emerging concurrent processors.
This research explores efficient runtime validation techniques to tackle these challenges. Runtime validation offers the possibility of dealing with both subtle design bugs and transient errors by performing online checking of end-to-end correctness properties. The targeted systems include both single-core multi-threaded processors and multi-core shared-memory systems.
| |
