Will Host Decoding Formal Challenge, Lectures, and Training
MOUNTAIN VIEW, CA, May 5, 2015 –– (reminder May 19)
WHO: Oski Technology, Inc., the only dedicated formal verification service provider
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.
Monday, June 8
Decoding Formal Lunch Lecture: Planning For Formal Success
Decoding Formal Lecture: “No Need for Perfection –– When Bounded Formal Proof Is Good Enough” presented by Kaowen Liu of MediaTek
Tuesday, June 9
Decoding Formal Lunch Lecture: Covering Complete Design Functionality with End-to-End Formal Checkers
Decoding Formal Lecture: “Can Formal Go Mainstream? Broadcom DVTs’ experience integrating Formal in the DV Flow” to be given by Normando Montecillo of Broadcom
Wednesday, June 10
Decoding Formal Lunch Lecture: Taking the Mystery out of Abstraction Models
Decoding Formal Lecture: “One Metric to Rule Them All –– Tracking Progress on Formal Testbenches” presented by Vikram Khosa from ARM
Pre-registration is required because space is limited. To register, visit: http://bit.ly/1bV7Llp
Thursday, June 11, is Decoding Formal Training Day
Oski Technology and co-sponsor Synopsys will host the Decoding Formal Training Day, “Achieving Formal Sign-off,” Thursday, June 11, from 10:30 a.m. until 5:30 p.m. The agenda will cover:
- Creating a Formal Test Planning
- Writing End-to-End Formal Checkers
- Calculating Required Proof Bound
- Dealing with Formal Complexity
- Using Abstraction Models
- Managing Constraints
The registration fee is $199. To register, go to: http://bit.ly/1DKQBOb
More information about Oski Technology and its DAC-related events can be found at http://bit.ly/1Jz8yGw
The DAC program is available at www.dac.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-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.