About our Digital Design Verification Services
Our design verification services cover digital and analog mixed-signal architectures. In this page, we focus on our digital design verification services offer.
We verify our customers’ designs at IP, Subsystem and SoC levels before they go to production.
Our engineering teams serve worldwide industry leaders in the verification of their products based on a variety of architectures which includes ARM, RISC-V, MIPS, x-86, as well as DSP cores (CEVA, CoolFlux…).
We have a long track record of successful digital design verification projects.
We can take on your design verification project through different modes (consultancy, work packages, onshore or nearshore oursourcing design centers).
Are you looking for an engineering services company to assist you in your design verification project? Do not hesitate to contact us.
Digital Design Verification Fields
We provide digital design verification services in the following areas:
Pure digital and digital-mixed-signal design verification
Simulation based verification using UVM/eRM/direct methodologies
RTL, Power Aware, GLS simulations
Formal Verification
Functional coverage, Code coverage
Power analysis, Performance, Stress testing, CDC & RDC analysis
Firmware verification in simulation environment
Emulation
Silicon validation support
HDL and Software Languages
Our engineering teams are advanced users / experts of a range of HDL and software languages, which includes:
- VHDL
- Verilog
- System Verilog
- C/C++
- Python, Bash, TCL, Perl
Methodologies and development cycles
Here is a range of methodologies our engineering teams implement, depending on customer preference:
- AGILE
- Direct methodologies
- eRM
- UVM
- V-cycle
- DO 254
- SIL
- ISO26262
Design Verification Process
We typically follow these steps in our digital design verification projects:
- Project management and planning
- Verification tools setup
- Functional spec assessment
- Verification Metrics, verification plan and test plans definition
- Verification environment architecture definition, development and maintenance
- Test suite development and debug
- Regression runs / Automatic regression tests environment
- Coverage analysis (code coverage, functional coverage)
Areas of expertise
We have a proven experience in verification of:
- High-performance computing SoCs
- Computer vision processors
- Low power SoC
- Microprocessors
- High-performance modems
- Imaging signal processors
- RF communication solutions (Bluetooth, NFC, Zigbee, Z-wave, Wifi, LoRa, Sigfox…)
- Numerous ARM core-based systems
- Complex communication protocols