FPgen

FPgen is referred to as FP-Gen in the available source. It is described as a specialized test generator for floating-point verification. Its development is presented in the context of IBM's constraint-based random stimuli generation work for hardware verification, where user requests for tool capabilities to verify complex architectural mechanisms led to specialized generators. In the same passage, DeepTrans is identified as a specialized generator for address translation, while FP-Gen is identified as the specialized generator for floating-point verification. Both tools became part of Genesys PE.

Role in the verification tool ecosystem

The cited AAAI paper frames IBM random stimuli generation for hardware verification as a complex application relying on AI techniques, with continuing research into constraint satisfaction problem (CSP) and knowledge-representation techniques. FP-Gen appears as one specialized tool within that ecosystem, specifically addressing floating-point verification rather than general processor or system-level stimuli generation.

Publication context

The source associates FP-Gen with Aharoni et al. 2003 and lists the related paper as "A test generation framework for datapath floating-point verification", published in the Eighth IEEE International High-Level Design Validation and Test Workshop, HLDVT-03, pages 17–22.

Integration with Genesys PE

The evidence states that both DeepTrans and FP-Gen became part of Genesys PE. This places FP-Gen as an extension or component within the Genesys PE environment rather than as an unrelated standalone tool in the cited account.