Oski Technology will be hosting the next Decoding Formal Club meeting on Monday, Feb. 29, in Santa Clara, CA, where we are hosting a panel discussion on where and how to apply formal, followed by a presentation on formal coverage. We will also be announcing the winner of the 2016 Oski Formal Puzzler Chessboard Challenge, and Oski CEO Vigyan Singhal will be making a presentation covering some all the details of the challenge, and why some of the techniques that might have been used to solve this fun #formalpuzzler, might work better than others.
Event: Q1 Meeting of the Decoding Formal Club
Time: Monday Feb. 29, 11:30am-4:00pm
Venue: Santa Clara Marriott Hotel, Santa Clara, CA
Register: The Decoding Formal Club meeting will be sponsored by Synopsys. Lunch will be served, and pre-registration is required. For more information and to register, please visit the Decoding Formal Club event registration page.
Visit Oski Technology www.oskitechnology.com
Oski Technology is the world’s only dedicated formal verification service provider. Oski’s Formal Sign-off Methodology™ uses end-to-end checkers, constraints, Oski Abstraction Models™ and formal coverage metrics to catch corner case bugs, replace simulation for the blocks verified, and improve overall verification efficiency. Oski has provided formal verification services to many leading semiconductor companies including Cisco, Cypress, NVIDIA, Rambus and Xilinx to tape out critical projects, establish formal sign-off methodology and develop customer formal expertise. Oski is a formal sign-off company.
Venue: San Jose, California