Oskar Mencer, CEO of Maxeler Technologies, is presenting the keynote, titled “Acceleration of Verification and Verification of Acceleration”, at the Symposium on Verification at the University of Tokyo, Feb 2, 2011.

Acceleration and Verification are mutually important components. Acceleration of individual computer applications via special hardware/software extensions “benefits” from verification, i.e. making sure that the accelerated application still produces the correct result for all relevant input patterns. At the same time verification can take a lot of time if there are very many such relevant inputs, and as a consequence acceleration is of key value.

Maxeler provides acceleration solutions and we encounter a range of verification approaches, depending on the domain and people involved. In addition, the acceleration of key verification algorithms such as SAT will show an instance specific acceleration approach using FPGAs.