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

Featured Video
Applications Engineer for intersil at Palm Bay, Florida
Design Verification Engineer for intersil at Morrisville, North Carolina
Senior Electrical Engineer for Allen & Shariff Corporation at Pittsburgh, Pennsylvania
Principle Electronic Design Engr for Cypress Semiconductor at San Jose, California
Upcoming Events
Decoding Formal Club Meeting Featuring Formal Talks by ArterisIP and Cisco at 2099 Gateway Place, Suite 560 San Jose CA - Mar 20, 2018
NVIDIA’s GPU Technology Conference (GTC) at San Jose McEnery Convention Center 150 West San Carlos Street San Jose CA - Mar 26 - 29, 2018
ESC Conference Boston at boston MA - Apr 18 - 19, 2018
DownStream: Solutions for Post Processing PCB Designs

Internet Business Systems © 2018 Internet Business Systems, Inc.
25 North 14th Steet, Suite 710, San Jose, CA 95112
+1 (408) 882-6554 — 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 PolicyAdvertise