Oski Technology


May 22, 2018

Arm Cortex-A processor team focuses on formal

Arm is on the way to making formal a fundamental part of its verification strategy for ARM Cortex-A processors.
February 15, 2018

DVCon US 2018 preview: Oski Technology

The formal verification specialist will be discussing its own experiences and has partnered with users for presentations at DVCon US.
Article  |  Topics: Conferences, Blog - EDA, - Verification  |  Tags: ,   |  Organizations: ,
June 14, 2017

DAC 2017 preview: Oski Technology

Oski Technology will offer a range of daily presentations at its DAC 2017 and useful technical advice in the main conference program.
Article  |  Topics: Blog - EDA, - Verification  |  Tags:   |  Organizations: ,

PLATINUM SPONSORS

Synopsys Cadence Design Systems Mentor - A Siemens Business
View All Sponsors