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

OneSpin is proud to partner with leaders worldwide in automotive, industrial, defense, avionics, artificial intelligence, consumer electronics, and communications.

Below are just a sample of case studies on how these companies are using our advanced verification solutions and the results that were achieved. Learn more about our customers.

 

Case Studies 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

Clue Technologies designs sophisticated avionics computers that deliver high-performance video processing, high-density storage, and intensive data concentration. These intelligent computers aid in providing state-of-the-art automation in today’s aircraft. 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

Maxim Integrated makes innovative and high-performance products and technology to make systems smaller and smarter, with enhanced security and increased energy efficiency. Read the full case study --> 

5G Comms Leader - Quantify App: Verification Signoff with Zero Bug Escapes for 5G Network

The OneSpin DV-Verify Quantify App allowed this 5G communication network provider to accurately measure its verification progress and coverage to eliminate the guesswork of verification signoff. The solution augmented other verification methods that produces inadequate results on their own.

5G Comms Leader - Quantify App: Verification Signoff with Zero Bug Escapes for 5G Network

This company provides a comprehensive portfolio of network equipment, software, services, and licensing opportunities across the globe. Read the full case study->


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

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. Read the full case study --> 


Floating-Point Unit

Floating-Point Unit App for Nuclear Application

This nuclear power systems provider was able to achieve full verification of their floating-point unit in hours using OneSpin’s FPU App. Alternative approaches such as the Universal Verification Methodology (UVM) yielded little to no success even after 1 year of implementation.

Floating-Point Unit App for Nuclear Application

The company is a leader in the nuclear energy industry. As a provider of instrument and controller systems for nuclear power plants, the company must focus on delivering high levels of safety and performance.

INDUSTRY

Nuclear

APPLICATION

Floating-Point Unit with derivatives

ONESPIN PRODUCTS USED

• DV-Verify™ • Floating-Point Unit App

Read the full case study 

Floating-Point Unit Verification for AI and 5G

This long-standing customer was able to thoroughly verify its Matrix MAC unit (Multiply and Accumulate) design with OneSpin’s FloatingPoint Unit App to achieve convergence much earlier in the verification cycle resulting in zero bug escapes.

Floating-Point Unit Verification for AI and 5G

COMPANY SNAPSHOT This company 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.

INDUSTRY

Artificial Intelligence

5G APPLICATION

Floating-point unit matrix multiplication and accumulation

ONESPIN PRODUCTS USED

• DV-Verify™ • Floating-Point Unit App

Read the full case study 


Protocol Compliance Checking

Video Case Study: 5G Leader - Protocol Compliance Checking For an FPGA-Based Networking Design

VIDEO: FPGA-Based Networking Design discussion with our Field Application Engineer 

Video Case Study: 5G Leader - Protocol Compliance Checking For an FPGA-Based Networking Design

Watch this video case study --> 


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

Bosch is a leading provider of technology and services for mobility, industrial, consumer, and energy and building. 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

PP32 Network Processor

• 5-deep instruction pipeline

• Interrupt handling

• On-CPU task mechanism

Read the full case study --> 


GapFreeVerification

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

PP32 Network Processor

• 5-deep instruction pipeline

• Interrupt handling

• On-CPU task mechanism

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

COMPANY SNAPSHOT

Bosch is a leading provider of technology and services for mobility, industrial, consumer, and energy and building.

INDUSTRY

Automotive

APPLICATION

Automotive DSPs

Read the full case study --> 


Dead Code Checking

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

INDUSTRY

Edge Computing

APPLICATION

AI Engine Multiprocessr

ONESPIN PRODUCTS USED

• DV-Inspect™ dead code checks

• DV-Verify™

Read the full case study --> 


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

INDUSTRY

Nuclear

APPLICATION

Nuclear powerplant controller using Microsemi AP150 FPGA

ONESPIN PRODUCTS USED

• EC-FPGA™

• Sequential Equivalence Checking

Read the full case study --> 

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

COMPANY SNAPSHOT

The company provides a modern data warehouse for hybrid and multi-cloud environments.

INDUSTRY

Datacenter

Read the full case study --> 

Video Case Study: Telecom Leader - Hierarchical Equivalence Checking for an FPGA-Based Networking Design

VIDEO: Xilinx Virtex UltraScale+ FPGA-based design

Video Case Study: Telecom Leader - Hierarchical Equivalence Checking for an FPGA-Based Networking Design

Watch this video 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

INDUSTRY

Consumer electronics

APPLICATION

Advanced multimedia

ONESPIN PRODUCTS USED

• DV-Inspect™

• SystemC

• X-Propagation Analysis

Read the full case study --> 

Register For Access to all the OneSpin Customer Stories

You will be redirected to a page where you can view the case studies