Oski Technology to Highlight the Oski Formal Sign-Off™ Methodology at DVCon, Outlining Benefits of Applying Custom Abstraction Models During Formal Analysis
AT DECODING FORMAL CLUB MEETING, MOUNTAIN VIEW, CALIF. THURSDAY, JANUARY 23
MEDIA ALERT: Oski Technology to Host Decoding Formal Club for Formal Verification Enthusiasts
Abstraction Models to be Discussed
MOUNTAIN VIEW, CALIF. –– January 13, 2013 –– (reminder June 20)
WHO: Oski Technology, Inc., the only dedicated formal verification service provider
WHAT: Will highlight the Oski Formal Sign-off Methodology during DVCon 2014 in Booth #305, outlining the benefits of applying custom Abstraction Models during formal analysis to reach deeper search depth and achieve faster proof. Oski representatives will be available to discuss the way in which the Oski Formal Methodology makes formal sign-off possible with end-to-end checkers and formal coverage.
WHEN: Monday, March 3, from 5 p.m. until 7 p.m., Tuesday and Wednesday, March 4-5, from 2:30 p.m. until 6 p.m.
WHERE: DoubleTree Hotel in San Jose, Calif.
Vigyan Singhal, chief executive officer of Oski Technology, will present “Sign-off With Bounded Formal Verification Proofs” during Session 2, “Formal and Semi-Formal Techniques,” Tuesday March 4, from 9 a.m. until 10:30 a.m. in the Fir Ballroom.
Additionally, Singhal will participate in a tutorial organized by Mentor Graphics titled, “Formal Verification in Practice: Technology, Methods and Applications.” It will be held Thursday, March 6, from 2 p.m. until 5:30 p.m. in the Siskiyou Ballroom.
More information about Oski Technology can be found at: www.oskitechnology.com
To learn more about DVCon, visit: http://www.dvcon.org
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 verification 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.