Oski Technology Formal Experts Tackled Wide Range of Verification Applications and Design Types in 2017
Number of Design Bugs Found Reaches Record High
SAN JOSE, CALIF. –– February 22, 2018 — 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: