Texas Instruments - Highly Scalable Multicore ARM A15 Verification with Specman/e