• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

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