Sign in

Functional Specification of the RAVENS Neuroprocessor.

Adam Z. FoshieJames S. PlankGarrett S. RoseCatherine 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