ImperasTS-VECT

Tool

ImperasTS-VECT is a targeted ImperasTS suite for RISC-V vector extensions. It is described as part of the ImperasTS family of directed suites and is intended to complement constrained-random verification by targeting areas where random stimulus may leave coverage gaps.

First seen 5/25/2026

Last seen 5/26/2026

Evidence 1 chunks

Wiki v1

WIKI

Overview

ImperasTS-VECT is an ImperasTS targeted test suite for vector extensions. It is listed alongside other ImperasTS suites such as ImperasTS-ISA and ImperasTS-MMU/PMP/ePMP, with TS-VECT specifically identified as the suite for vector-extension testing. [ImperasTS-VECT identity]

Verification role

READ FULL ARTICLE →

NEIGHBORHOOD

No graph connections found for this entity yet. It may appear in future ingestion runs.

explore full graph →

RELATIONSHIPS

2 connections

ImperasTS part of → 99% 1e

ImperasTS-VECT is a member of the ImperasTS family providing targeted suites for vector extensions.

Vector Extensions evaluates → 99% 1e

ImperasTS-VECT provides targeted directed suites for verifying vector extensions.

LINKED ENTITIES

1 links

RISC-V ISA TARGETS Extracted graph relationship

CITATIONS

4 sources

4 citations — click to collapse

[1] ImperasTS-VECT identity source

[2] Directed-suite role source

[3] Processor-specific configuration source

[4] RISC-V vector targeting source