Advanced Verification Solutions

ASIC/SoC/FPGA Verification

XtremeEDA specializes in working with complex verification environments using the latest methodologies such as Universal Verification Methodology (UVM) spanning processor, wireless, networking, telecommunications, mil-aero/defense, cloud computing, machine learning, consumer electronics and many other markets.
Verification Services

As part of Verification Services our engagements with clients involve various aspects of front-end project level verification that include architecting environments from test plan creation to building constraint driven testbenches with drivers, monitors, scoreboards, checkers, sequences and sequencers. To these environments we can provide advance verification consulting and expertise including reusable and scalable implementation for verifying levels of protocols using layered sequences, drivers and monitors. 

Including formal verification to critical areas of the design by incorporating different methods ranging from static analysis to dynamic approaches that incorporate simulation.

We work closely with our clients to either build and/or extend their feature-based sequence libraries and test scenarios while collaborating with teams to retarget these sequences to other languages used for firmware development. Throughout the verification process our services ensure that proper methodology is implemented to achieve metrics/coverage driven verification.

Our Verification Services can be customized to your organization’s needs at different stages of the design process during the project development cycle. Offering solutions to address your verification requirements we can provide various engagement models with our team of verification experts. These services can be part of staff augmentation, to partial or fully outsourced verification, all the way to full turn-key verification services. They can range in services from unit-level to System on a Chip (SoC).

Our services include:

  • Developing verification requirements
  • Detailed SoC, Sub-system and unit-level coverage-driven test plans
  • Architecting verification environments
  • Building or enhancing verification environments using UVM
  • Reuse and extendable components from unit-level to SoC levels
  • Constraint Random and Coverage Driven Verification
  • Coverage creation and analysis permitting coverage driven verification
  • Assertion based verification
  • Enabling and managing regressions and triaging results
  • VIP integration and I/O Protocol verification
  • PCIe, Ethernet, AMBA, DDR, SerDes and many others
  • Scripting and Development for automation of testbench
  • Protocol compliance testing
  • Expertise in SystemVerilog/UVM and other relevant languages such as C++, SystemC, Python
  • Formal Verification (Theorem proof, Assertion-Based Verification)
  • Multi-Processor RISC-V Verification
  • Reference Model development and integration using latest methodologies
  • Performance Analysis
  • Advanced sequence development including layered sequences
  • HW/SW integration (firmware development)
Best Practices in Verification
We understand the rapidly evolving complexity and technical advancements in chip design and are researching and applying best practices in verification methodologies.
  • Our team of verification experts create Coverage Driven environments to achieve verification completeness of complex designs
  • Create test plans that will measure the completeness of verification from specification requirements
  • use latest tools, languages, and methodologies to enable quality bug-free designs
  • Our team is well trained to “hit the road” with little assistance. Whether it is turnkey or filling specific client needs in verification, we can offer services from vertical solution to dedicated verification tasks
  • Evolving our development practices to include advance verification methods which are being applied to various projects including multi-processor-based RISC-V designs, I/O Protocol compliance testing
  • Our team has applied skills practicing continuous integration with a variety of development environments such as GitHub, GitLab, Azure, Alassian to name a few. We’re also well versed in Agile based development methodologies actively involved with your clients planning and deliverables
Vertical Solutions
We recognize that Vertical Solutions are an important part of reducing the challenges of developing ASIC/FPGA SoCs. They also enable IP reuse as well as ensuring better quality designs. Our experts are investigating various areas such as Hardware Security, Secure boot, Multi-Processor Integration.

We also include methods to apply scenario-based compliance test suite to allow stimulus reuse from front-end verification to emulation or prototype.

Summary of Projects
  • Ethernet and MAC speeds, NOCs, AI, PCIe compliance testing-Controller, PHY (PIPE), WiFi-5, 6,
  • VIP projects
  • ARM, RISC-V, ARC
  • RISC-V Multi-processor integration and verification
  • Next generation machine learning/AI computing based on Custom multi-processor high-speed interconnect SoC

XtremeEDA is an experienced partner you can trust!!

Contact Us Now