Novel Designs for Memory Checkers Using Semantics and Digital Sequential Circuits.

Mohamed A. El-Zawawy

Published in: ICCSA (4) (2015)

Keyphrases

circuit design
memory usage
formal semantics
mixed signal
logic programming
power dissipation
delay insensitive
random access memory
memory space
game playing
main memory
high speed
random access
digital content
digital technologies
low power
semantic information
digital libraries