VERIFICATION SERVICES

Verification for better Engineering

CHIPAHEAD’s founders developed their verification expertise on aspect-oriented e-language and the eRM methodology. Our engineers’ experience grew through a vast array of complex projects, in major verification methodologies, such eRM, OVM, VMM and UVM. All our engineers have conducted verification with SystemVerilog and the UVM methodology.

 

In recent years, the increased adoption of advanced verification methodologies in complex analog-mixed-signal (AMS) SoCs has unveiled new opportunities to reuse proven techniques employed in large digital SoC verification. Bringing the analog and digital disciplines together in order to deliver verification and efficient validation requires substantial seniority and experience, with multiple flows – such as digital on top, analog on top, or integration with specific EDA like Cadence’s Virtuoso, to list only a few.

 

Our engineering have conducted verification for AMS SoCs with large digital content (multiple MCUs and DSPs), gaining experience in analog modelling techniques, such as RNM with Verilog-AMS, and all the development steps, from model planning (accuracy,  precision, speed), to model development and calibration.

 

CHIPAHEAD’s verification engineering experience is the ideal partner for startups developing new products. We look at individual Customer business cases, product features and associated use cases, requirements and constraints, flows and other technological needs. We are then able to quote a complete verification package taking into account major milestones ranging from planning and up to sign-off, with a mutually beneficial business model that can include shared risks.

IP Verification

IP functional verification addresses both newly designed IP and existing IP that requires adaptation - e.g. an IP with a proprietary bus that needs to be AXI ready. The goal is to deliver fully documented verification infrastructure for the IP including out-of-the-box (OOB) testbench, enabling fast reuse - e.g. at SoC level. Hence, apart from guaranteeing the IP functionality, a great amount of attention is paid in the definition of use cases that constitute the OOB testbench.

Subsystem Verification

The combined complexity of multiple IP at the sub-system level can be huge and, already at this stage, there are many seemingly independent activities that need to be closely correlated. Sub-system IP verification requires the definition of complicated test scenarios, as well as measuring how well we trigger such scenarios and corner cases. Sub-system IP will typically be delivered into SoC. Finally, controlling SoC verification effort, in order to meet tight market windows, requires pre-verified IP with sub-system IP. That can be an opportunity if previously verified or a challenge that will otherwise need addressing.

SoC Verification

SoC’s may take many shapes, depending on markets or choice of architecture, to name a few of the variables. A typical SOC may contain processors or even processor sub-system, processor and peripheral buses, bridges between buses, and, in many cases, complex interconnects, coherent or not, which on their own have the complexity of a sub-system IP. Large SoCs have one or multiple instantiations of hundreds of IP. SoC verification builds typically from the assumption of existing pre-verified IP and sub-system IP, even in the common case where IP is being verified in parallel with the SoC verification. The primary focus when conducting SoC verification is on validating the integration between the various IP by exercising use cases at the SoC level.

Processes

Main processes in place include:

  • Verification development process for IP (VDPIP)
  • Verification development process for Subsystem IP (VDPSSIP)
  • Verification development process for SoC (VDPSOC)
  • Analog modelling: planning, development and calibration
  • Verification closure: metrics and criteria user guide
  • Project management guidelines
  • Effort estimation, planning and reporting guidelines
  • Risk and uncertainty management in verification
  • Verification planning for ISO26262
 

EDA

Experienced with major EDA and tools such as:

  • Synopsys: VCS, Formality
  • Mentor: Questa, Modelsim, VRM
  • Cadence: Incisive, Xcelium, Specman, vManager, vPlanner, JasperGold
  • Simulink (MathWorks)
  • GCC
  • Jira, Bugzilla
  • SVN, Clearcase, Git, Perforce
  • Jama, ReqTracer
  • Jenkins

Experience

CHIPAHEAD’s engineering has completed verification of designs with:

  • Memory PHY & Controller IPs based on Jedec standards such as GDDR6, [LP]DDR4/5
  • MCUs such as ARM’s M0 and M4
  • Interface IP such as Gigabit
  • Ethernet and PCIe Interconnect IP based on AXI and AHB
  • MIPI IPs such as CSI2 & DSI
  • Ultrasound Imaging System
  • Audio ANC processing
  • Time Of Flight (ToF) sensors
  • DSP & NPU for AI/ML
  • ISO26262 Automotive sensors 
  • Video & Graphics Processor