Agenda includes Presentations on Variety of Formal Verification Topics
MOUNTAIN VIEW, CA–(Marketwired – Jan 20, 2015) –
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. This meeting is sponsored by Synopsys.
WHEN: Monday, February 9, 2015, from 11:30 a.m. until 4:15 p.m.
WHERE: Computer History Museum, Mountain View, Calif. Pre-registration is required.
- 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 Speaker Cliff Stoll of Newfield Wireless and Acme Klein Bottles will demonstrate the 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 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.