Oski Technology Launches Formal Verification IP Portfolio for ARM AMBA Interface Protocols

MOUNTAIN VIEW, CA -- (Marketwired) -- Feb 22, 2017 -- Oski Technology, Inc., the leader in formal verification methodology and services, today announced its move into verification intellectual property (VIP) with immediate availability of the Oski Formal Verification IP Library for ARM® Advanced Microcontroller Bus Architecture (AMBA®) interface protocols.

The library, silicon proven through its widespread use by Oski for formal sign-off at semiconductor companies worldwide, offers verification engineers a way to test protocol compliance through exhaustive formal testing of system-on-chip (SoC) designs. It is portable across the spectrum of verification technologies and methodologies and compatible with a variety formal verification, simulation and emulation tools. Each component offers comprehensive checking, including interface protocol and configuration checks and system-level properties.

"We want to make it easier for people to be successful with formal verification," remarks Roger Sabbagh, Oski's vice president of applications engineering. "Formal verification engineers now can leverage Oski's years of experience and skill with our silicon-proven VIP library for formal verification sign-off."

VIP library components currently are available for both interface protocol rules and coherency properties for all revisions of the ARM Coherent Hub Interface (CHI) and AXI Coherency Extension (ACE) standards. The Oski Formal VIP Library includes AMBA 5, AMBA 4 and AMBA 3 ARM protocols and are designed for both register transfer level (RTL) block verification and architectural verification applications. Using advanced formal abstraction techniques, Oski VIP are crafted carefully for maximum efficiency of formal analysis.

Arteris is a leading network-on-chip (NoC) provider and extensively uses the Oski Formal Verification IP Library. "We achieved enhanced verification productivity and design quality by deploying Oski's Formal Verification IP on our NoC designs," says Arteris' vice president of engineering Joe Butler. "Adding the library to our formal verification methodology ensured we were able to verify our compliance to ARM protocols for an exhaustive number of possible use cases, which is impractical with simulation alone."

Availability and Pricing
The Oski Formal Verification IP Library for AMBA interface protocols is available now.
Pricing is available upon request.

For details, go to: http://bit.ly/2mi7z4R

Oski Technology at DVCon
Oski Technology will demonstrate its new Oski Formal Verification IP Library in Booth #205 during DVCon at the DoubleTree Hotel, San Jose, Calif. Attendees will be able to see how-to demonstrations of the Oski Formal Sign-Off Methodology™ and Abstraction Models™ to achieve End-to-End Formal™ verification and complete coverage as well.

DVCon's exhibits open Monday, February 27, with the yearly Booth Crawl from 5 p.m. until 7 p.m. Additional exhibit hours will be held Tuesday, February 28, and Wednesday, March 1, from 2:30 p.m. until 6 p.m.

Vigyan Singhal, Oski's president and chief executive officer, will be a speaker during the Synopsys-sponsored tutorial "Formal Verification Methodology: Maximizing Productivity and Achieving Formal Closure with Confidence." It will be held in the Cascade meeting room, Thursday, March 2, from 2 p.m. until 5:30 p.m.

More information about DVCon can be found at: www.dvcon.org

About Oski Technology
Oski Technology has established itself as an unsurpassed global leader in the domain of formal verification methodology and services. Founded in 2005, Oski serves six out of the top seven semiconductor design companies, helping them to accelerate their verification process and produce higher quality designs than simulation alone allows. As the semiconductor industry's only fully dedicated formal services provider, Oski has assembled the world's most focused team of specialists that draw on hundreds of man-years of collective experience. 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. Contact Oski today and discover how it can help you overcome your most critical verification challenges with formal verification.

Formal Sign-Off Methodology, End-to-End Formal and Abstraction Models are trademarks of Oski Technology, Inc. All trademarks and registered trademarks are the property of their respective owners.

For more information, contact:
Nanette Collins
Public Relations for Oski Technology 
(617) 437-1822 

Email Contact 





Review Article Be the first to review this article
DAC 2020

 True Circuits: Ultra PLL

Featured Video
Latest Blog Posts
Modesto (Mo) CasasGlobal Business in EDA
by Modesto (Mo) Casas
The Contingent Purchase Order Reassures Buyer and Seller
Bob Smith, Executive DirectorBridging the Frontier
by Bob Smith, Executive Director
Meet the New Cylynt, Fighting Software Piracy Around the Globe
Anupam BakshiAgnisys Automation Review
by Anupam Bakshi
Smart Assembly of SoC Designs
Jobs
Senior Application Engineer Formal Verification for EDA Careers at San Jose and Austin, California
Senior Layout Engineer for EDA Careers at EAST COAST, California
Senior Analog Design Engineers #5337 for EDA Careers at EAST COAST, California
Software Engineer for EDA Careers at RTP, North Carolina
Upcoming Events
57th Design Automation Conference 2020 at San Francisco CA - Jul 19 - 23, 2020
SEMICON West 2020 - Virtual Event at - Jul 20 - 23, 2020
Semicon Southeast Asia 2020 at MITEC Kuala Lumpur Malaysia - Aug 11 - 13, 2020
Drive World Conference & Expo at Santa Clara Convention Center Santa Clara CA - Aug 11 - 13, 2020



© 2020 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