Get in Toucharrow

CONTACT US

DESIGN VERIFICATION

Faststream Technologies combines a deep knowledge of hardware design verification domain, languages, methodologies, and tools with extensive project experience to help companies deliver complex designs on time and within budget and infrastructure constraints. Faststream Technologies is a leading provider in Silicon Design and Verification Services. We have built up a solid base of expertise in pre-silicon hardware verification. Our consulting services consist of functional and system-level verification.

SILICON DESIGN AND VERIFICATION SERVICES

Design Verification services

FUNCTIONAL VERIFICATION

We provide ASIC and FPGA functional verification services spanning the entire coverage-driven verification flow from specification to coverage sign-off. We have extensive experience in all major hardware verification languages (HVLS) such as e-Language and SystemVerilog, and methodologies such as UVM, OVM, VMM, and eRM.

We are proficient in the use of all major EDA vendor tools, such as Cadence Incisive® Enterprise Simulator, the Synopsys VCS® functional verification solution, and Mentor’s Questa® Advanced Simulator. We also use the Cadence® Palladium® series of accelerators/emulators, system-level modeling languages such as SystemC, and tools like MATLAB®.

SYSTEM-LEVEL VERIFICATION

System-Level Verification, the planning, and implementation of the verification process need to be done carefully due to the very high clock cycle consumption. The verification process requires in-depth planning, advanced verification skills like object-oriented language programming (SystemVerilog, C++/SystemC), and methodology awareness (UVM), as well as a creative approach to problem-solving.

 

 

We have the expertise to provide system-level verification services for complex SoCs, involving working with various hardware and software IPs and using specific tools like hardware acceleration and hardware emulation.

 

System-Level Verification

 

Our experience with System-Level Verification spans an extensive technical skills matrix, including:

 

  • e-Language, SystemVerilog, and C/C++
  • Simulation and hardware emulation
  • Directed tests or randomized user cases
  • Mixing e/SystemVerilog and C/C++ to create self-checking tests
  • Using e/SystemVerilog or TLM/SC/MATLAB models as a golden model
  • Designing and implementing TBA-ready drivers or monitors
  • Integrating the sub-system verification environment
  • Elevating coverage definitions from block level to system level
  • Porting tests from lower integration level to top-level
  • Porting system level environments to vanilla-versions/derivative SoC
  • Developing automation tools or debug-effort decreasing tools

 

DO-254 Verification

 

Faststream Technologies RTCA DO-254, “Design Assurance Guidance for Airborne Electronic Hardware” is currently recognized by the FAA via FAA AC 20-152 as a means of compliance and guidance for the design assurance of complex electronic hardware such as FPGAs, Pcie, PLDs, and ASICs in airborne systems.

Design and Verification