Login / Signup

Verification of In-Memory Logic Design using ReRAM Crossbars.

Kamalika DattaArighna DebFatemeh ShirinzadehAbhoy KoleSaeideh ShirinzadehRolf Drechsler
Published in: NEWCAS (2023)
Keyphrases
  • functional verification
  • knowledge based systems
  • case study
  • expert systems
  • design process
  • design decisions
  • design methodology
  • real time
  • software architecture
  • formal methods
  • design space
  • limited memory