Paper Citation Record · LEDGER

Spec-Driven Hardware Evolution via Executable Contract Refinement and Proof-Guided RTL Update

As of 18 August 2026, this Paper Citation Record lists 47 of 47 outbound references and 0 inbound Pith citation observations for arXiv:2608.12684.

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

pith.paper-citation-record.v1
2608.12684 v1

Coverage vector

measured 47 of 47 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-16T04:43:01.858901Z

measured 47 of 47 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-17T06:30:58.91139+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

47 of 47 outbound references displayed

verified exact2
verified fuzzy2
unresolved42
parse uncertain0
malformed identifier0
metadata mismatch1

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 7757d238-b95c-423f-a8f8-b8b813d32da0 · outbound

This paper cites an unresolved cited work.

Spec-Driven Hardware Evolution via Executable Contract Refinement and Proof-Guided RTL Update Unresolved cited work

Reference 1

Resolution: unresolved; no resolver link, observed 2026-08-16T04:43:01.716943Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1e34d6e2-136f-4c34-a08b-1dcc651c11aa · outbound

This paper cites an unresolved cited work.

Spec-Driven Hardware Evolution via Executable Contract Refinement and Proof-Guided RTL Update Unresolved cited work

Reference 2

Resolution: unresolved; raw_fallback, observed 2026-08-16T04:43:02.638802Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation aca5972f-d910-40ae-a4e8-7aff11806784 · outbound

This paper cites an unresolved cited work.

Spec-Driven Hardware Evolution via Executable Contract Refinement and Proof-Guided RTL Update Unresolved cited work

Reference 3

Resolution: unresolved; no resolver link, observed 2026-08-16T04:43:01.723245Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 51b2c4d1-43ec-45c1-abb6-9ca048c28f15 · outbound

This paper cites an unresolved cited work.

Spec-Driven Hardware Evolution via Executable Contract Refinement and Proof-Guided RTL Update Unresolved cited work

Reference 4

Resolution: unresolved; raw_fallback, observed 2026-08-16T04:43:02.624075Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation f292bbb0-3cb6-4d79-b09c-548e992272e5 · outbound

This paper cites an unresolved cited work.

Spec-Driven Hardware Evolution via Executable Contract Refinement and Proof-Guided RTL Update Unresolved cited work

Reference 5

Resolution: unresolved; no resolver link, observed 2026-08-16T04:43:01.729362Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 322be0b9-4485-469c-b736-babe55addc6b · outbound

This paper cites an unresolved cited work.

Spec-Driven Hardware Evolution via Executable Contract Refinement and Proof-Guided RTL Update Unresolved cited work

Reference 6

Resolution: unresolved; no resolver link, observed 2026-08-16T04:43:01.732388Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0954042a-dea8-46bb-a255-3d407b489292 · outbound

This paper cites an unresolved cited work.

Spec-Driven Hardware Evolution via Executable Contract Refinement and Proof-Guided RTL Update Unresolved cited work

Reference 7

Resolution: unresolved; raw_fallback, observed 2026-08-16T04:43:02.602771Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation 18df2316-05bd-44a4-9096-7e84080d6dcb · outbound

This paper cites an unresolved cited work.

Spec-Driven Hardware Evolution via Executable Contract Refinement and Proof-Guided RTL Update Unresolved cited work

Reference 8

Resolution: unresolved; no resolver link, observed 2026-08-16T04:43:01.738332Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e2f75d1b-f0f3-4140-9c91-ed1ebf3c8c18 · outbound

This paper cites an unresolved cited work.

Spec-Driven Hardware Evolution via Executable Contract Refinement and Proof-Guided RTL Update Unresolved cited work

Reference 9

Resolution: unresolved; raw_fallback, observed 2026-08-16T04:43:02.586733Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation 4b85da2b-6e28-4e96-96f5-46cbeb1b48aa · outbound

This paper cites EvoVerilog: Large Langugage Model Assisted Evolution of Verilog Code.

Spec-Driven Hardware Evolution via Executable Contract Refinement and Proof-Guided RTL Update EvoVerilog: Large Langugage Model Assisted Evolution of Verilog Code

Reference 10

Resolution: verified exact; local_arxiv, observed 2026-08-16T04:43:02.306434Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation 97eb9fd6-9582-451c-a9bc-b8da4d67e539 · outbound

This paper cites an unresolved cited work.

Spec-Driven Hardware Evolution via Executable Contract Refinement and Proof-Guided RTL Update Unresolved cited work

Reference 11

Resolution: unresolved; raw_fallback, observed 2026-08-16T04:43:02.576765Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation b0d95833-1e2d-44be-b850-624c37d4d295 · outbound

This paper cites SWE-bench: Can Language Models Resolve Real-World GitHub Issues?.

Spec-Driven Hardware Evolution via Executable Contract Refinement and Proof-Guided RTL Update SWE-bench: Can Language Models Resolve Real-World GitHub Issues?

Reference 12

Resolution: unresolved; no resolver link, observed 2026-08-16T04:43:01.750273Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e9a05586-51c2-4ee2-a828-2931738abaa1 · outbound

This paper cites RealBench: Benchmarking Verilog Generation Models with Real-World IP Designs.

Spec-Driven Hardware Evolution via Executable Contract Refinement and Proof-Guided RTL Update RealBench: Benchmarking Verilog Generation Models with Real-World IP Designs

Reference 13

Resolution: unresolved; no resolver link, observed 2026-08-16T04:43:01.753414Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ca1e6bda-ba4f-458e-8fd0-4cea48494013 · outbound

This paper cites an unresolved cited work.

Spec-Driven Hardware Evolution via Executable Contract Refinement and Proof-Guided RTL Update Unresolved cited work

Reference 14

Resolution: unresolved; no resolver link, observed 2026-08-16T04:43:01.756920Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation fb11dd7f-c7c6-411e-97bf-8d81b15d7f0c · outbound

This paper cites an unresolved cited work.

Spec-Driven Hardware Evolution via Executable Contract Refinement and Proof-Guided RTL Update Unresolved cited work

Reference 15

Resolution: unresolved; no resolver link, observed 2026-08-16T04:43:01.759602Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4d6dbf16-f81d-4811-a9cb-a916fba5b6ad · outbound

This paper cites an unresolved cited work.

Spec-Driven Hardware Evolution via Executable Contract Refinement and Proof-Guided RTL Update Unresolved cited work

Reference 16

Resolution: verified exact; arxiv_id, observed 2026-08-16T04:43:02.270048Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation da7b835c-7444-46ea-9773-7791cb5bd700 · outbound

This paper cites an unresolved cited work.

Spec-Driven Hardware Evolution via Executable Contract Refinement and Proof-Guided RTL Update Unresolved cited work

Reference 17

Resolution: unresolved; no resolver link, observed 2026-08-16T04:43:01.765095Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 32c5c485-006c-495c-9614-d3761e048b53 · outbound

This paper cites an unresolved cited work.

Spec-Driven Hardware Evolution via Executable Contract Refinement and Proof-Guided RTL Update Unresolved cited work

Reference 18

Resolution: unresolved; raw_fallback, observed 2026-08-16T04:43:02.549148Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation a045d9c4-6590-4cb4-8efd-6d0c08b65b8b · outbound

This paper cites an unresolved cited work.

Spec-Driven Hardware Evolution via Executable Contract Refinement and Proof-Guided RTL Update Unresolved cited work

Reference 19

Resolution: unresolved; raw_fallback, observed 2026-08-16T04:43:02.539099Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation 0bba4e7d-081c-43af-a019-9550d94feee1 · outbound

This paper cites an unresolved cited work.

Spec-Driven Hardware Evolution via Executable Contract Refinement and Proof-Guided RTL Update Unresolved cited work

Reference 20

Resolution: unresolved; no resolver link, observed 2026-08-16T04:43:01.778732Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d3fd53a2-cd57-498e-96da-b4b9d4bcbc19 · outbound

This paper cites an unresolved cited work.

Spec-Driven Hardware Evolution via Executable Contract Refinement and Proof-Guided RTL Update Unresolved cited work

Reference 21

Resolution: unresolved; raw_fallback, observed 2026-08-16T04:43:02.513178Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation 63200024-f199-4f1a-bb23-79fb0c9537b5 · outbound

This paper cites an unresolved cited work.

Spec-Driven Hardware Evolution via Executable Contract Refinement and Proof-Guided RTL Update Unresolved cited work

Reference 22

Resolution: unresolved; no resolver link, observed 2026-08-16T04:43:01.785334Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6c019e29-8b17-4656-a351-a8f02cbb652a · outbound

This paper cites an unresolved cited work.

Spec-Driven Hardware Evolution via Executable Contract Refinement and Proof-Guided RTL Update Unresolved cited work

Reference 23

Resolution: unresolved; no resolver link, observed 2026-08-16T04:43:01.788745Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e5e5bf68-d80c-44d0-ab0c-efc712ae4b3a · outbound

This paper cites an unresolved cited work.

Spec-Driven Hardware Evolution via Executable Contract Refinement and Proof-Guided RTL Update Unresolved cited work

Reference 24

Resolution: unresolved; no resolver link, observed 2026-08-16T04:43:01.791973Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c81a9dcb-8fde-478f-92fd-8b902a5b24ad · outbound

This paper cites an unresolved cited work.

Spec-Driven Hardware Evolution via Executable Contract Refinement and Proof-Guided RTL Update Unresolved cited work

Reference 25

Resolution: unresolved; raw_fallback, observed 2026-08-16T04:43:02.478673Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation 47008bd8-4f11-42ca-aba6-48fe0dea1736 · outbound

This paper cites an unresolved cited work.

Spec-Driven Hardware Evolution via Executable Contract Refinement and Proof-Guided RTL Update Unresolved cited work

Reference 26

Resolution: unresolved; raw_fallback, observed 2026-08-16T04:43:02.468841Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation 06ac1ffa-7313-471d-aa60-19de1c427ff2 · outbound

This paper cites an unresolved cited work.

Spec-Driven Hardware Evolution via Executable Contract Refinement and Proof-Guided RTL Update Unresolved cited work

Reference 27

Resolution: unresolved; raw_fallback, observed 2026-08-16T04:43:02.459593Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation d29ec7ea-d6ba-43a8-bcd9-588995094cab · outbound

This paper cites an unresolved cited work.

Spec-Driven Hardware Evolution via Executable Contract Refinement and Proof-Guided RTL Update Unresolved cited work

Reference 28

Resolution: unresolved; no resolver link, observed 2026-08-16T04:43:01.808483Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation dcedb384-00c4-4e92-a6d8-48dd003bc53c · outbound

This paper cites an unresolved cited work.

Spec-Driven Hardware Evolution via Executable Contract Refinement and Proof-Guided RTL Update Unresolved cited work

Reference 29

Resolution: unresolved; no resolver link, observed 2026-08-16T04:43:01.811718Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 220b5bf0-393e-4b57-b5b9-9139c1393912 · outbound

This paper cites VeriOpt: PPA-Aware High-Quality Verilog Generation via Multi-Role LLMs.

Spec-Driven Hardware Evolution via Executable Contract Refinement and Proof-Guided RTL Update VeriOpt: PPA-Aware High-Quality Verilog Generation via Multi-Role LLMs

Reference 30

Resolution: unresolved; no resolver link, observed 2026-08-16T04:43:01.814699Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ddf79022-457f-434d-8749-6bc08d46d893 · outbound

This paper cites SWE-EVO: Benchmarking Coding Agents in Long-Horizon Software Evolution Scenarios.

Spec-Driven Hardware Evolution via Executable Contract Refinement and Proof-Guided RTL Update SWE-EVO: Benchmarking Coding Agents in Long-Horizon Software Evolution Scenarios

Reference 31

Resolution: unresolved; no resolver link, observed 2026-08-16T04:43:01.818488Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b4c27e83-18ad-44b1-bafe-dcf66cc22e95 · outbound

This paper cites an unresolved cited work.

Spec-Driven Hardware Evolution via Executable Contract Refinement and Proof-Guided RTL Update Unresolved cited work

Reference 32

Resolution: unresolved; raw_fallback, observed 2026-08-16T04:43:02.449011Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation a4630780-06cb-4bae-9dd4-b983af36b3b6 · outbound

This paper cites an unresolved cited work.

Spec-Driven Hardware Evolution via Executable Contract Refinement and Proof-Guided RTL Update Unresolved cited work

Reference 33

Resolution: unresolved; raw_fallback, observed 2026-08-16T04:43:02.437619Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation b1b2d65e-6b6e-4c7e-baaa-a51fccee19d1 · outbound

This paper cites an unresolved cited work.

Spec-Driven Hardware Evolution via Executable Contract Refinement and Proof-Guided RTL Update Unresolved cited work

Reference 34

Resolution: metadata mismatch; raw_fallback, observed 2026-08-16T04:43:02.085167Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation ae40d82e-bd46-4260-b23f-0767748904cc · outbound

This paper cites VeriReason: Reinforcement Learning with Testbench Feedback for Reasoning-Enhanced Verilog Generation.

Spec-Driven Hardware Evolution via Executable Contract Refinement and Proof-Guided RTL Update VeriReason: Reinforcement Learning with Testbench Feedback for Reasoning-Enhanced Verilog Generation

Reference 35

Resolution: unresolved; no resolver link, observed 2026-08-16T04:43:01.831687Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 569c70ed-ac4e-4666-ba7b-29d32bcac8f7 · outbound

This paper cites an unresolved cited work.

Spec-Driven Hardware Evolution via Executable Contract Refinement and Proof-Guided RTL Update Unresolved cited work

Reference 36

Resolution: unresolved; raw_fallback, observed 2026-08-16T04:43:02.426008Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation 39965e1d-bc3d-4f6d-b839-2943d2dd797e · outbound

This paper cites an unresolved cited work.

Spec-Driven Hardware Evolution via Executable Contract Refinement and Proof-Guided RTL Update Unresolved cited work

Reference 37

Resolution: unresolved; no resolver link, observed 2026-08-16T04:43:01.840829Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 48c36dd3-54be-4b39-a972-2d0e8d9c3ac1 · outbound

This paper cites an unresolved cited work.

Spec-Driven Hardware Evolution via Executable Contract Refinement and Proof-Guided RTL Update Unresolved cited work

Reference 38

Resolution: unresolved; no resolver link, observed 2026-08-16T04:43:01.843324Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f05263ad-147e-4b15-a3ea-602a15f86579 · outbound

This paper cites VFlow: Discovering Optimal Agentic Workflows for Verilog Generation.

Spec-Driven Hardware Evolution via Executable Contract Refinement and Proof-Guided RTL Update VFlow: Discovering Optimal Agentic Workflows for Verilog Generation

Reference 39

Resolution: unresolved; no resolver link, observed 2026-08-16T04:43:01.837839Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1ad7b4b7-9eab-4d36-88cb-c15e0b57a5e7 · outbound

This paper cites an unresolved cited work.

Spec-Driven Hardware Evolution via Executable Contract Refinement and Proof-Guided RTL Update Unresolved cited work

Reference 40

Resolution: unresolved; no resolver link, observed 2026-08-16T04:43:01.848488Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3f71b365-6dfc-4169-8fd5-dd78bbc049a5 · outbound

This paper cites an unresolved cited work.

Spec-Driven Hardware Evolution via Executable Contract Refinement and Proof-Guided RTL Update Unresolved cited work

Reference 41

Resolution: unresolved; no resolver link, observed 2026-08-16T04:43:01.851307Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5b6ed9a5-0496-4bcd-85ff-a5f5a3f463db · outbound

This paper cites an unresolved cited work.

Spec-Driven Hardware Evolution via Executable Contract Refinement and Proof-Guided RTL Update Unresolved cited work

Reference 42

Resolution: unresolved; no resolver link, observed 2026-08-16T04:43:01.846040Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8d522080-de7d-4482-8d82-ac6880562d63 · outbound

This paper cites an unresolved cited work.

Spec-Driven Hardware Evolution via Executable Contract Refinement and Proof-Guided RTL Update Unresolved cited work

Reference 43

Resolution: unresolved; no resolver link, observed 2026-08-16T04:43:01.856141Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation bd2a528b-0e62-4a65-8dd5-7b7b71fbb1be · outbound

This paper cites an unresolved cited work.

Spec-Driven Hardware Evolution via Executable Contract Refinement and Proof-Guided RTL Update Unresolved cited work

Reference 44

Resolution: unresolved; no resolver link, observed 2026-08-16T04:43:01.858901Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2223a647-ba98-4db7-b1f7-7e78021325a1 · outbound

This paper cites an unresolved cited work.

Spec-Driven Hardware Evolution via Executable Contract Refinement and Proof-Guided RTL Update Unresolved cited work

Reference 45

Resolution: unresolved; raw_fallback, observed 2026-08-16T04:43:02.378046Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation 5662c953-210f-430e-95fe-4cd4f03202c9 · outbound

This paper cites In2025 IEEE/ACM International Conference On Computer Aided Design (ICCAD).

Spec-Driven Hardware Evolution via Executable Contract Refinement and Proof-Guided RTL Update In2025 IEEE/ACM International Conference On Computer Aided Design (ICCAD)

Reference 2025

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T04:43:02.488218Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation 8d3b7483-23bc-4b12-985a-c2cc7b66456a · outbound

This paper cites In24th USENIX Conference on File and Storage Technologies (FAST 26).

Spec-Driven Hardware Evolution via Executable Contract Refinement and Proof-Guided RTL Update In24th USENIX Conference on File and Storage Technologies (FAST 26)

Reference 2026

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T04:43:02.528720Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Pith citing papers

No inbound Pith citation observations are available.