close By using this website, you agree to the use of cookies. Detailed information on the use of cookies on this website can be obtained on OneSpin's Privacy Policy. At this point you may also object to the use of cookies and adjust the browser settings accordingly.

Customer Stories

Technology leaders in Automotive, Mil/Aero, Industrial, and Nuclear trust OneSpin Solutions

 

Case Study By Product Type


DV-Verify 

Quantify

Clue Technologies - DV-Verify Coverage-Driven Assertion-Based Verification for Use in Intelligent Avionic Computing System

Clue Technologies used OneSpin’s Coverage-driven assertion-based verification (ABV) solution on their WittyBox family of flight and mission computers. Early deployment allowed for early convergence and assured that strict avionic DO-254 safety standard certification was achieved.

Clue Technologies - DV-Verify Coverage-Driven Assertion-Based Verification for Use in Intelligent Avionic Computing System

Read the full case study --> 

Maxim Integrated - Property Checking and Coverage Closure

OneSpin’s functional coverage and formal closure solutions allowed Maxim Integrated to re-use the family of IPs (3 in total) in several projects with confidence to achieve high-quality designs with zero bug escapes.

Maxim Integrated - Property Checking and Coverage Closure

Read the full case study --> 

Industry Leader - 5G

Lorem ipusm asa;sdflasdgasd; asloremasdf q

Industry Leader - 5G

Lorem ipusm asa;sdflasdgasd; asloremasdf q

Cooley User 1 - INDUSTRY NOT SET

Lorem ipusm asa;sdflasdgasd; asloremasdf q

Cooley User 1 - INDUSTRY NOT SET

Lorem ipusm asa;sdflasdgasd; asloremasdf q

Property Checking

Xilinx - FPGA and Safety Verification

Xilinx is the inventor of the FPGA, programmable SoCs, and ACAP. Their highly-flexible programmable silicon, enabled by a suite of advanced software and tools, drives rapid innovation across a wide span of industries and technologies – from consumer to cars to the cloud.

Xilinx - FPGA and Safety Verification

Read the full case study --> 

Cooley User 3 - INDUSTRY NOT SET

Lorem ipusm asa;sdflasdgasd; asloremasdf q

Cooley User 3 - INDUSTRY NOT SET

Lorem ipusm asa;sdflasdgasd; asloremasdf q

Portable Coverage

Industry Leader - 5G

Lorem ipusm asa;sdflasdgasd; asloremasdf q

Industry Leader - 5G

Lorem ipusm asa;sdflasdgasd; asloremasdf q

Debugger

Cooley User 4 - INDUSTRY NOT SET

Lorem ipusm asa;sdflasdgasd; asloremasdf q

Cooley User 4 - INDUSTRY NOT SET

Lorem ipusm asa;sdflasdgasd; asloremasdf q

Cooley User 5 - INDUSTRY NOT SET

Lorem ipusm asa;sdflasdgasd; asloremasdf q

Cooley User 5 - INDUSTRY NOT SET

Lorem ipusm asa;sdflasdgasd; asloremasdf q

Other Features

Industry Leader - 5G - TCL

Lorem ipusm asa;sdflasdgasd; asloremasdf q

Industry Leader - 5G - TCL

Lorem ipusm asa;sdflasdgasd; asloremasdf q

DV-Inspect

Operational Assertions

Bosch - Automotive DSP Verification

OneSpin’s DV-Certify enabled Bosch to implement a business model of delivering custom-designed DSP architectures that meet critical safety requirements. The solution reduced verification effort and risk of undetected bugs getting through ultimately saving valuable resources and costly re-spins.

Bosch - Automotive DSP Verification

Read the full case study -->

Telecom Leader - Functional Coverage and Formal Closure

OneSpin’s functional coverage and formal closure solutions allowed this customer to fully verify its critical network processor that is used throughout their line of communications designs. DV-Inspect and DVCertify were used to achieve re-use of robust IP ultimately saving valuable resources and time with regards to IP redesign and verification.

Telecom Leader - Functional Coverage and Formal Closure

Read the full case study --> 

GapFreeVerification

Edge Computing Leader - Dead Code Analysis for First Pass Detection

This customer utilized OneSpin DV-Verify to eliminate extra tapeouts. Connectivity verification of third-party IP into the design was used to assure final design operated as intended. Dead code analysis was used to enable the quick and easy discovery of initial connectivity issues without the need for complex set up and test bench.

Edge Computing Leader - Dead Code Analysis for First Pass Detection

Read the full case study --> 

Bosch - Automotive DSP Verification

OneSpin’s DV-Certify enabled Bosch to implement a business model of delivering custom-designed DSP architectures that meet critical safety requirements. The solution reduced verification effort and risk of undetected bugs getting through ultimately saving valuable resources and costly re-spins.

Bosch - Automotive DSP Verification

Read the full case study --> 

Specialized Apps

Floating-Point Unit (FPU)

Cooley FPU User - INDUSTRY NOT SET

Lorem ipusm asa;sdflasdgasd; asloremasdf q

Cooley FPU User - INDUSTRY NOT SET

Lorem ipusm asa;sdflasdgasd; asloremasdf q

EC-FPGA

Nuclear Leader - Safety and Security Assurance for Nuclear Powerplants

OneSpin’s EC-FPGA (FPGA equivalence checking) solution was used to verify the safety and security integrity of the design used in controlling nuclear powerplants. Simulation could not. The solution ensured synthesis optimization didn’t introduce issues into the netlist so critical safety requirements could be achieved.

Nuclear Leader - Safety and Security Assurance for Nuclear Powerplants

Read the full case study --> 

Industry Leader - ADAS

Lorem ipusm asa;sdflasdgasd; asloremasdf q

Industry Leader - ADAS

Lorem ipusm asa;sdflasdgasd; asloremasdf q

Datacenter Leader - EC-FPGA for Datacenter

OneSpin’s EC-FPGA enabled this datacenter provider to develop crucial competitive advantages and accelerate verification for its high-end FPGA designs when other verification methods failed. EC-FPGA assured that the synthesis optimizations that were used to achieve competitive functionality, power, and performance capabilities didn’t introduce new bugs. This ultimately resulted in zero design bug escapes.

Datacenter Leader - EC-FPGA for Datacenter

Read the full case study --> 

SystemC

Consumer Electronics Leader - SystemC Verification

OneSpin’s SystemC verification technology enabled the company to take advantage of the benefits of high-level synthesis (HLS) and accelerated hardware bring-up. The solution complemented HLS for the company’s advanced multimedia designs. Time-to-market was significantly reduced by increasing verification performance and shifting verification earlier in the development process.

Consumer Electronics Leader - SystemC Verification

Read the full case study --> 

Cooley SystemC User - INDUSTRY NOT SET

Lorem ipusm asa;sdflasdgasd; asloremasdf q

Cooley SystemC User - INDUSTRY NOT SET

Lorem ipusm asa;sdflasdgasd; asloremasdf q