Novel Verification Techniques for ARM A15 Multi-core Subsystem Using IEEE 1647 Author(s): Vaibhav Mahimkar, Akshit Dayal, Tomas Huynh, Van Huynh, and Erwin Hermanto Download