How does LUBIS EDA Formal Verification help you?

As we are here to verify the high-risk blocks and give 100% coverage closure to your SoC designs.  Our team of experts will work closely with you and help you in achieving your silicon design verification at a modest time by detecting hard-to-find bugs that shun simulation.  

Key Issue

Key Issue

Do you know that 50% of the re-spinning is done due to the presence of functional bugs that jeopardize the important projects? Moreover, writing high-quality SVA properties is time consuming and requires expertise.

Approach

Our Approach

Focused on detecting simulation-resistant bugs through Formal Verification, we’ve developed a Formal Verification Methodology, that enables us to leverage our in-house software.

Objective

Objective

The core objective is to deliver an effective verification service to you to ensure you stay withing your project’s budget and timeline. We achieve full coverage, expose bugs and increase confidence in your design.

Top Left
  Our Approach
Focused on detecting simulation-resistant bugs through Formal Verification, we’ve developed a Formal Verification Methodology, that enables us to leverage our in-house software.
Top Right
Key Issue

Key Issue

Do you know that 50% of the re-spinning is done due to the presence of functional bugs that jeopardize the important projects? Moreover, writing high-quality SVA properties is time consuming and requires expertise.

Bottom Middle
Objective

Objective

The core objective is to deliver an effective verification service to you to ensure you stay withing your project’s budget and timeline. We achieve full coverage, expose bugs and increase confidence in your design.

Formal Verification Plan

Our formal verification plan, which seeks to find defects in your high-risk blocks, is divided into three phases:

    Setup Phase

This is the initial stage in which high-risk blocks are identified, verification targets are defined, the necessary effort is scoped, and most importantly, precise progress KPIs are established.

   Execution Phase

The next step is the execution phase. During this time, the LUBIS EDA team carries out the verification plan and submits weekly feedback and on-the-spot bug reports.

        Final Phase

 In the final stage, our experts hand you the developed Verification IP (VIP) that accelerates run-time and integrated with existing regression tests to validate that a code change does not impact the existing functionality of the final product.

Industrial case studies

Let’s go through the real-life industrial case studies that would enable you to understand better how we execute Formal Verification Services at different design levels.

Custom DSP Control Unit

Provide a design bring-up environment

Verification Target
6k Lines of Code
Design Size
3 Design Iterations
16 Specification mismatches
Results

Design bring-up

Design and specification are still in process during the design bring-up. That’s why we provide a Verification IP to the designer based on the required specifications.

The provided VIP is used to verify that new changes don’t affect the existing functionality of the design. Additionally, it allows for identifying specification mismatches to update the VIP according to the changes.

Custom DSP Control Unit

Provide a design bring-up environment

Verification Target
6k Lines of Code
Design Size
16 Specification mismatches
Results

Design bring-up

Design and specification are still in process during the design bring-up. That’s why we provide a Verification IP to the designer based on the required specifications.

The provided VIP is used to verify that new changes don’t affect the existing functionality of the design. Additionally, it allows for identifying specification mismatches to update the VIP according to the changes.

Design verification

When design and specifications are developed beforehand, we provide a VIP to validate the correct implementation of specified features.

SONET/SDH Framer

Feature Verification

Verification Target
27k Lines of Code
Design Size

Complete Formal Coverage
Critical corner-case bugs,
Preventing a system

Results

Design verification

When design and specifications are developed beforehand, we provide a VIP to validate the correct implementation of specified features.

SONET/SDH Framer

Feature Verification

Verification Target
27k Lines of Code
Design Size
Complete Formal Coverage
Results

Commercial RISC-V core

Feature Testing: Decoding + Pipelining

Verification Target
4k Lines of Code
Design Size
Specification compliance regarding RV32IM, RV32E
Freedom of Data and Control Hazards
Results

Decoding

In this case, the assessment of specific and hard-to-verify features is made. Our team analyzes these features based on the scope of the project and the verification plan.

IP re-design

The demand for IP re-design is continuously increasing in industries. In fact, it has become the de-facto standard. Designers add new functionality to the IP resulting in a growing complexity of the designs. Therefore, it is considered necessary to re-factor the IP and implement performance improvements ultimately to preserve all existing functionality (documented or undocumented).  

On-chip high-speed bus

Formal environment for a re-design

Verification Target
16k Lines of Code
Design Size

Flipflops reduced by up to 50%
Functional equivalent re-implementation

Results

Commercial RISC-V core

Feature Testing: Decoding + Pipelining

Verification Target
4k Lines of Code
Design Size
Freedom of Data and Control Hazards

Results

Decoding

In this case, the assessment of specific and hard-to-verify features is made. Our team analyzes these features based on the scope of the project and the verification plan.

IP re-design

The demand for IP re-design is continuously increasing in industries. In fact, it has become the de-facto standard. Designers add new functionality to the IP resulting in a growing complexity of the designs. Therefore, it is considered necessary to re-factor the IP and implement performance improvements ultimately to preserve all existing functionality (documented or undocumented).  

On-chip high-speed bus

Formal environment for a re-design

Verification Target
16k Lines of Code
Design Size
Flipflops reduced by up to 50%
Results