Assertion-Based Validation using Clustering and Dynamic Refinement of Hardware Checkers
Year: 2024
Type: article
DOI: 10.1145/3696108
Institution: University of Florida
Language: English
Subfield: Hardware and Architecture
Field: Computer Science
Domain: Physical Sciences
Open Access status: closed
Funder: National Science Foundation
OpenAlex ID: W4402806400