Dynamic Verification of Approximate Computing Circuits using Coverage-based Grey-box Fuzzing.

Kazuki Yoshisue Yutaka Masuda Tohru Ishihara

Published in: IOLTS (2021)

Keyphrases

dynamic environments
high speed
efficiently computing
machine learning
artificial intelligence
search engine
database systems
face recognition
exact solution
face verification
dynamically changing
formal verification
asynchronous circuits
vlsi circuits
lateral inhibition