A Simulation-Based Method for the Verification of Shared Memory in Multiprocessor Systems. - Scott A. Taylor; Carl Ramey; Craig Barner; David Asher (ICCAD, 2001)

A framework for specifying, modeling, implementation and verification of SOC protocols. - Shahid Ikram; David Asher; Isam Akkawi; Jack Perveiler; Jim Ellis (SoCC, 2014)