Speakers Will Address How to Ensure Completeness of End-to-End Formal Testbench for Sign-Off
MOUNTAIN VIEW, CA — (Marketwired) — 10/06/15 —
WHAT: The next Decoding Formal Club will address “How to Ensure Completeness of End-to-End Formal Testbench for Sign-Off”
WHO: Will be hosted by Oski Technology, Inc., the only dedicated formal verification service provider, and sponsored by Synopsys
WHEN: Wednesday, October 21, from noon until 4 p.m.
WHERE: Computer History Museum, Mountain View, Calif. Pre-registration is required.
Vikas Chandra, principal engineer at ARM, will present “Mobile Hardware Security”
Prashant Aggarwal, principal engineer with Oski Technology, will offer a look at “How to Ensure the Completeness of End-to-End Formal for Sign-off”
Kenny Xing, principal design engineer from Broadcom, will describe “Creative Formal Techniques to Verify PCache”
Yogesh Mahajan, engineer at NVIDIA, and Oski’s CEO Vigyan Singhal will review “Compositional Reasoning Gotchas in Practice”
The Decoding Formal Club series is a regularly scheduled forum for formal verification enthusiasts, pioneers and leaders who work to promote the sharing of ideas, advancement of formal technology, and adoption of formal sign-off.
To register for the Decoding Formal Club, go to: http://bit.ly/1G3qof8
More information about Oski Technology can be found at: www.oskitechnology.com
About Oski Technology
Oski Technology is a formal verification services company with expertise in deploying formal verification on complex, digital designs. Oski Technology has developed a unique Formal Sign-off Methodology and Oski Abstraction Models to solve challenging capacity problems with formal verification. Its formal methods bring a higher level of productivity than traditional simulation and formal verification approaches. Oski Technology, headquartered in Mountain View, Calif., with a design center in India, has built a team of the world’s foremost experts in formal verification. More information about Oski Technology can be found at: www.oskitechnology.com