OneSpin Solutions at IP07, Grenoble, Dec 5-6, 2007
IP07 (December 5-6, 2007) is the 16th edition of the working conference on hot topics in the design world, focusing for the past 7 years on IP-based electronic system design and is held in Grenoble, the Silicon Valley in the French Alps.
Mr. Buettner, Founder and CTO of OneSpin, will give the verification keynote "Functional Verification of IP: Quo Vadis?" (click here for abstract and more information).
The keynote is followed by the verification panel "Highest Quality IP: Dream or Reality?" moderated by Peggy Aycinena, Editor of EDA Confidential, with panelists from STMicroelectronics, Infineon, Certess, Cadence and OneSpin (click here for abstract and more information).
OneSpin will demo at booth #6 its award-winning, customer-proven formal verification solutions that speed verification of complex modules and IP while delivering highest-achievable functional quality. We will demonstrate OneSpin 360™ Module Verifier and the FormalDoublePASS™ verification process that systematically guides users from initial verification planning to true functional sign-off – ensuring error-free functional operation. The verification process transforms formal functional verification into a predictable engineering practice for complex modules and IP. Visit us at IP07 and find your path to verification beyond doubt.
Find more information on IP07 here.