Open-Source Memory Compiler for Automatic RRAM Generation and Verification.

Dimitrios Antoniadis Peilong Feng Andrea Mifsud Timothy G. Constandinou

Published in: CoRR (2021)

Keyphrases

open source
source code
programming language
model checking
semi automatic
general purpose
memory requirements
open source software
level parallelism
relational databases
data driven
memory space
fully automatic
memory usage
software systems
signature verification
neural network
data streams
case study