MEDIA ALERT: Oski Technology to Highlight Formal Verification Successes Using Oski Formal Sign-Off Methodology at Upcoming Semiconductor, EDA Industry Events
Will Sponsor Deep Bounds Hardware Model Checking Competition, Inaugural Decoding Formal Club Meeting
(firmenpresse) - MOUNTAIN VIEW, CA -- (Marketwired) -- 09/05/13 --
Oski Technology, Inc. (), the only dedicated formal verification service provider
Will participate in several semiconductor and electronic design automation (EDA) industry events, highlighting the widespread adoption of formal verification through the use of the Oski Formal Sign-off Methodology of end-to-end checkers, Abstraction Models and formal coverage
CDNLive
Jin Zhang, Oski's senior director of marketing and general manager of Asia Pacific, will present, "Take a Flight with Formal Verification!"
September 10
Sheraton Beijing Dongcheng Hotel
Beijing, China
Verify 2013
Oski will demonstrate the Oski Formal Sign-off Methodology
September 27
Shin-Yokohama Kokusai Hotel South Building
Yokohama, Japan
Formal Methods in Computer-Aided Design (FMCAD2013)
Oski will sponsor the annual Hardware Model Checking Competition (HWMCC) and the Oski Deep Bounds Award for outstanding technological achievement for solving the most challenging formal verification problems from end to end. The award will be presented during HWMCC by Vigyan Singhal, Oski Technology's president and chief executive officer.
October 20-23
University Place Hotel and Conference Center
Portland, Ore.
EDSFair 2013, Booth # C-12
Oski will demonstrate the Oski Formal Sign-off Methodology
November 20-22
Pacifico Yokohama
Yokohama, Japan
Additionally, Oski launched the "Decoding Formal" Club, an organization designed to foster formal idea sharing among formal verification enthusiasts. The first invitation-only meeting will be held in Mountain View, Calif., October 10.
More information can be found at the Oski Technology website:
Oski Technology () is a formal verification services company with expertise in deploying formal verification on complex, digital designs. Oski Technology has developed a unique formal verification 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: 05.09.2013 - 09:00 Uhr
Sprache: Deutsch
News-ID 1260878
Anzahl Zeichen: 0
contact information:
Contact person:
Town:
MOUNTAIN VIEW, CA
Phone:
Kategorie:
Land Vehicles
Anmerkungen:
Diese Pressemitteilung wurde bisher 319 mal aufgerufen.
Die Pressemitteilung mit dem Titel:
"MEDIA ALERT: Oski Technology to Highlight Formal Verification Successes Using Oski Formal Sign-Off Methodology at Upcoming Semiconductor, EDA Industry Events
"
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).
