C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Formal Verification of the Stall Invariant Property for Latency-Insensitive RTL Modules.
Peitian Pan
Christopher Batten
Published in:
MEMOCODE (2023)
Keyphrases
</>
formal verification
model checking
symbolic model checking
model checker
automated verification
bounded model checking
affine transformation
response time
prefetching
low latency
functional modules
dynamic programming
orders of magnitude
functional verification