Monday, June 25, 2018
 
 
Company News: Page (1) of 1 - 03/14/18 Email this story to a friend. email article Print this page (Article printing at MyDmn.com).print page facebook
Oski User Formal Verification Case Studies Showcased at Upcoming Oski Decoding Formal Club, Synopsys SNUG, Cadence CDNLive
By Globenewswire

SAN JOSE, Calif., March 14, 2018 (GLOBE NEWSWIRE) -- Oski Technology, Inc., the established and trusted leader in Formal Verification Methodology expertise, today announced Oski Formal Verification talks at several upcoming events, including Oski’s renowned Decoding Formal Club, Synopsys’s SNUG and Cadence’s CDNLive. 



Presentations and discussions by ArterisIP, Cavium, Cisco Systems and a cryptography specialist will address critical verification issues plaguing today’s design and verification teams. Topics include the verification of cache-coherent protocols, ISO 26262 compliance, software-configurable silicon and networking systems, as well as a keynote on the role Formal analysis played in the discovery of the Meltdown and Spectre security flaws.

Page: 1


 





[ServletException in:/common/ads/links.jsp] The absolute uri: http://java.sun.com/jstl/core cannot be resolved in either web.xml or the jar files deployed with this application'
About Digital Facility - Contact Us - Advertise With Us - Privacy Guidelines