Formal Architectural Specification and Verification of A Complex SOC Author(s): Shahid Ikram, Isam Akkawi, David Asher, and Jim Ellis Location: United States Year: 2018 Type: Presentation Download