Verification and Validation Services

Verification Services

Industry experts have estimated that the verification process consumes approximately 65-70% of the total efforts of ASIC development cycle. In-order to meet the industry needs, MindTree has an experienced front end verification team proficient in various technology domains like processor, wireless/multimedia, networking and storage. 50 % of our engineers have more than 5 years of experience in verification domain and they have experience in handling projects ranging from simple module level to complex SoC level Verification.

Our Expertise are shown below

Offerings

Static verification Services

Assertion-based verification (ABV) is an emerging set of technologies that boosts productivity by increasing observability, improving coverage metrics, reducing debug time, and identifying more errors.

MindTree has expertise in the following assertion languages:

• SystemVerilog Assertions (SVA)
• OpenVera Assertions (OVA)
• Property Specification Language (PSL)

Logical Equivalence check: This is one another static verification methodology based on mathematical proofs, which helps to compare RTL-to-gate, gate-to-gate, first-to-final netlist verification of the entire system-on-chip implementation. MindTree Engineers are proficient in most widely used logical equivalence check tools.

Dynamic Verification Services

Functionality related defects cannot be detected by static verification. Thereby Dynamic Verification plays a major role by simulating the design behavior in RTL or Gate to flush-out all defects. We provide the following end-to-end verification services:

• Module/SoC level RTL
  • HDL based Test Environments: VHDL, Verilog
  • HVL based Test Environments: Specman, SystemC and SystemVerilog
  • C based Test Environment
  • Assembly Language based Test Environment
• Netlist/Gate Level
• Analog and Mixed Signal
• Power Aware RTL/Gate level Simulations
• Code coverage metric collection
• Functional coverage metrics collection

Validation Services

Our Offerings

Pre silicon validation:

Pre silicon verification and validation performed for design on various components like OS, Device Drivers, Debugging features and reference applications. Emulator is fast enough to be plugged into a working target system in place of a yet-to-be-built chip, so the hope system can be debugged with live data.

We have expertise on:

Emulation products: Quick turn, Palladium

Post silicon validation:

Post silicon validation performed for quickly validate your ASIC/SoC silicon validation framework and pre-defined test environment. We have expertise on:

• Emulation Products: Emulators, Debugger tools
• Boards: VDBs, EVMs, Reference boards for silicon testing, functional verification

Accomplishments

• We have expertise in all industry standard EDA tools used for front end simulations:
  • Mentor Toolset
  • Synopsys Toolset
  • Cadence Toolset
  • Debug Toolset from Novas
• Expert teams in Building Test environments using Methodologies like eRM, OVM, VMM, etc.
• Experience in working with embedded processors like ARM, MIPS, PowerPC, etc.
• Strong Bus protocol knowledge of AXI, AHB, OCP, PCI, etc.
• Experience in Layered protocols like PCIe, USB, SATA, etc.

Why MindTree

• MindTree has a strong portfolio of in-house developed IPs which gives it strong leverage in working in customer design verification projects.
• Exposure to all the major industry tools-sets used in design verification.
• We have access to many third party IPs which can be directly used in the customer projects.

Sample Case Studies

• Verification of critical modules of a complex Switch/Router ASIC for a US based Networking company
• Verification of Switch fabric Interface module, Flow control module and development of other verification modules for a Network Switch SoC for a US based company
• Verification of processor subsystem of a Video decode engine of a STB SoC for a leading US based Design House
• Verification of ARM & DSP based SoC for mobile application for a US based company