Login / Signup

Stochastic Functional Verification of DNN Design through Progressive Virtual Dataset Generation.

Jinhang ChoiKevin M. IrickJustin HardinWeichao QiuAlan L. YuilleJack SampsonVijaykrishnan Narayanan
Published in: ISCAS (2018)
Keyphrases
  • functional verification
  • case study
  • user interface
  • virtual environment
  • query optimization
  • operating system
  • formal verification