Domain Expertise

RISC-V Verification

Comprehensive RISC-V ISA confirmatory test suites and test strategy derived from specifications.

RISC-V Verification Leadership

We have developed Test strategy derived from RISC V specifications and comprehensive test suites in assembly for extensions I, M, A, C, Zfhmin, Za64rs, single and double precision floating points F And D and Vector.

Our Capabilities

  • Assembly Test Suites: Developed confirmatory test suit in assembly for each of the above extensions.
  • Reference Models: Used SPIKE RISC-V reference model for tests suite development.
  • Confirmatory Suites: Developed RISC-V ISA confirmatory test suites for extensions I, A, M, C, F single and double precision Floating point, Misaligned load/stores, Machine mode, Supervisor mode and Vector Ext.
  • Simulation: Assembly language test suite development with SPIKE RISC V ISA simulator.