A novel approach for assertion based verification of DDR memory protocols.
Moustafa KassemMarianne MichelMohamed AbdelsalamAshraf SalemPublished in: FDL (2013)
Keyphrases
- cryptographic protocols
- model checking
- memory usage
- formal verification
- memory requirements
- face verification
- computing power
- artificial intelligence
- computational power
- random access
- protocol specification
- security protocols
- main memory
- information systems
- memory space
- databases
- application level
- memory size
- asynchronous circuits
- low memory
- functional verification
- genetic algorithm