Design Verification Services

VAXEL Tools are the product of decades of direct experience successfully completing numerous hardware design (RTL) verification projects for leading OEMs worldwide. We continue to offer these services across a range of applications.

Trusted by Leading OEMS for over 15 Years

Since VAXEL’s inception in 2008, we have repeatedly won our customer’s confidence and trust by delivering on time, on budget, quality services. When needed, we are able to go beyond support for verification, and are able to provide services for logic design optimization and other customer design activities.

Reasons Why Our Customers Come Back

  •   Bug-free delivery
  •   On time completion
  •   On budget projects

Services

  • 1. Verification Services for Hardware Design (RTL)
  • 2. Verification environment(EDA) Evaluation Services
  • 3. Firmware, Device Driver Development
  • 4. Various Documentation

Tools

  • VAXEL
  • Verification acceleration software solution to automates verification on a FPGA
  • iTGV
  • Intelligent test generation solutions for compressed (fewer tests) and full (100%) test coverage

Technologies and Methodologies

  • SystemVerilog, Verilog, VHDL
  • UVM
  • Formal verification
  • Coverage driven verification
  • Constraint random verification
  • SystemC, Python, C

Design Domains

  • AI
  • Processor / DSP
  • Image processing
  • Interconnect
  • Memory Controller
  • Networking

Experienced Engineering Team Leaders

  • F. Hayakawa

  • S. Midorikawa

  • T. Nomura

  • Y. Shimazawa

  • S. Yoshioka

  • T. Morioka

  • D. Kitamaru

  • T. Itoh

  •   Simulation/Emulator/Prototyping tools
  •   VAXEL engineers are proficient with the tools from all three major US EDA vendors: Synopsys, Cadence, and Mentor

For More Information

Please contact sales@vaxelinc.com