AVPGEN

Tool

First seen 6/2/2026

Last seen 7/3/2026

Evidence 3 chunks

NEIGHBORHOOD

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

13 connections

The paper mentions AVPGEN as a related test generator in the references.

AVPGEN is a test generator for architecture verification, related to functional verification.

code generation mentions → 80% 1e

AVPGEN is mentioned as a related test generator for architecture verification.

The paper introduces the AVPGEN system for generating architecture verification programs.

AVPGEN is designed to check the conformance of processor designs to the specified architecture.

Symbolic Execution uses → 100% 1e

AVPGEN uses symbolic execution as a novel concept to generate effective tests.

Constraint Solving uses → 100% 1e

AVPGEN uses constraint solving as a novel concept to generate effective tests.

Biasing Technique uses → 100% 1e

AVPGEN uses various biasing techniques to focus tests on conditions likely to activate bugs.

AVPGEN chooses desired intermediate or final values and solves for initial values, implementing constraint-based initial value generation.

SIGL uses → 100% 1e

AVPGEN provides SIGL as a language for users to specify templates with symbolic constraints.

S/390 Processor evaluates → 100% 1e

AVPGEN has been used to debug and verify many S/390 processors.

AVPGEN generates architecture verification programs (AVPs) as test artifacts.

The paper cites AVPGEN as a related test generator for architecture verification.