Oski Technology will be exhibiting at DVCon 2016 booth #205, Feb. 29-March 2, San Jose, CA, where Oski’s Prashant Aggarwal will be presenting a paper titled “The Process and Proof for Formal Sign-off – A Live Case Study”.
Event: Oski Technology Exhibits at booth #205
Time: Monday Feb. 29, 5:00pm-7:00pm; Tuesday March 1 and Wednesday March 2, 2:30-6:00pm.
Venue: Oski Booth #205, DVCon, DoubleTree Hotel, San Jose, California.
Web: Oski Technology at DVCon booth #205
Event: Regular Session for Formal Techniques: 12.2 The Process and Proof for Formal Sign-Off – A Live Case Study
Time: Wednesday March 2, 3:00pm-4:30pm
Venue: Fir meeting room, DoubleTree Hotel, San Jose, California.
Speaker: Prashant Aggarwal – Oski Technology, Inc.
Authors: Ipshita Tripathi – Oski Technology, Inc., Ankit Saxena – Oski Technology, Inc., Anant Verma – Oski Technology, Inc. Prashant Aggarwal – Oski Technology. For more information, please visit the DVCon listing for the regular session on Formal Techniques at DVCon.
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.