Oski Technology Will Prove at DAC End-to-End Formal Techbench Can Catch All Design Bugs

Decoding Formal Challenge, Lectures, Training Will Showcase
Completeness of End-to-End Formal Verification

MOUNTAIN VIEW, CA, June 3, 2015 --

WHO: Oski Technology, Inc., the only dedicated formal verification service provider

WHAT: Will prove that its End-to-End formal testbench is complete and can catch all the design bugs at the 52nd Design Automation Conference (DAC)

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

DAC attendees are encouraged to stop by the Oski Technology Booth (#1215) to challenge its End-to-End formal testbench. They can make a random or intentional change to an existing register transfer level (RTL) design and run formal and see if the testbench catches the bug. The challenge is co-sponsored by Synopsys.

Oski Technology will have a series of regularly scheduled presentations, demonstrations and two Decoding Formal lectures per day in its booth to further showcase the completeness of its End-to-End Formal Verification for sign-off. For a complete list of lectures and to pre-register, go to: http://bit.ly/1bV7Llp

June 11 is Decoding Formal Training Day as Oski Technology and Synopsys host “Achieving Formal Sign-off” from 10:30 a.m. until 5:30 p.m. The agenda will cover:

  • Creating a Formal Test Plan                  
  • 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

Contact:

Nanette Collins
Public Relations for Oski Technology
(617) 437-1822
Email Contact

 




Review Article Be the first to review this article
CST: Webinar September 14, 2017

Synopsys: Custom Compiler

Featured Video
Editorial
Peggy AycinenaWhat Would Joe Do?
by Peggy Aycinena
Real Intent: Leveraging on Investments
More Editorial  
Jobs
Senior Front-End RTL Design AE for EDA Careers at San Jose, CA
Field Application Engineer for Teradyne Inc at San Jose, CA
FPGA Engineer for Teradyne Inc at San Jose, CA
Analog Hardware Engineer for Teradyne Inc at San Jose, CA
Technical Support Engineer EU/Germany/UK for EDA Careers at N/A, United Kingdom
Senior R&D Engineer...Timing Closure Specialist for EDA Careers at San Jose or Anywhere, CA
Upcoming Events
IEEE Electronic Design Processing Symposium 2017 at 673 S. Milpita Blvd Milpitas CA - Sep 21 - 22, 2017
CODES+ISSS 2017, Oct 15-20, 2017, Lotte Hotel, Seoul, South Korea at Lotte Hotel Seoul Korea (North) - Oct 15 - 20, 2017
DVCon 2017 Europe, Oct 16 - 17, 2017, Munich, Germany at Holiday Inn Munich City Centre Munich Germany - Oct 16 - 17, 2017



Internet Business Systems © 2017 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