MEDIA ALERT: Oski Technology to Participate at DAC, Demonstrating the Oski Formal Sign-off Methodology, Presenting Cutting-Edge Formal Strategies in DAC Session
Will Present at Design Track Session on the History Evolution of Formal Adoption, Host Decoding Formal Training Day June 9 for Engineers to Learn to Use Formal Verification More Efficiently
(firmenpresse) - MOUNTAIN VIEW, CA -- (Marketwired) -- 05/26/16 --
, the only dedicated formal verification service provider
Will demonstrate the Oski Formal Sign-off Methodologyâ„¢ in the Design Automation Conference (DAC) Booth #339, along with the benefits of creating a formal test plan and applying custom Abstraction Models during formal analysis
Monday, June 6, through Wednesday, June 8, from 10 a.m. until 6 p.m.
Austin Convention Center, Austin, Texas
Vigyan Singhal, Oski''s president and chief executive officer, will be part of a Design Track invited presentation session entitled, "How to Verify the Gordian''s Knot of System Complexity," Wednesday from 1:30 p.m. until 3 p.m. He will discuss the history and evolution of formal adoption in the industry, from equivalence checking in the 1990s, to system level verification today. The talk is titled "Formal Verification: From Flops to Cones to Blocks to Systems."
Oski will showcase the completeness of End-to-End Formal Verification at Booth #339 with a technical presentation and "live" case study. The case study will outline how a well-designed set of end-to-end checkers and associated reference models can comprise a formal testbench that reaches greater proof depths more quickly, enabling formal sign-off. It will show how abstractions and special techniques, such as symbolic variables, can be used to implement more efficient End-to-End Formal checkers. The case study will demonstrate how to leverage formal coverage to measure the completeness of a formal testbench and track formal verification progress.
Oski will host its comprehensive Decoding Formal Training Day on "Achieving Formal Sign-off" Thursday, June 9, from 10 a.m. until 5 p.m. at the Hilton Hotel, Austin. This one-day primer is based on Oski''s intensive two-week advanced formal techniques training program and provides an introduction to advanced formal techniques used for formal sign-off. The event is open to a limited number of attendees, and is sponsored by Synopsys. The registration fee of $199 includes lunch. To learn more, go to:
To learn more about Oski Technology, go to: .
Details about DAC 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:
Datum: 26.05.2016 - 11:56 Uhr
Sprache: Deutsch
News-ID 1437786
Anzahl Zeichen: 4367
contact information:
Contact person:
Town:
MOUNTAIN VIEW, CA
Phone:
Kategorie:
Electronics & Communications
Typ of Press Release:
type of sending:
Date of sending:
Anmerkungen:
Diese Pressemitteilung wurde bisher 381 mal aufgerufen.
Die Pressemitteilung mit dem Titel:
"MEDIA ALERT: Oski Technology to Participate at DAC, Demonstrating the Oski Formal Sign-off Methodology, Presenting Cutting-Edge Formal Strategies in DAC Session
"
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).
