Skip to content
STIMSMITH

TLB

Concept

In the provided Logic Fuzzer evidence, TLBs are discussed as processor memory/table elements that can be manipulated during RTL verification. The cited work identifies random invalidation of TLB entries, value fuzzing of already invalid entries, and table pre-population or randomization as ways Logic Fuzzer table mutators can diversify microarchitectural state. It also notes that fuzzed branch-prediction behavior can potentially create iTLB page faults on mispredicted paths.

First seen 5/27/2026
Last seen 5/28/2026
Evidence 3 chunks
Wiki v2

WIKI

Overview

In the cited Logic Fuzzer work, a TLB appears as one of the processor memory/table structures whose entries can be affected by verification-time fuzzing. The paper describes table mutators as Logic Fuzzer mechanisms that mutate RTL memories, and it lists TLB-entry mutation alongside cache-entry mutation as an example use case.

The provided evidence does not define the internal organization of a TLB or explain address-translation semantics. It supports only the role of TLBs and TLB entries as microarchitectural state that can be targeted or perturbed in the Logic Fuzzer verification context.

READ FULL ARTICLE →

NEIGHBORHOOD

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

explore full graph →

RELATIONSHIPS

2 connections
table mutator ← uses 90% 1e
Table mutators can randomly invalidate TLB entries.
Logic Fuzzer ← uses 90% 1e
Logic Fuzzer can randomly invalidate TLB entries to stress TLB behavior.

CITATIONS

5 sources
5 citations — click to expand
[1] Table mutators allow RTL memories to be mutated and include random invalidation of cache or TLB entries and value fuzzing of already invalid entries as examples. [PDF] Effective Processor Verification with Logic Fuzzer Enhanced Co ...
[2] Branch-predictor tables are presented as fuzzable because they must not affect correctness of the running program. [PDF] Effective Processor Verification with Logic Fuzzer Enhanced Co ...
[3] Caches, TLBs, and other memory elements starting from reset state can lose microarchitectural states from which bugs might manifest, and Logic Fuzzer table mutators can partially close this gap by pre-populating or randomizing tables. [PDF] Effective Processor Verification with Logic Fuzzer Enhanced Co ...
[4] Fuzzing BTB entries to provide false or random predicted addresses can potentially create iTLB page faults on the mispredicted path. [PDF] Effective Processor Verification with Logic Fuzzer Enhanced Co ...
[5] The provided evidence does not define the internal organization of a TLB or describe general address-translation semantics. [PDF] Effective Processor Verification with Logic Fuzzer Enhanced Co ...