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