MEDIA ALERT: Oski Technology Will Prove at DAC End-to-End Formal Techbench Can Catch All Design Bugs
Decoding Formal Challenge, Lectures, Training Will Showcase Completeness of End-to-End Formal Verification
(firmenpresse) - MOUNTAIN VIEW, CA -- (Marketwired) -- 06/03/15 --
, the only dedicated formal verification service provider
Will prove that its End-to-End formal testbench is complete and can catch all the design bugs at the
Monday and Tuesday, June 8-9, from 10 a.m. until 7 p.m. and Wednesday, June 10, from 10 a.m. until 6 p.m.
Moscone Center, San Francisco
DAC attendees are encouraged to stop by the Oski Technology Booth (#1215) to challenge its End-to-End formal testbench. They can make a random or intentional change to an existing register transfer level (RTL) design and run formal and see if the testbench catches the bug. The challenge is co-sponsored by Synopsys.
Oski Technology will have a series of regularly scheduled presentations, demonstrations and two Decoding Formal lectures per day in its booth to further showcase the completeness of its End-to-End Formal Verification for sign-off. For a complete list of lectures and to pre-register, go to:
June 11 is Decoding Formal Training Day as Oski Technology and Synopsys host "Achieving Formal Sign-off" from 10:30 a.m. until 5:30 p.m. The agenda will cover:
Creating a Formal Test Plan
Writing End-to-End Formal Checkers
Calculating Required Proof Bound
Dealing with Formal Complexity
Using Abstraction Models
Managing Constraints
The registration fee is $199. To register, go to:
More information about Oski Technology and its DAC-related events can be found at
The DAC program is available 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:
Datum: 03.06.2015 - 14:00 Uhr
Sprache: Deutsch
News-ID 397956
Anzahl Zeichen: 0
contact information:
Town:
MOUNTAIN VIEW, CA
Kategorie:
Diese Pressemitteilung wurde bisher 124 mal aufgerufen.
Die Pressemitteilung mit dem Titel:
"MEDIA ALERT: Oski Technology Will Prove at DAC End-to-End Formal Techbench Can Catch All Design Bugs"
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).
