A Case Study on Formally Verifying an Open-source Deep Learning Accelerator Design.

Anshul Jain Binod Kumar

Published in: ATS (2023)

Keyphrases

deep learning
open source
case study
machine learning
image processing
computer vision
feature extraction
viewpoint
natural language processing
higher order
domain specific