Oski Technology Formal Experts Tackled Wide Range of Verification Applications and Design Types in 2017

SAN JOSE, Calif. , Feb. 22, 2018 (GLOBE NEWSWIRE) -- Oski Technology, Inc., the established and trusted leader in Formal verification methodology expertise, today announced that its Formal Verification business grew in 2017 to include a deep array of verification application challenges.

The result is in an unprecedented number of design bugs and corner case bugs being identified.

Oski provided expertise on more than 17 different verification projects for processor, GPU, intellectual property (IP), network on chip (NoC), switching, networking and wireless designs. Formal applications of these designs ranged from register transfer logic (RTL) control logic and data transport to architectural formal cache coherency and sequential equivalence checking. Oski’s Formal Verification expertise uncovered more than 1,000 bugs with 233 of them deemed to be significant corner case bugs that would have been impractical to detect in simulation. What’s more, they could have had a dramatic impact on design operation.

“The growth in the number of designs as well as the breadth of designs and verification applications that our experts are tackling is a testament to the trust and confidence that our customers place in us,” comments Vigyan Singhal, president and chief executive officer of Oski Technology. “The value we provided our customers in 2017 can be plainly seen in the extraordinary number of critical bugs we uncovered for them using our proven verification sign-off methodology. Verification is in our company’s DNA, and we expect to continue to strive to lead the way in verification in 2018.”

Oski will offer demonstrations of the Oski Formal Sign-Off Methodology™ and Abstraction Models™ to achieve End-to-End Formal™ verification and complete coverage during in DVCon Booth #205. The DVCon Expo and Reception will be held Monday, February 26, from 5 p.m. until 7 p.m. Regular exhibit hours will be held Tuesday, February 27, and Wednesday, February 28, from 2:30 p.m. until 6 p.m. DVCon will be held at the DoubleTree Hotel in San Jose, Calif.

For more information about Oski’s ability to solve critical verification challenges, go to: www.oskitechnology.com

About Oski Technology

Oski Technology established itself as the unsurpassed trusted global leader in the domain of Formal Verification methodology and expertise. Founded in 2005, Oski serves six out of the top seven semiconductor design companies. Leaders in consumer electronics, communications, computing, image processing, data storage, research, defense, education, automotive, and medical turn to Oski for help accelerating their verification process and produce higher quality designs than simulation alone allows. Oski has assembled the world’s largest dedicated team of experts that draws on hundreds of man-years of collective experience to provide Oski-certified verification sign-off. Oski reset the benchmark for formal verification with innovations such as its Formal Sign-off™ methodology, End-To-End Formal™ checkers and Oski Abstraction Models™. Oski's publications, training sessions and events, such as the Decoding Formal Club, are recognized industry-wide as valuable resources of formal applications knowledge.

Engage with Oski at:
Website: www.oskitechnology.com 
Twitter: @oskiTech
LinkedIn: https://www.linkedin.com/company/1440576/
Facebook: https://www.facebook.com/oskitechnology


For more information, contact:  
Rob van Blommestein  Nanette Collins
Vice President of Marketing at Oski Technology Public Relations for Oski Technology
(408) 201-3018  (617) 437-1822 
Email Contact  Email Contact 

Review Article Be the first to review this article

Featured Video
Principle Electronic Design Engr for Cypress Semiconductor at San Jose, California
Design Verification Engineer for intersil at Morrisville, North Carolina
Applications Engineer for intersil at Palm Bay, Florida
Senior Electrical Engineer for Allen & Shariff Corporation at Pittsburgh, Pennsylvania
Upcoming Events
DATE '18: Design, Automation and Test in Europe at International Congress Center Dresden Ostra-Ufer 2 Dresden Germany - Mar 19 - 23, 2018
SemIsrael Technology Week 2018 at Camilo (Green House) Tel Aviv Israel - Mar 19 - 22, 2018
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

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