Login / Signup
Synthesizing Formal Models of Hardware from RTL for Efficient Verification of Memory Model Implementations.
Yao Hsiao
Dominic P. Mulligan
Nikos Nikoleris
Gustavo Petri
Caroline Trippel
Published in:
MICRO (2021)
Keyphrases
</>
formal models
management system
process model
formal model
real time
probabilistic model
computational model
real world
neural network
probability distribution
computational intelligence
low cost
hardware and software
verification method