Saturday, March 24, 2018
Company News: Page (1) of 1 - 03/14/18 Email this story to a friend. email article Print this page (Article printing at 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: 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