Oski Technology

Description

• Oski has established itself as an unsurpassed global leader in the sphere of formal verification methodology and services. As the semiconductor industrys only fully dedicated formal services provider, Oski has assembled the worlds most focused team of specialists that draw on hundreds of man-years of collective experience. Oski has reset the benchmark for formal verification with innovations such as its Formal Sign-offTM methodology, End-To-End FormalTM checkers and Oski Abstraction ModelsTM. Oskis publications, training sessions and events, such as the Decoding Formal Club, are recognized industry-wide as a valuable resource of formal applications knowledge. Founded in 2005, Oski serves six out of the top seven semiconductor design companies, helping them to accelerate their verification process and produce higher quality designs. Contact Oski today discover how we can help you overcome your most critical verification challenges with formal verification.keywords: EDA, formal verification, functional verification, formal analysis, Sequential Equivalence Checking, Model Checking, verilog, SoC, simulations, ARM, ASIC, FPGA, ESL, Integrated circuits, embedded systems, hardware architecture, semiconductor, RTL design, code coverage, functional coverage
• 

  Headquarters:2513 East Charleston Road Suite 203, Mountain View, California, United States

  More
• 

  Phone Number: +1 408-216-7728

• 

  Website:

• 

  Employees:23

• 

  Revenue:$1 - 10M

• 

  Legal Name:Oski Technology

• Oski Technology's Social Media

  
• Is this data correct?

• |  NAICS Code: 541618  |

  Show More