Formal Architectural Specification and Verification of A Complex SOC Author(s): Shahid Ikram, Isam Akkawi, David Asher, and Jim Ellis Download
