Cellular Automata Based Test Design for Coherence Verification in 3D Caches.

Bidesh Chakraborty Mamata Dalui Biplab K. Sikdar

Published in: J. Circuits Syst. Comput. (2019)

Keyphrases

user interface
real world
building blocks
cellular automata
software architecture
design principles
optimal design
data sets
case study
design process
model checking
design decisions
experimental design
formal verification
functional verification