Monolithic verification of deep pipelines with collapsed flushing.

Roma Kane Panagiotis Manolios Sudarshan K. Srinivasan

Published in: DATE (2006)

Keyphrases

model checking
face verification
formal verification
big data
deep learning
asynchronous circuits
database
search engine
decision trees
case study
mobile robot
co occurrence
person identification