MEDIA ALERT: Registration Opens for Next Decoding Formal Club Hosted by Oski Technology
Oski Technology, Inc., the only dedicated formal verification service provider
Announced registration opened today for the next Decoding Formal Club meeting to be co-located with DVCon 2016
Monday, February 29, beginning with lunch and networking at 11:30 a.m., with a full program running from 12:30 p.m. until 4 p.m.
DoubleTree Hotel, San Jose, Calif.
The agenda will be announced in early February. The Decoding Formal Club is a forum hosted by Oski Technology 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. This meeting will be sponsored by Synopsys.
Pre-registration is required. Registration information for the Decoding Formal Club can be found at: bit.ly/1OOcIe8
The Oski Technology website is located 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
Source: Oski Technology