MEDIA ALERT: Oski Technology to Showcase Formal Sign-Off Methodology at DVCon 2015

MEDIA ALERT: Oski Technology to Showcase Formal Sign-Off Methodology at DVCon 2015

ID: 372830

Will Demonstrate How to Apply Custom Abstraction Models During Formal Analysis

(firmenpresse) - MOUNTAIN VIEW, CA -- (Marketwired) -- 02/19/15 --

, the only dedicated formal verification service provider

Will showcase its Formal Sign-off Methodology™ during DVCon 2015 in Booth #205 and demonstrate the Oski Formal Methodology to make formal sign-off possible with end-to-end checkers and formal coverage. Attendees who stop by the Oski booth will learn why applying custom Abstraction Models during formal analysis enable users to reach deeper search depth and achieve faster proof.

DVCon's Booth Crawl Monday, March 2, from 5 p.m. until 7 p.m., and Tuesday and Wednesday, March 3-4, from 2:30 p.m. until 6 p.m.

DoubleTree Hotel in San Jose, Calif.

For more details about Oski Technology and the Formal Sign-Off Methodology, visit:

The DVCon program can be found at:



is a formal verification services company with expertise in deploying formal verification on complex, digital designs. Oski Technology has developed a unique Formal Sign-off Methodology and Oski Abstraction Models to solve challenging capacity problems with formal verification. Its formal methods bring a higher level of productivity than traditional simulation and formal verification approaches. Oski Technology, headquartered in Mountain View, Calif., with a design center in India, has built a team of the world's foremost experts in formal verification. More information about Oski Technology can be found at: .

Formal Sign-off Methodology is a trademark 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:
drucken  als PDF  an Freund senden  Methode Electronics Data Solutions Group Opens New Office in London Transport Canada Issues Flight Permit for First CS300 Flight Test Vehicle and Bombardier Targets February 26-28 for First Flight
Bereitgestellt von Benutzer: Marketwired
Datum: 19.02.2015 - 15:00 Uhr
Sprache: Deutsch
News-ID 372830
Anzahl Zeichen: 0

contact information:
Town:

MOUNTAIN VIEW, CA



Kategorie:

Electronics & Communications



Diese Pressemitteilung wurde bisher 236 mal aufgerufen.


Die Pressemitteilung mit dem Titel:
"MEDIA ALERT: Oski Technology to Showcase Formal Sign-Off Methodology at DVCon 2015"
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).


Alle Meldungen von Oski Technology



 

Werbung



Facebook

Sponsoren

foodir.org The food directory für Deutschland
Informationen für Feinsnacker finden Sie hier.

Firmenverzeichniss

Firmen die firmenpresse für ihre Pressearbeit erfolgreich nutzen
1 2 3 4 5 6 7 8 9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z