Oski Technology to Showcase Formal Sign-Off Methodology at DVCon 2015
MOUNTAIN VIEW, CA–(Marketwired – Feb 19, 2015) –
WHO: Oski Technology, Inc., the only dedicated formal verification service provider
WHAT: Will showcase its Formal Sign-off Methodology™ during DVCon 2015 in Booth #205 and demonstrate the Oski Formal Methodology to make formal sign-off possible with end-to-end checkers and formal coverage. Attendees who stop by the Oski booth will learn why applying custom Abstraction Models during formal analysis enable users to reach deeper search depth and achieve faster proof.
WHEN: DVCon’s Booth Crawl Monday, March 2, from 5 p.m. until 7 p.m., and Tuesday and Wednesday, March 3-4, from 2:30 p.m. until 6 p.m.
WHERE: DoubleTree Hotel in San Jose, Calif.
The DVCon program can be found at: www.dvcon.org
For more details about Oski Technology and the Formal Sign-Off Methodology, visit: 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 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.