Oski Technology to Highlight Completeness of End-to-End Formal Verification at DAC

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
noon-1:15 p.m.

Decoding Formal Lecture: “No Need for Perfection –– When Bounded Formal Proof Is Good Enough” presented by Kaowen Liu of MediaTek
3-4 p.m.

Tuesday, June 9
Decoding Formal Lunch Lecture: Covering Complete Design Functionality with End-to-End Formal Checkers
noon-1:15 p.m.

Decoding Formal Lecture: “Can Formal Go Mainstream? Broadcom DVTs’ experience integrating Formal in the DV Flow” to be given by Normando Montecillo of Broadcom
3-4 p.m.

Wednesday, June 10
Decoding Formal Lunch Lecture: Taking the Mystery out of Abstraction Models
noon-1:15 p.m.

Decoding Formal Lecture: “One Metric to Rule Them All –– Tracking Progress on Formal Testbenches” presented by Vikram Khosa from ARM
3-4 p.m.

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.

Review Article Be the first to review this article
CST Webinar Series


Featured Video
Manager, Field Applications Engineering for Real Intent at Sunnyvale, CA
Upcoming Events
SEMICON Europe at Grenoble France - Oct 25 - 27, 2016
ARM TechCon 2016 at Santa Clara Convention Center Santa Clara CA - Oct 25 - 27, 2016
Call For Proposals Now Open! at Santa Clara Convention Center, Santa Clara, CA California CA - Oct 25 - 27, 2016
DeviceWerx - 2016 at Green Valley Ranch Casino & Resort Las Vegas NV - Nov 3 - 4, 2016
S2C: FPGA Base prototyping- Download white paper

Internet Business Systems © 2016 Internet Business Systems, Inc.
595 Millich Dr., Suite 216, Campbell, CA 95008
+1 (408)-337-6870 — Contact Us, or visit our other sites:
AECCafe - Architectural Design and Engineering TechJobsCafe - Technical Jobs and Resumes GISCafe - Geographical Information Services  MCADCafe - Mechanical Design and Engineering ShareCG - Share Computer Graphic (CG) Animation, 3D Art and 3D Models
  Privacy Policy