Dynamic Refinement of Hardware Assertion Checkers.

Hasini Witharana Sahan Sanjaya Prabhat Mishra

Published in: DATE (2023)

Keyphrases

real time
low cost
information retrieval
dynamic environments
hardware and software
dynamically changing
hardware implementation
computing systems
vlsi implementation
data sets
learning algorithm
computer systems
parallel hardware