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. Location: United States Year: 2014 Type: Paper Download