Oski Technology
-
MEDIA ALERT: Oski Technology DAC Demonstrations to Showcase New VIP Library for AMBA Interface Protocols, Oski Formal Sign-Off
"New Frontiers in Formal Verification" Design/EDA Track Session Will Include Oski, ArterisIP Presentation "Architectural Formal Verification of Cache Coherent Protocols"
-
Oski Technology Names New Vice President of Engineering, Promotes Jin Zhang to Vice President of Marketing and Customer Relations
Moves Signal Next Phase of Oski's Growth
-
Presentations From Formal Verification Experts Highlight Next Decoding Formal Club Meeting Hosted by Oski Technology, Sponsored by Synopsys
October 23 Agenda Includes Talks on Formal Verification Methodologies, Real-World Applications, Experiences
-
Oski Technology to Exhibit at DAC Demonstrating the Oski Formal Sign-Off Methodology, Will Award One Company One-Week Formal Test Planning Session
Executives to Participate in Four DAC Programs, Ranging From IP, Designer Track Sessions to DAC Insights, Pavilion Panel Discussions
-
Oski Technology to Host Latest Decoding Formal Club for Formal Verification Enthusiasts
April 21 Agenda Includes Panel on Building Formal Team, Presentation on Formal Test Planning
-
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
-
Oski Technology to Showcase Its Industry-Proven Formal Sign-Off Methodology at DAC
Plans Formal Sign-Off Methodology Demonstrations, Will Launch "Decoding Formal" Video Series, Host "Decoding Formal" Reception, Competition
-
Oski Deep Bounds 2012 HWMCC Prize Awarded to Chalmers University's Niklas Sorensson and Koen Claessen in Hardware Model Checking Competition
Industrial Sponsorship of Model Checking Award Adds Focus on End-to-End Formal Verification
-
Oski Technology Beats 72-Hour Clock in Formal Verification Challenge
Formally Verifies NVIDIA Design in Three Days, Finding Four Corner-Case Bugs