A framework for specifying, modeling, implementation and verification of SOC protocols.
Proceedings of the 27th IEEE International System-on-Chip Conference, 2014
A Simulation-Based Method for the Verification of Shared Memory in Multiprocessor Systems.
Proceedings of the 2001 IEEE/ACM International Conference on Computer-Aided Design, 2001