While at ARM TechCon yesterday, we had the pleasure of grabbing a photo with Daenerys Targaryen, equipped with an ARM-powered dragon. www.wolfssl.com

Axel-Springer-Haus Berlin. | #berlin #puddlegram #reflection #reflectionphotography #weloveberlin #igberlin #techcon #axelspringer #axelspringerhaus #a_techcon #conference #konferenz #businesstrip #architecture #architektur

This paper can be found in the ARM Techcon 2013 proceedings as follows:

Methods and Verification IP for Formally Verifying AMBA® 4 ACE and AMBA 5 CHI Cache-Coherent Designs

Session Code: ATC-100, Presented Tuesday October 29

Presenter: Scott Meeth, Jasper Design Automation

Authors: Scott Meeth, Dave Spatafore, and Ross Weber of Jasper Design Automation; Kath Topping, ARM