|Title:||Qualification of Verification Environments Using Formal Techniques|
Abstract : The qualification of a verification environment to ensure its effectiveness consists of a number of interlocking activities. Using formal technology, it is possible to explore environment effectiveness in a rigorous manner, even when employing a mixed simulation formal solution. This presentation will discuss the qualification process and how formal techniques may be leveraged to increase verification reliability.
Biography: Raik Brinkmann, a co-founder of OneSpin Solutions, was named president and CEO in 2012, with overall responsibility for leading the company and its business growth worldwide. He brings to this role more than 15 years of broad expertise in management, verification and industrial R&D, having served at companies in both Europe and the U.S. Dr. Brinkmann holds a DiplomInformatiker from the Clausthal Technical University, Germany and a Dr.-Ing. from the Department of Electrical Engineering at the University of Kaiserslautern, Germany.