Title | ||
---|---|---|
Automatic Extraction of Requirements from State-based Hardware Designs for Runtime Verification |
Abstract | ||
---|---|---|
Runtime monitoring and verification enables a system to monitor itself and ensure system requirements are met even in the presence of dynamic environments. For hardware, state-based models are widely used, but verifying the correctness between the state-based model and hardware implementation is time- consuming and difficult. This paper presents a novel method for extracting hardware verification requirements from state-based hardware models to construct a hierarchical runtime monitoring graph that can be efficiently used at runtime to verify correctness.
|
Year | DOI | Venue |
---|---|---|
2019 | 10.1145/3299874.3318021 | Proceedings of the 2019 on Great Lakes Symposium on VLSI |
Keywords | Field | DocType |
formal requirements models, hardware-based observations, periodic statement machines, runtime verification | Graph,Computer science,Correctness,Runtime verification,Computer hardware,System requirements | Conference |
ISSN | ISBN | Citations |
1066-1395 | 978-1-4503-6252-8 | 0 |
PageRank | References | Authors |
0.34 | 0 | 2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Minjun Seo | 1 | 7 | 2.94 |
Roman Lysecky | 2 | 605 | 60.43 |