Oski Technology

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

The formal verification specialist will be discussing its own experiences and has partnered with users for presentations at DVCon US.

Oski Technology will offer a range of daily presentations at its DAC 2017 and useful technical advice in the main conference program.