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.

Featured Video
Latest Blog Posts
Vijay ChobisaSiemens EDA
by Vijay Chobisa
The Rise of Custom Acceleration
Bob Smith, Executive DirectorBridging the Frontier
by Bob Smith, Executive Director
Nomination Deadline for Phil Kaufman Award and Hall of Fame: June 30
Jobs
Design Verification Engineer for Blockwork IT at Milpitas, California
Senior DPU System Application Engineer for Nvidia at Santa Clara, California
Senior Post Silicon Hardware Engineer for Nvidia at Santa Clara, California
Hardware Engineer for PTEC Solutions at Fremont, California
Upcoming Events
Design Automation Conference (DAC) 2024 at Moscone West, San Francisco CA - Jun 23 - 27, 2024
SemiconWest - 2024 at Moscone Center San Francisco CA - Jul 9 - 11, 2024
Flash Memory 2024 Conference & Expo FMS2024 at Santa Clara Convention Center Santa Clara CA - Aug 6 - 8, 2024



© 2024 Internet Business Systems, Inc.
670 Aberdeen Way, Milpitas, CA 95035
+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