Background Work

• Yes, I searched the Development section of the Discussions and have read the posting guidelines
• Yes, I searched the documentation
• This feature is specific to Hammer, i.e., does not belong in a plugin repository instead

Feature Description

Automatic Test Pattern Generation (ATPG) engines precompute test patterns using the gate-level netlist. For example, TestMax from Synopsys is one such tool.

The test patterns are applied during manufacturing tests.

This step requires the insertion of Design For Testability (DfT) features during synthesis; thus, it may have some dependency on the synthesis step.

Motivating Example

In the context of manufacturing, an important step is the verification of the correct functionalities of the manufactured devices.

Companies rely on the use of Automatic Test Pattern Generation (ATPG) engines to precompute test patterns (using the gate-level netlist) that are applied during manufacturing tests.

This step requires the insertion of Design For Testability (DfT) features during synthesis; thus, it may have some dependency on the synthesis step.

I know this is not directly related to Hammer’s primary goal, but it could be useful for test engineers and researchers in the field.