|Page (1) of 1 - 03/14/18||email article||print page|
Oski User Formal Verification Case Studies Showcased at Upcoming Oski Decoding Formal Club, Synopsys SNUG, Cadence CDNLive(March 14, 2018)
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.