MEDIA ALERT: Oski Technology DAC Demonstrations to Showcase New VIP Library for AMBA Interface Protocols, Oski Formal Sign-Off

MOUNTAIN VIEW, CA -- (Marketwired) -- Jun 08, 2017 --

WHO: Oski Technology, Inc., the leader in formal verification methodology and services

WHAT: Will demonstrate its new Oski Formal verification intellectual property (VIP) Library for ARM® Advanced Microcontroller Bus Architecture (AMBA®) interface protocols and the Oski Formal Sign-off Methodology™ in the Design Automation Conference (DAC) Booth #1139

WHEN: Monday, June 19, through Wednesday, June 21, from 10 a.m. until 6 p.m.

WHERE: Austin Convention Center, Austin, Texas

The Oski booth theater returns with four different presentations daily on key topics related to formal property verification, including sign-off methodology, test planning, abstractions and coverage. In addition to Oski presentations, the theater will host presentations on formal verification methodology from users and Oski partners who will share insights on adopting formal.

Kamal Sekhon, formal verification applications engineer at Oski, will present "Architectural Formal Verification: A 3-Step Guide" in the Verification Academy Booth (#429) Tuesday, June 20, at 10 a.m.

Deepa Sahchari, verification engineer at Oski, will present "Architectural Formal Verification of Cache Coherent Protocols," along with Chirag Gandhi, ArterisIP's senior hardware verification manager, as part of "New Frontiers in Formal Verification." The Design, EDA Track session will be held Wednesday, June 21, from 10:30 a.m. until noon.

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.

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

Featured Video
3D Designer and Developer for Los Alamos National Laboratory at Los Alamos,, New Mexico
Structural Engineer 2 (Engineer 2) for Los Alamos National Laboratory at Los Alamos,, New Mexico
Design Engineer (Engineer 1/2) for Los Alamos National Laboratory at Los Alamos,, New Mexico
Architect for Hutton at Wichita, Afghanistan
Structural Engineer for Kiewit at Lenexa, Kansas
Failure Analysis Engineer for Flextronics at Milpitas, California
Upcoming Events
ACM SIGSPATIAL 2020 at Seattle WA - Nov 3 - 6, 2020
Health GIS: STAR (Spatial Thinking in Applied Research) at Online event Calgary Alberta Canada - Nov 18, 2020
Landslides & Geohazards at CO - Nov 20, 2020

© 2020 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 EDACafe - Electronic Design Automation TechJobsCafe - Technical Jobs and Resumes  MCADCafe - Mechanical Design and Engineering ShareCG - Share Computer Graphic (CG) Animation, 3D Art and 3D Models
  Privacy PolicyAdvertise