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

MOUNTAIN VIEW, CA -- (Marketwired) -- Jun 15, 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

SolidCAM - See For Yourself

Featured Video
Latest Blog Posts
Sanjay GangalMCADCafe Lens
by Sanjay Gangal
NVIDIA GTC October 2020 Keynote
Product Design Engineer - Testing Methods for Apple Inc at Cupertino, California
GIS Analyst for City of Shreveport at Shreveport, Louisiana
GIS Analyst for Iberdrola at Augusta, Maine
BIM Modeler for Woolpert at Oakbrook Terrace, Illinois
BIM Designer – Revit for Schneider Electric at Smyrna, Tennessee
Upcoming Events
3D Collaboration & Interoperability Congress at Golden CO - Feb 20 - 24, 2021
RAPID + TCT 2020 Postponed to 2021 at Anaheim Convention Center Anaheim CA - Apr 2, 2021
WESTEC at Long Beach Convention Center CA - Sep 21 - 23, 2021
Kenesto: 30 day trial

© 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 GISCafe - Geographical Information Services TechJobsCafe - Technical Jobs and Resumes ShareCG - Share Computer Graphic (CG) Animation, 3D Art and 3D Models
  Privacy PolicyAdvertise