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 Technical Symposia 2012 Paris


December 13, 2012
Espaces CAP 15
1/13 Quai de Grenelle
75015 PARIS, France

The ARM Technical Symposium Europe offers a wide range of hand-selected presentations that provide a thorough understanding of processes and technologies and best-in-class techniques to assist in better design and business decisions. The theme of this years event is LowPower Leadership for a Smarter Future.

OneSpin is presenting: Push Button Verification of Power Optimizations for Xilinx FPGAs

The ubiquitous use of FPGA devices asks for smart solutions to reduce their power consumption. Latest generation FPGA synthesis tools, like Xilinx VivadoTM, have added power reduction features, which save up to 30% dynamic power by automatically turning off unused portions of the design. These savings are based on complex sequential optimizations that pose a challenge for most formal equivalence checking tools, leaving the user with some uncertainty. This presentation shows how this challenge is solved by advanced formal technology, at the push of a button.


Related Links