Login / Signup
A-QED Verification of Hardware Accelerators.
Eshan Singh
Florian Lonsing
Saranyu Chattopadhyay
Maxwell Strange
Peng Wei
Xiaofan Zhang
Yuan Zhou
Deming Chen
Jason Cong
Priyanka Raina
Zhiru Zhang
Clark W. Barrett
Subhasish Mitra
Published in:
DAC (2020)
Keyphrases
</>
model checking
face verification
square root
asymptotic analysis
real time
asymptotically optimal
verification method
machine learning
decision making
decision trees
image segmentation
signature verification
formal verification
functional verification