|Designation:||VP of Marketing and Business Development|
|Title:||Expanding the Reach of Formal: Bigger; Faster; Broader|
Abstract : From a humble beginning, Jasper’s Formal Technology has grown to address large SOCs and many of the more difficult design and verification challenges. In the not too distant future Jasper’s Formal will be your default choice for virtually every verification task. In this presentation we highlight a case study and customer example using Jasper’s Design Coverage Verification App. We will describe how formal coverage metrics, even for “bounded proofs”, can give users the information they need to accelerate the coverage closure process.
Biography : Oz Levia, Vice President of Marketing and Business Development and Corporate Counsel. An experienced verification technologist businessman and executive, Oz is responsible for the development of growth-oriented business and product strategies that can leverage Jasper’s success and leadership in the formal technology market. Prior to joining Jasper Oz was the Vice president of Marketing and Business Development at SpringSoft where he was responsible for the development strategy of internal products and for M&A. Oz joined SpringSoft when it acquired Novas, where Oz was the Vice President of Product Marketing with responsibility for product strategy, M&A and strategic relationships. Prior to working at Novas Oz was a Senior Director of strategic marketing at Synopsys. In 1997 Oz was the co-founder and CTO of Improv Systems, Inc., a DSP IP company. Oz holds a BS (with high distinction) and MS (with distinction) in computer science from the University of Minnesota and Boston College respectively and a JD from Santa Clara University Law School. Oz is the co-inventor of 3 US patents and was the Co-Editor of “Current Issues in Electronic Modeling,” published by KAP with 11 issues in print.