FORMAL ARCHITECUTRAL SPECIFICATION AND VERIFICATION OF A COMPLEX SOC Author(s): Shahid Ikram, Isam Akkawi, David Asher, and Jim Ellis Download