Oski Technology to Host Decoding Formal Club for Formal Verification Enthusiasts
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 host the second Decoding Formal Club, an organization dedicated to fostering formal idea sharing among formal verification enthusiasts. Vigyan Singhal, Oski Technology’s chief executive officer, will present a talk on Abstraction Models. He will discuss what they are, when to use them, how to write them and how to use them, using real examples.
WHEN: Thursday, January 23, from 1 p.m. until 3:30 p.m.
WHERE: Computer History Museum, Mountain View, Calif. Pre-registration is required because space is limited.
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 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.
Formal Sign-off Methodology is a trademark of Oski Technology, Inc. All trademarks and registered trademarks are the property of their respective owners.