C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Synthesizing Environment Invariants for Modular Hardware Verification.
Hongce Zhang
Weikun Yang
Grigory Fedyukovich
Aarti Gupta
Sharad Malik
Published in:
VMCAI (2020)
Keyphrases
</>
real time
low cost
hardware and software
data sets
model checking
neural network
genetic algorithm
mobile robot
hardware design
signal processing
embedded systems
massively parallel