Paper Citation Record · LEDGER

When Fuzzing Meets Understanding: LLM-Driven Semantic Test Generation for RTL Verification

As of 8 August 2026, this Paper Citation Record lists 39 of 39 outbound references and 0 inbound Pith citation observations for arXiv:2607.10340.

A citation records a reference. It does not transfer a finding from one paper to another.

pith.paper-citation-record.v1
2607.10340 v1

Coverage vector

measured 39 of 39 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-07-14T12:30:31.318373Z

measured 39 of 39 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-08T06:32:00.761636+00:00

measured 0 of 0 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links

measured 0 of 1 external citation measurements

A source-named dated measurement, never combined with another source.

Source: cited_works

Reference resolution

39 of 39 outbound references displayed

verified exact0
verified fuzzy0
unresolved39
parse uncertain0
malformed identifier0
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 62e96a55-c4df-4120-b2ab-3758caa0f0b7 · outbound

This paper cites Patterson, Brian Richards, Colin Schmidt, Stephen Twigg, Huy Vo, and Andrew Waterman.

When Fuzzing Meets Understanding: LLM-Driven Semantic Test Generation for RTL Verification Patterson, Brian Richards, Colin Schmidt, Stephen Twigg, Huy Vo, and Andrew Waterman

Reference 1

Resolution: unresolved; no resolver link, observed 2026-07-14T12:30:31.318373Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 16fe1787-513a-40ff-b527-5ae0b7f1ca1d · outbound

This paper cites an unresolved cited work.

When Fuzzing Meets Understanding: LLM-Driven Semantic Test Generation for RTL Verification Unresolved cited work

Reference 2

Resolution: unresolved; no resolver link, observed 2026-07-14T12:30:31.318373Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 847e028a-0be5-4964-8cc5-0e7b74d2c4de · outbound

This paper cites an unresolved cited work.

When Fuzzing Meets Understanding: LLM-Driven Semantic Test Generation for RTL Verification Unresolved cited work

Reference 3

Resolution: unresolved; no resolver link, observed 2026-07-14T12:30:31.318373Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f8838067-b82d-4b3a-bae6-c56859658299 · outbound

This paper cites Patterson, and Krste Asanović.

When Fuzzing Meets Understanding: LLM-Driven Semantic Test Generation for RTL Verification Patterson, and Krste Asanović

Reference 4

Resolution: unresolved; no resolver link, observed 2026-07-14T12:30:31.318373Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 956139ab-826d-4893-ab67-187c5a5be6ac · outbound

This paper cites an unresolved cited work.

When Fuzzing Meets Understanding: LLM-Driven Semantic Test Generation for RTL Verification Unresolved cited work

Reference 5

Resolution: unresolved; no resolver link, observed 2026-07-14T12:30:31.318373Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 000f47ce-e1c5-4dfd-a38c-3d409d4d2904 · outbound

This paper cites an unresolved cited work.

When Fuzzing Meets Understanding: LLM-Driven Semantic Test Generation for RTL Verification Unresolved cited work

Reference 6

Resolution: unresolved; no resolver link, observed 2026-07-14T12:30:31.318373Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c9b1e45d-b356-4783-be69-742e26ea35de · outbound

This paper cites an unresolved cited work.

When Fuzzing Meets Understanding: LLM-Driven Semantic Test Generation for RTL Verification Unresolved cited work

Reference 7

Resolution: unresolved; no resolver link, observed 2026-07-14T12:30:31.318373Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ebe8f6f9-44c9-4dba-a0ce-c940f1f681f0 · outbound

This paper cites an unresolved cited work.

When Fuzzing Meets Understanding: LLM-Driven Semantic Test Generation for RTL Verification Unresolved cited work

Reference 8

Resolution: unresolved; no resolver link, observed 2026-07-14T12:30:31.318373Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c45e1b30-c976-4416-b66b-f7a8c666a67b · outbound

This paper cites an unresolved cited work.

When Fuzzing Meets Understanding: LLM-Driven Semantic Test Generation for RTL Verification Unresolved cited work

Reference 9

Resolution: unresolved; no resolver link, observed 2026-07-14T12:30:31.318373Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f0e71c09-20aa-42a1-a3f7-f2b83f718d42 · outbound

This paper cites In International Con- ference on Theorem Provers in Circuit Design.

When Fuzzing Meets Understanding: LLM-Driven Semantic Test Generation for RTL Verification In International Con- ference on Theorem Provers in Circuit Design

Reference 10

Resolution: unresolved; no resolver link, observed 2026-07-14T12:30:31.318373Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 65df4667-36b9-4a35-ad16-da6d3c5b7efc · outbound

This paper cites Large Language Models are Edge-Case Fuzzers: Testing Deep Learning Libraries via FuzzGPT.

When Fuzzing Meets Understanding: LLM-Driven Semantic Test Generation for RTL Verification Large Language Models are Edge-Case Fuzzers: Testing Deep Learning Libraries via FuzzGPT

Reference 11

Resolution: unresolved; no resolver link, observed 2026-07-14T12:30:31.318373Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0c4b3ad3-dd01-467d-9e3b-78571d9e985c · outbound

This paper cites an unresolved cited work.

When Fuzzing Meets Understanding: LLM-Driven Semantic Test Generation for RTL Verification Unresolved cited work

Reference 12

Resolution: unresolved; no resolver link, observed 2026-07-14T12:30:31.318373Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3789b079-3366-4836-822e-12032065a343 · outbound

This paper cites an unresolved cited work.

When Fuzzing Meets Understanding: LLM-Driven Semantic Test Generation for RTL Verification Unresolved cited work

Reference 13

Resolution: unresolved; no resolver link, observed 2026-07-14T12:30:31.318373Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b09b83b0-6893-489d-8667-02bf39fb033d · outbound

This paper cites an unresolved cited work.

When Fuzzing Meets Understanding: LLM-Driven Semantic Test Generation for RTL Verification Unresolved cited work

Reference 14

Resolution: unresolved; no resolver link, observed 2026-07-14T12:30:31.318373Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d0977752-b50e-4610-b6b8-eb980dfd1691 · outbound

This paper cites an unresolved cited work.

When Fuzzing Meets Understanding: LLM-Driven Semantic Test Generation for RTL Verification Unresolved cited work

Reference 15

Resolution: unresolved; no resolver link, observed 2026-07-14T12:30:31.318373Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c86c72a4-b174-418e-8fd5-f258354b43c7 · outbound

This paper cites an unresolved cited work.

When Fuzzing Meets Understanding: LLM-Driven Semantic Test Generation for RTL Verification Unresolved cited work

Reference 16

Resolution: unresolved; no resolver link, observed 2026-07-14T12:30:31.318373Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e47ea197-73f1-44ec-9558-980dd0fd3f21 · outbound

This paper cites an unresolved cited work.

When Fuzzing Meets Understanding: LLM-Driven Semantic Test Generation for RTL Verification Unresolved cited work

Reference 17

Resolution: unresolved; no resolver link, observed 2026-07-14T12:30:31.318373Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e390d181-4717-4d31-82f2-f896c9aa09fd · outbound

This paper cites an unresolved cited work.

When Fuzzing Meets Understanding: LLM-Driven Semantic Test Generation for RTL Verification Unresolved cited work

Reference 18

Resolution: unresolved; no resolver link, observed 2026-07-14T12:30:31.318373Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation edc604e8-801c-4ad4-bd44-5955e01f479d · outbound

This paper cites an unresolved cited work.

When Fuzzing Meets Understanding: LLM-Driven Semantic Test Generation for RTL Verification Unresolved cited work

Reference 19

Resolution: unresolved; no resolver link, observed 2026-07-14T12:30:31.318373Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d310a3b0-b8c8-428b-9f31-d4169a546998 · outbound

This paper cites an unresolved cited work.

When Fuzzing Meets Understanding: LLM-Driven Semantic Test Generation for RTL Verification Unresolved cited work

Reference 20

Resolution: unresolved; no resolver link, observed 2026-07-14T12:30:31.318373Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 42ee4eab-edfc-43b9-b1d6-fec67004efe8 · outbound

This paper cites an unresolved cited work.

When Fuzzing Meets Understanding: LLM-Driven Semantic Test Generation for RTL Verification Unresolved cited work

Reference 21

Resolution: unresolved; no resolver link, observed 2026-07-14T12:30:31.318373Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a38da13d-d31c-44ab-be4d-c6a060c16b51 · outbound

This paper cites an unresolved cited work.

When Fuzzing Meets Understanding: LLM-Driven Semantic Test Generation for RTL Verification Unresolved cited work

Reference 22

Resolution: unresolved; no resolver link, observed 2026-07-14T12:30:31.318373Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 46316593-07ec-449d-bf55-689e7654ca92 · outbound

This paper cites an unresolved cited work.

When Fuzzing Meets Understanding: LLM-Driven Semantic Test Generation for RTL Verification Unresolved cited work

Reference 23

Resolution: unresolved; no resolver link, observed 2026-07-14T12:30:31.318373Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4c256092-2a2c-4d76-9845-fe66690dc7b3 · outbound

This paper cites an unresolved cited work.

When Fuzzing Meets Understanding: LLM-Driven Semantic Test Generation for RTL Verification Unresolved cited work

Reference 24

Resolution: unresolved; no resolver link, observed 2026-07-14T12:30:31.318373Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ec71016f-d299-44b1-ab7b-7d94ea204bc1 · outbound

This paper cites an unresolved cited work.

When Fuzzing Meets Understanding: LLM-Driven Semantic Test Generation for RTL Verification Unresolved cited work

Reference 25

Resolution: unresolved; no resolver link, observed 2026-07-14T12:30:31.318373Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d2df8031-bd08-4f52-8d48-fa016e2a20cb · outbound

This paper cites an unresolved cited work.

When Fuzzing Meets Understanding: LLM-Driven Semantic Test Generation for RTL Verification Unresolved cited work

Reference 26

Resolution: unresolved; no resolver link, observed 2026-07-14T12:30:31.318373Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation fbccb731-9c9d-42ef-be12-baef888916f7 · outbound

This paper cites The Emergence of Hardware Fuzzing: A Critical Review of its Significance.

When Fuzzing Meets Understanding: LLM-Driven Semantic Test Generation for RTL Verification The Emergence of Hardware Fuzzing: A Critical Review of its Significance

Reference 27

Resolution: unresolved; no resolver link, observed 2026-07-14T12:30:31.318373Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5f1e78c8-8692-434b-ae78-c4ccf870febf · outbound

This paper cites an unresolved cited work.

When Fuzzing Meets Understanding: LLM-Driven Semantic Test Generation for RTL Verification Unresolved cited work

Reference 28

Resolution: unresolved; no resolver link, observed 2026-07-14T12:30:31.318373Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation fe8498b0-f3a4-4f0c-a400-5d237f9f7cce · outbound

This paper cites an unresolved cited work.

When Fuzzing Meets Understanding: LLM-Driven Semantic Test Generation for RTL Verification Unresolved cited work

Reference 29

Resolution: unresolved; no resolver link, observed 2026-07-14T12:30:31.318373Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b8765feb-ae5b-47a0-8076-5edc970326bd · outbound

This paper cites an unresolved cited work.

When Fuzzing Meets Understanding: LLM-Driven Semantic Test Generation for RTL Verification Unresolved cited work

Reference 30

Resolution: unresolved; no resolver link, observed 2026-07-14T12:30:31.318373Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9116821d-b318-4c66-87ae-51e0e60d2f1f · outbound

This paper cites an unresolved cited work.

When Fuzzing Meets Understanding: LLM-Driven Semantic Test Generation for RTL Verification Unresolved cited work

Reference 31

Resolution: unresolved; no resolver link, observed 2026-07-14T12:30:31.318373Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e56fd3a2-0178-4bd8-90b8-baa615e1d417 · outbound

This paper cites an unresolved cited work.

When Fuzzing Meets Understanding: LLM-Driven Semantic Test Generation for RTL Verification Unresolved cited work

Reference 32

Resolution: unresolved; no resolver link, observed 2026-07-14T12:30:31.318373Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation becc736a-c43b-4c4b-9f92-1682610ecf78 · outbound

This paper cites an unresolved cited work.

When Fuzzing Meets Understanding: LLM-Driven Semantic Test Generation for RTL Verification Unresolved cited work

Reference 33

Resolution: unresolved; no resolver link, observed 2026-07-14T12:30:31.318373Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1e11b02f-54be-461d-a953-954ea787eb14 · outbound

This paper cites an unresolved cited work.

When Fuzzing Meets Understanding: LLM-Driven Semantic Test Generation for RTL Verification Unresolved cited work

Reference 34

Resolution: unresolved; no resolver link, observed 2026-07-14T12:30:31.318373Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a2b451b3-b52e-403b-b1bc-f9c204b3f6ec · outbound

This paper cites an unresolved cited work.

When Fuzzing Meets Understanding: LLM-Driven Semantic Test Generation for RTL Verification Unresolved cited work

Reference 35

Resolution: unresolved; no resolver link, observed 2026-07-14T12:30:31.318373Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ad48769a-ee9d-4696-92ff-8777fdb094ca · outbound

This paper cites an unresolved cited work.

When Fuzzing Meets Understanding: LLM-Driven Semantic Test Generation for RTL Verification Unresolved cited work

Reference 36

Resolution: unresolved; no resolver link, observed 2026-07-14T12:30:31.318373Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 16bad3ad-95a5-4575-9332-3de10fbb51d8 · outbound

This paper cites an unresolved cited work.

When Fuzzing Meets Understanding: LLM-Driven Semantic Test Generation for RTL Verification Unresolved cited work

Reference 37

Resolution: unresolved; no resolver link, observed 2026-07-14T12:30:31.318373Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b5405d94-bedf-49f6-996c-ceffc2a2ed48 · outbound

This paper cites an unresolved cited work.

When Fuzzing Meets Understanding: LLM-Driven Semantic Test Generation for RTL Verification Unresolved cited work

Reference 38

Resolution: unresolved; no resolver link, observed 2026-07-14T12:30:31.318373Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5daa3319-92d3-4d50-a404-bba2b9e35026 · outbound

This paper cites an unresolved cited work.

When Fuzzing Meets Understanding: LLM-Driven Semantic Test Generation for RTL Verification Unresolved cited work

Reference 39

Resolution: unresolved; no resolver link, observed 2026-07-14T12:30:31.318373Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Pith citing papers

No inbound Pith citation observations are available.