WHAT: Will highlight the completeness of End-to-End Formal Verification with presentations, demonstrations and a live challenge during the
52nd Design Automation Conference (DAC), Booth #1215. Attendees will be encouraged to insert bugs in a register transfer level (RTL) design to prove the effectiveness of Oski’s End-to-End formal verification testbench. The challenge will be co-sponsored by Synopsys.

WHEN: Monday and Tuesday, June 8-9, from 10 a.m. until 7 p.m. and Wednesday, June 10, from 10 a.m. until 6 p.m.

WHERE: Moscone Center, San Francisco

Daily Decoding Formal Lectures

Oski Technology will host two Decoding Formal Lectures daily at its DAC booth. Pre-registration is required because space is limited.

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-off 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.