Skip to content
STIMSMITH

DeepTrans

Tool

DeepTrans is a specialized test generator associated with IBM's Genesys PE processor-verification technology. The available evidence identifies DeepTrans as focused on address translation and cites Adir et al. (2003), "DeepTrans - a model-based approach to functional verification of address translation mechanisms."

First seen 5/26/2026
Last seen 8/16/2026
Evidence 4 chunks
Wiki v1

WIKI

Overview

DeepTrans is identified in the evidence as a specialized test generator developed for the address translation area of processor verification. It is discussed in the context of IBM's constraint-based random stimuli generation work for hardware verification, specifically as an extension inspired by user requests for tool capabilities that would make complex architectural mechanisms easier to verify. [DeepTrans scope]

Role in Genesys PE

READ FULL ARTICLE →

NEIGHBORHOOD

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

explore full graph →

RELATIONSHIPS

7 connections
Genesys PE part of → 100% 1e
DeepTrans was developed as a specialized tool for address translation and has become part of Genesys PE.
Model-based Stimuli Generation implements → 100% 1e
DeepTrans is described as a model-based approach to functional verification of address translation mechanisms.
DeepTrans - A Model-Based Approach to Functional Verification of Address Translation Mechanisms ← introduces 100% 1e
The paper introduces the DeepTrans tool for address translation verification.
Specification-based test program generation for MIPS64 memory management units ← compares with 85% 1e
The paper discusses and compares its approach with IBM's DeepTrans
Address Translation implements → 90% 1e
DeepTrans uses a specification language to depict address translation as a DAG
Directed Acyclic Graph uses → 100% 1e
DeepTrans represents address translation as a DAG
IBM ← uses 90% 1e
DeepTrans is IBM's tool for address translation verification

LINKED ENTITIES

2 links
Genesys PE became_part_of The evidence explicitly states that DeepTrans and FP-Gen both became part of Genesys PE.
FPgen peer_specialized_test_generator The evidence names DeepTrans and FP-Gen together as two specialized test generators developed for different verification areas.

CITATIONS

4 sources
4 citations — click to collapse
[1] DeepTrans scope [PDF] Constraint-Based Random Stimuli Generation for Hardware ... - AAAI
[2] Genesys PE integration [PDF] Constraint-Based Random Stimuli Generation for Hardware ... - AAAI
[3] Model-based characterization [PDF] Constraint-Based Random Stimuli Generation for Hardware ... - AAAI
[4] IBM verification context [PDF] Constraint-Based Random Stimuli Generation for Hardware ... - AAAI