A methodology to take credit for high-level verification during RTL verification.

Frederic Doucet Robert Kurshan

Published in: Formal Methods Syst. Des. (2017)

Keyphrases

high level
model checking
formal verification
multi agent
low level
formal methods
signature verification
database
information systems
multiscale
video sequences
image retrieval
programming language
formal analysis