Challenges of Formal Verification on Deep Learning Hardware Accelerator

Author(s):
Yellinidi Dasarathanaidu
Location:
India
Year:
2019
Type:
Paper
Format:
pdf