Login / Signup

Verification of a Rapidly Multiplexed Circuit for Scalable Action Potential Recording.

Mohit SharmaHunter Joseph StrathmanRoss Martin Walker
Published in: IEEE Trans. Biomed. Circuits Syst. (2019)
Keyphrases
  • model checking
  • high speed
  • knowledge base
  • multi agent
  • database
  • highly scalable
  • web scale
  • memory efficient
  • digital circuits
  • verification method
  • magnetic recording