Login / Signup
A unified sequential equivalence checking approach to verify high-level functionality and protocol specification implementations in RTL designs.
Carlos Ivan Castro Marquez
Marius Strum
Jiang Chau Wang
Published in:
LATW (2014)
Keyphrases
</>
high level
protocol specification
low level
verification method
formal specification
communication protocols
model checking
programming language
formal methods
databases
response time
source code
data distribution
model based diagnosis