Functional Specification of the RAVENS Neuroprocessor.

Adam Z. Foshie James S. Plank Garrett S. Rose Catherine D. Schuman

Published in: CoRR (2023)

Keyphrases

high level
databases
specification language
formal verification
real time
machine learning
feature selection
three dimensional
data structure
image registration
asynchronous circuits