DAC 2012 SAN FRANCISCO JUNE 3-7
Follow Us
Home / DAC 2012 / For Exhibitors / Exhibitor Resource Center

Exhibitor Resource Center


Unique Methodology. Highest Coverage. Fastest Time to Market.

Oski Technology is the only IC verification services company to be focused on formal verification methodology.

With 20 years of experience, Oski has pioneered a unique methodology to deliver complete verification solutions that transform the approach to RTL verification, properly integrating formal into traditional simulation-based and coverage-driven flows using simulation-based metrics to define formal coverage, increasing verification coverage and significantly reducing schedule.

Oski often finds corner-case bugs almost impossible to detect with simulation. Oski's customers include Cisco, Cypress, NVIDIA, Rambus, Xilinx


CAE RT Level
  • Formal Analysis
  • Formal Verification
  • Verification
Design Reuse
  • Verification IP
Services
  • Training and Consulting

Design Automation Conference Sponsors IEEE Solid State Circuits Society Electronic Design Automation Consortium CEDA - IEEE Council on Electronic Design Automation SIGDA Special Interest Group - Design Automation