FORMAL ARCHITECUTRAL SPECIFICATION AND VERIFICATION OF A COMPLEX SOC Author(s): Shahid Ikram, Isam Akkawi, David Asher, and Jim Ellis Location: United States Year: 2018 Type: Paper Download