MEDIA ALERT: Oski Technology DAC Demonstrations to Showcase New VIP Library for AMBA Interface Protocols, Oski Formal Sign-Off
"New Frontiers in Formal Verification" Design/EDA Track Session Will Include Oski, ArterisIP Presentation "Architectural Formal Verification of Cache Coherent Protocols"
(firmenpresse) - MOUNTAIN VIEW, CA -- (Marketwired) -- 06/08/17 --
, the leader in formal verification methodology and services
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 Booth #1139
Monday, June 19, through Wednesday, June 21, from 10 a.m. until 6 p.m.
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.
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
Themen in dieser Pressemitteilung:
Unternehmensinformation / Kurzprofil:
Datum: 08.06.2017 - 09:00 Uhr
Sprache: Deutsch
News-ID 1508257
Anzahl Zeichen: 2873
contact information:
Contact person:
Town:
MOUNTAIN VIEW, CA
Phone:
Kategorie:
Electronic Components
Typ of Press Release:
type of sending:
Date of sending:
Anmerkungen:
Diese Pressemitteilung wurde bisher 337 mal aufgerufen.
Die Pressemitteilung mit dem Titel:
"MEDIA ALERT: Oski Technology DAC Demonstrations to Showcase New VIP Library for AMBA Interface Protocols, Oski Formal Sign-Off
"
steht unter der journalistisch-redaktionellen Verantwortung von
Oski Technology (Nachricht senden)
Beachten Sie bitte die weiteren Informationen zum Haftungsauschluß (gemäß TMG - TeleMedianGesetz) und dem Datenschutz (gemäß der DSGVO).
