Meeting to Be Held Monday, February 29, during DVCon 2016
MOUNTAIN VIEW, CALIF. –– January 28, 2016 ––
WHO: Oski Technology, Inc., the only dedicated formal verification service provider
WHAT: Announced registration opened today for the next Decoding Formal Club meeting to be co-located with DVCon 2016
WHEN: 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.
WHERE: 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: http://bit.ly/1OOcIe8
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
Formal Sign-off Methodology is a trademark of Oski Technology, Inc. All trademarks and registered trademarks are the property of their respective owners.
Public Relations for Oski Technology