Self-Checking Performance Verification Methodology for Complex SoCs.

Prokash Ghosh V. N. Dwaraka Mai Aditya Chopra Baljinder Sood

Published in: ISQED (2023)

Keyphrases

real world
high level
complex data
decision making
image processing
complex systems
model checking
complex structures
asynchronous circuits
real time
website
digital libraries
formal methods