Challenges of Formal Verification on Deep Learning Hardware Accelerator Author(s): Yellinidi Dasarathanaidu Location: India Year: 2019 Type: Paper Format: pdf Download
