- EDA
- Home
- Articles
- News
- White Papers
- Twitter Updates
- Blog
- Videos
- Companies
- Books
- Top Innovators
- Top Companies
- E-Mag
-
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
