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.