ARM Technology Symposium Europe
2013-12-12
The annual ARM® Technology Symposia are a global series of events where many of our 1000+ ARM Connected Community® members and ecosystem partners come together to share their latest solutions based on the ARM architecture.
Through keynotes, technical presentations, exhibits, and demonstrations, chip designers, system implementation engineers and software developers learn about the latest design strategies, methodologies and tools for building ARM-based products.
The integration of ARM-based processor subsystems with custom application blocks often requires extensive verification over large code bases, relatively late in the design process. Simulation and emulation solutions are costly, time consuming and potentially unreliable. Pre-packaged static solutions based on formal technologies, such as protocol analysis, connectivity checking, register analysis, as well as custom IP checks, are now being used to offset simulation overhead with promising results. With this initial foundation, a comprehensive verification process that leverages formal techniques driven by observation coverage is possible. We will present such a methodology and the results of its use in practical situations.
OneSpin is presenting "Coverage Driven Static Verification Solutions Targeting ARM Platform Integration Scenarios" on Track 27, 16:45 - 17:15.
Venue
Thursday, December 12, 2013
08:30 – 17:30
CAP15
1/13 Quai de Grenelle
75015 Paris
France
Paris, France
