RISC-V Hardware Assisted Verification

Bluespec’s accelerates the full RISC-V verification spectrum with its Hardware-Assisted Verification (HAV)

 

Complete user-extensible RISC-V verification stack running  on 3rd party simulators and FPGA hardware

Applicable to the full range of RISC-V verification

  • Core-level processor verification
  • System-level processor verification
  • Custom instruction verification
  • Accelerator verification
  • Operating systems bring-up
  • Application software verification
  • Subsystem specification verification
  • Ecosystem tool chains and firmware validation
  • Ecosystem specification validation
  • Pre-RTL synthesizable model-driven software verification

 

Portable to any emulation hardware by modifying a thin layer in the testbench stack


 


  •  

Contact us

Provide us with your contact information to learn more