C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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