Class | Description |
---|---|
FilterAccessThenMiss |
Filters off test templates, where a
MISS situation is preceded by a number of accesses
that load the data into the buffer. |
FilterBuilder |
FilterBuilder composes all kinds of filters into one template-level filter. |
FilterComposite |
FilterComposite composes template-level filters. |
FilterDependency |
FilterDependency composes hazard-level filters into a dependency-level filter. |
FilterHitAndTagReplaced |
Filters off test templates, where
TAG_REPLACED and HIT are simultaneously set for
the same device. |
FilterHitAndTagReplacedEx |
Filters off test templates, where
TAG_REPLACED and HIT are simultaneously set for
devices with the same address type. |
FilterMultipleTagReplaced |
Filters off test templates with multiple
TAG_REPLACED hazards over the same device for
a single execution. |
FilterMultipleTagReplacedEx |
Filters off test templates with multiple
TAG_REPLACED hazards over devices with the
same address type for a single execution. |
FilterNonReplaceableTagEqual |
Filters off test templates, where
TAG_EQUAL is specified for a non-replaceable device
D and execution1.getEvent(D) != execution2.getEvent(D) . |
FilterParentMissChildHitOrReplace |
Filters off test templates, where there is a hit or a replace in a child device (e.g.
|
FilterStructure |
FilterStructure composes execution- and dependency-level filters into a template-level
filter. |
FilterTagEqualTagReplaced |
Filters off test templates with
TAG_EQUAL and TAG_REPLACED hazards having been
set for the same device. |
FilterUnclosedEqualRelations |
Filters off memory access structures with unclosed equality relations (e.g.
|
FilterUnitedDependency |
FilterUnitedDependency composes device-level filters into an access-level filter. |
FilterVaEqualPaNotEqual |
Filters off test templates, where
ADDR_EQUAL is set for the virtual address and
ADDR_NOT_EQUAL is set for the physical address. |