close By using this website, you agree to the use of cookies. Detailed information on the use of cookies on this website can be obtained on OneSpin's Privacy Policy. At this point you may also object to the use of cookies and adjust the browser settings accordingly.

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

 

Back