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