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

Salesforce Technical Lead   East Coast  for EDA Careers at Cherry Hill, New Jersey
Sr. Application Engineer for Mentor Graphics at Fremont, California
Hardware Engineer, Board Design for Arista Networks at Santa Clara, California
Senior Software Engineer for EDA Careers at San Jose, California
Senior Account Managers… FORMAL VERIFICATION...VALLEY for EDA Careers at San Jose, California
Upcoming Events
DVCon U.S. 2020 at DoubleTree Hotel San Jose CA - Mar 2 - 5, 2020
OFC 2020 - The Optical Networking and Communication Conference & Exhibition at San Diego Convention Center San Diego CA - Mar 8 - 12, 2020
DATE '2020 at ALPEXPO Grenoble France - Mar 9 - 13, 2020
NVIDIA’s GPU Technology Conference (GTC) at San Jose McEnery Convention Center 150 West San Carlos Street San Jose CA - Mar 22 - 26, 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