Agenda includes Presentations on Variety of Formal Verification Topics
MOUNTAIN VIEW, CALIF. –– January 20, 2015 –– (reminder January 27)
WHO: Oski Technology, Inc., the only dedicated formal verification service provider
WHAT: Kicks-off the 2015 Series of Decoding Formal Club meetings, a forum 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
WHEN: Monday, February 9, from 11:30a.m. until4:15p.m.
WHERE: Computer History Museum, Mountain View, Calif. Pre-registration isrequired.
The Agenda:
- Vigyan Singhal, Oski’s chief executive officer, will address constraint management in Formal Sign-off
- NVIDIA Principal Engineer Jon Michelson, co-author of “The Art of Verification with SystemVerilog Assertions” and “The Art of Verification with Vera,” will discuss “A Practical Viewpoint on Liveness versus Safety”
- Ross Weber, formal verification engineer at ARM and author of the best paper award at the Jasper User Group 2014, will present formal verification on a new CPU project at ARM
- And, special invited guest TED Talk SpeakerCliff Stoll of Newfield Wireless and Acme Klein Bottles will demonstrate how to make a Klein Bottle
Registration information for the Decoding Formal Club can be found at: http://tiny.cc/szfjsx
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-offMethodology 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.
