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