| 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. |