Skip to content
STIMSMITH

MA2TG

Tool
First seen 7/3/2026
Last seen 7/3/2026
Evidence 1 chunks

NEIGHBORHOOD

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

explore full graph →

RELATIONSHIPS

10 connections
MA2TG: A Functional Test Program Generator for Microprocessor Verification ← introduces 100% 1e
The paper presents MA2TG as its primary contribution.
specification-driven test generation implements → 100% 1e
MA2TG implements a specification-driven methodology for test generation.
Constraint Satisfaction-based Test Generation implements → 100% 1e
MA2TG uses constraint satisfaction techniques to generate test programs.
Automatic Test Program Generation implements → 100% 1e
MA2TG is described as an automatic test program generator.
Random Test Program Generation implements → 95% 1e
MA2TG can produce random test programs in addition to constraint-based ones.
Architecture Description Language uses → 100% 1e
MA2TG uses ADL specification to simplify microprocessor architecture modeling.
User Constraints File uses → 100% 1e
MA2TG accepts a user constraints file to specify targeted constraints for test generation.
Microprocessor Architecture Modeling uses → 95% 1e
MA2TG simplifies the microprocessor architecture modeling process.
DLX Processor evaluates → 95% 1e
MA2TG was applied to the DLX processor to demonstrate its usefulness.
Functional Verification uses → 100% 1e
MA2TG is designed to support functional verification of microprocessors.