Pith. sign in

Paper Citation Record · LEDGER

EvoVerilog: Large Langugage Model Assisted Evolution of Verilog Code

As of 20 August 2026, this Paper Citation Record lists 35 of 35 outbound references and 1 inbound Pith citation observation for arXiv:2508.13156.

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

pith.paper-citation-record.v1
2508.13156 v1

Coverage vector

measured 35 of 35 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-06T22:33:18.156104Z

measured 36 of 36 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-20T06:33:59.587034+00:00

measured 1 of 1 inbound itemization

Pith citing papers itemized under the disclosed page cap.

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

measured 0 of 1 external citation measurements

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

Source: pith, observed 2026-08-16T04:43:02.301161Z

Reference resolution

35 of 35 outbound references displayed

  • verified exact0
  • verified fuzzy22
  • unresolved13
  • parse uncertain0
  • malformed identifier0
  • metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation e77d7c42-0501-4d9c-940d-4a861b86c550 · outbound

This paper cites write newline.

EvoVerilog: Large Langugage Model Assisted Evolution of Verilog Code write newline

Reference 1

Resolution
unresolved
no resolver link, observed 2026-08-06T22:33:14.980788Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=arxiv_source observed=2026-08-06T22:33:14.980788Z digest=sha256:d9ecb9c1e29f61481363d9cc114c89fc24690b53d92bbfdb503a8bedc8967047

Observation 3f16c6b2-2cf5-415c-b91b-6f2d6cd9aa44 · outbound

This paper cites Qwen Technical Report.

EvoVerilog: Large Langugage Model Assisted Evolution of Verilog Code Qwen Technical Report

Reference 2

Resolution
unresolved
no resolver link, observed 2026-08-06T22:33:15.088854Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=arxiv_source observed=2026-08-06T22:33:15.088854Z digest=sha256:702b1107538d09d63bf1f2686bab277b4a31cb58cde487a1e29a7641d77cdace

Observation 185c59f4-3b94-48e9-83ac-12ae427fa5d5 · outbound

This paper cites Chip-chat: Challenges and opportunities in conversational hardware design.

EvoVerilog: Large Langugage Model Assisted Evolution of Verilog Code Chip-chat: Challenges and opportunities in conversational hardware design

Reference 3

Resolution
verified fuzzy
raw_fallback, observed 2026-08-06T22:33:21.842438Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

source=arxiv_source observed=2026-08-06T22:33:15.195254Z digest=sha256:754557e4dabec45747b311b78be076d0484a65d0d0849012af1c7bca83f6a9e1

Observation 05f3a51d-eb05-47f9-9d43-460b5a963168 · outbound

This paper cites Chipgpt: How far are we from natural language hardware design.

EvoVerilog: Large Langugage Model Assisted Evolution of Verilog Code Chipgpt: How far are we from natural language hardware design

Reference 4

Resolution
unresolved
no resolver link, observed 2026-08-06T22:33:15.302366Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=arxiv_source observed=2026-08-06T22:33:15.302366Z digest=sha256:2d21bf19908dd9d74380a9d2440a086aaa8abe6790e37ea2ae24d0307fb73f45

Observation d117939c-599f-4ac3-b4e6-41a472b834b8 · outbound

This paper cites Evaluating Large Language Models Trained on Code.

EvoVerilog: Large Langugage Model Assisted Evolution of Verilog Code Evaluating Large Language Models Trained on Code

Reference 5

Resolution
unresolved
no resolver link, observed 2026-08-06T22:33:15.373682Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=arxiv_source observed=2026-08-06T22:33:15.373682Z digest=sha256:2915adeca6a2ee909be63bb4ed1b5a8142f7204271da2405373b7be78a29af03

Observation b4030ed9-2d84-4794-9d1b-e37dd3526c02 · outbound

This paper cites DeepSeek-Coder: When the Large Language Model Meets Programming -- The Rise of Code Intelligence.

EvoVerilog: Large Langugage Model Assisted Evolution of Verilog Code DeepSeek-Coder: When the Large Language Model Meets Programming -- The Rise of Code Intelligence

Reference 6

Resolution
unresolved
no resolver link, observed 2026-08-06T22:33:15.442526Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=arxiv_source observed=2026-08-06T22:33:15.442526Z digest=sha256:f407df17533aecf63cc2cdc6902b32006e072f9b42888abb966bdd6c7ca5247a

Observation bcf64167-2e4a-4dad-a245-d816ebd6377d · outbound

This paper cites Coevo: Continual evolution of symbolic solutions using large language models, 2024 b.

EvoVerilog: Large Langugage Model Assisted Evolution of Verilog Code Coevo: Continual evolution of symbolic solutions using large language models, 2024 b

Reference 7

Resolution
verified fuzzy
raw_fallback, observed 2026-08-06T22:33:21.751911Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

source=arxiv_source observed=2026-08-06T22:33:15.589172Z digest=sha256:46a33cadccfb56f06b0ad4c7d9520457a02dc2da2ec7c6eeb7cd666760724e09

Observation f0a565e0-34a1-4128-b20d-6dc5489492ef · outbound

This paper cites Measuring massive multitask language understanding.

EvoVerilog: Large Langugage Model Assisted Evolution of Verilog Code Measuring massive multitask language understanding

Reference 8

Resolution
verified fuzzy
raw_fallback, observed 2026-08-06T22:33:21.638134Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

source=arxiv_source observed=2026-08-06T22:33:15.672067Z digest=sha256:e78d9cdde33bf49720fc5fca6a85da0ae6be9edb21e1e356830299f129b577c9

Observation 770443e9-cea4-42d9-aca0-5197fff9a0af · outbound

This paper cites DeepSeek-V3 Technical Report.

EvoVerilog: Large Langugage Model Assisted Evolution of Verilog Code DeepSeek-V3 Technical Report

Reference 9

Resolution
unresolved
no resolver link, observed 2026-08-06T22:33:15.782558Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=arxiv_source observed=2026-08-06T22:33:15.782558Z digest=sha256:64634cbbe344986f344f4679be5357c1711d1552c46eb99b4555c7bbf311bc12

Observation e09a6e1e-f807-40bc-9df8-ca366f97f165 · outbound

This paper cites Evolution of heuristics: Towards efficient automatic algorithm design using large language model.

EvoVerilog: Large Langugage Model Assisted Evolution of Verilog Code Evolution of heuristics: Towards efficient automatic algorithm design using large language model

Reference 10

Resolution
verified fuzzy
raw_fallback, observed 2026-08-06T22:33:21.545786Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

source=arxiv_source observed=2026-08-06T22:33:15.890911Z digest=sha256:41e98aa45bd0a0f68044c46accdebfaf684589521a5ed306f1d7074b38f7337e

Observation 5a5f62f5-325b-4cf2-8d71-9e218f385f76 · outbound

This paper cites A systematic survey on large language models for algorithm design, 2024 c.

EvoVerilog: Large Langugage Model Assisted Evolution of Verilog Code A systematic survey on large language models for algorithm design, 2024 c

Reference 11

Resolution
verified fuzzy
raw_fallback, observed 2026-08-06T22:33:21.388958Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

source=arxiv_source observed=2026-08-06T22:33:15.960273Z digest=sha256:15ab3fad232c03442ccc686617a98e2da1084ceb2499922ab49441ab32c60b70

Observation 24b2c6a6-704a-4d0d-ac56-820639849178 · outbound

This paper cites ChipNeMo: Domain-Adapted LLMs for Chip Design.

EvoVerilog: Large Langugage Model Assisted Evolution of Verilog Code ChipNeMo: Domain-Adapted LLMs for Chip Design

Reference 12

Resolution
unresolved
no resolver link, observed 2026-08-06T22:33:16.045541Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=arxiv_source observed=2026-08-06T22:33:16.045541Z digest=sha256:7d70d9843fc46f5e6f3254be0f408c3e0c6141b65b9aef8bcd83f43717e4b871

Observation 0929b4c8-8a7e-480e-b2ac-9c14b794f66b · outbound

This paper cites R., Khailany, B., and Ren, H.

EvoVerilog: Large Langugage Model Assisted Evolution of Verilog Code R., Khailany, B., and Ren, H

Reference 13

Resolution
verified fuzzy
raw_fallback, observed 2026-08-06T22:33:21.219452Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

source=arxiv_source observed=2026-08-06T22:33:16.142515Z digest=sha256:6ce19dde7e2291e27ec77143c71a302d9cec43bbce5d60c8a6d70dc31c6d5efa

Observation bafdee05-59bb-426a-a05c-3253b5dd2476 · outbound

This paper cites Rtlcoder: Fully open-source and efficient llm-assisted rtl code generation technique.

EvoVerilog: Large Langugage Model Assisted Evolution of Verilog Code Rtlcoder: Fully open-source and efficient llm-assisted rtl code generation technique

Reference 14

Resolution
verified fuzzy
raw_fallback, observed 2026-08-06T22:33:20.998437Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

source=arxiv_source observed=2026-08-06T22:33:16.250977Z digest=sha256:ad3daf8f1ab7a86918000e31b4979873e74d5b0cc982600a08ff89419b993caf

Observation 5d3f1b04-c7dc-4d71-998b-16c5f75e775e · outbound

This paper cites Openllm-rtl: Open dataset and benchmark for llm-aided design rtl generation.

EvoVerilog: Large Langugage Model Assisted Evolution of Verilog Code Openllm-rtl: Open dataset and benchmark for llm-aided design rtl generation

Reference 15

Resolution
verified fuzzy
raw_fallback, observed 2026-08-06T22:33:20.859720Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

source=arxiv_source observed=2026-08-06T22:33:16.329674Z digest=sha256:97f51fe9b1e2f06cb4a4b984c133498a00193cbfd43028aa260901d695471249

Observation cf4cf2c0-739b-45dc-b62d-0d090b9a9e94 · outbound

This paper cites Rtllm: An open-source benchmark for design rtl generation with large language model.

EvoVerilog: Large Langugage Model Assisted Evolution of Verilog Code Rtllm: An open-source benchmark for design rtl generation with large language model

Reference 16

Resolution
verified fuzzy
raw_fallback, observed 2026-08-06T22:33:20.717222Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

source=arxiv_source observed=2026-08-06T22:33:16.428498Z digest=sha256:079d84c052bd5ebdc6ca5e319543b93db32d000dd3ffe5513d9f669427e9c5ac

Observation ea768508-a522-420d-8a55-2d4da609b58b · outbound

This paper cites A., Der, B.

EvoVerilog: Large Langugage Model Assisted Evolution of Verilog Code A., Der, B

Reference 17

Resolution
verified fuzzy
raw_fallback, observed 2026-08-06T22:33:20.597139Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

source=arxiv_source observed=2026-08-06T22:33:16.518509Z digest=sha256:350ef092db60397ffba986123d7a849b05ce0acd769ef23bd515d82b6f9f627d

Observation cff614a1-d8d2-4208-816e-b62580d0cf2a · outbound

This paper cites Gpt-3.5-turbo.

EvoVerilog: Large Langugage Model Assisted Evolution of Verilog Code Gpt-3.5-turbo

Reference 18

Resolution
verified fuzzy
raw_fallback, observed 2026-08-06T22:33:20.478465Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

source=arxiv_source observed=2026-08-06T22:33:16.583837Z digest=sha256:a968fa976ecaa72651b5158d13eaa13748066ae142c3888c628b793c4d366b1c

Observation e4030272-b33f-4409-8af7-45089471283e · outbound

This paper cites Gpt-4-turbo.

EvoVerilog: Large Langugage Model Assisted Evolution of Verilog Code Gpt-4-turbo

Reference 19

Resolution
verified fuzzy
raw_fallback, observed 2026-08-06T22:33:20.308107Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

source=arxiv_source observed=2026-08-06T22:33:16.712818Z digest=sha256:02b316e59bac2d9a1a493afa65fc90f0dd911aa38de998668ddfc68fb73cca7f

Observation 4db60939-beb8-4e3c-8c8c-3eea52a19fb9 · outbound

This paper cites Gpt-4o-mini.

EvoVerilog: Large Langugage Model Assisted Evolution of Verilog Code Gpt-4o-mini

Reference 20

Resolution
verified fuzzy
raw_fallback, observed 2026-08-06T22:33:20.171583Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

source=arxiv_source observed=2026-08-06T22:33:16.795215Z digest=sha256:d34040927005b2a4abb1879e4f5ac9a0fa06daf608bf63a6f79a164c5e03d4e8

Observation a823fdb8-938e-4f71-9acf-8c95239cddc2 · outbound

This paper cites Dave: Deriving automatically verilog from english.

EvoVerilog: Large Langugage Model Assisted Evolution of Verilog Code Dave: Deriving automatically verilog from english

Reference 21

Resolution
verified fuzzy
raw_fallback, observed 2026-08-06T22:33:19.996661Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

source=arxiv_source observed=2026-08-06T22:33:16.962510Z digest=sha256:9541dc5198e0085c37a30d07f7ad988e07016c5714a5d594b27911690826bf1f

Observation d5e6177f-a57a-4645-81a1-e98d589b859f · outbound

This paper cites Betterv: Controlled verilog generation with discriminative guidance.

EvoVerilog: Large Langugage Model Assisted Evolution of Verilog Code Betterv: Controlled verilog generation with discriminative guidance

Reference 22

Resolution
verified fuzzy
raw_fallback, observed 2026-08-06T22:33:19.833994Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

source=arxiv_source observed=2026-08-06T22:33:17.067851Z digest=sha256:973640cb7952bb4b632b6ae188c3b23f13bcfc982dbf347d48c643aba635d093

Observation f34bcacf-5713-4ec1-8002-5e4774ed8dc9 · outbound

This paper cites Revisiting verilogeval: Newer llms, in-context learning, and specification-to-rtl tasks, 2024.

EvoVerilog: Large Langugage Model Assisted Evolution of Verilog Code Revisiting verilogeval: Newer llms, in-context learning, and specification-to-rtl tasks, 2024

Reference 23

Resolution
verified fuzzy
raw_fallback, observed 2026-08-06T22:33:19.707986Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

source=arxiv_source observed=2026-08-06T22:33:17.121093Z digest=sha256:4ff3c542e57f938d771f10c1be21bc9ec640f6100ba1a1e8a418c35ee4908022

Observation 12fcd7be-6988-4ea4-b38c-143684834e0a · outbound

This paper cites P., Dupont, E., Ruiz, F.

EvoVerilog: Large Langugage Model Assisted Evolution of Verilog Code P., Dupont, E., Ruiz, F

Reference 24

Resolution
unresolved
no resolver link, observed 2026-08-06T22:33:17.211550Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=arxiv_source observed=2026-08-06T22:33:17.211550Z digest=sha256:128a80f8c3eea2032a65b45988348191e78cf7e99a7d8ce5d49752ce5f81f80d

Observation 5ff3cee7-c98d-4e92-8dbe-b2288c7b4a5b · outbound

This paper cites AutoChip: Automating HDL Generation Using LLM Feedback.

EvoVerilog: Large Langugage Model Assisted Evolution of Verilog Code AutoChip: Automating HDL Generation Using LLM Feedback

Reference 25

Resolution
unresolved
no resolver link, observed 2026-08-06T22:33:17.305692Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=arxiv_source observed=2026-08-06T22:33:17.305692Z digest=sha256:d0dd3f453cfba263dc34ced1f4a711c3bdbb1e50acf0bb14d7d9555278da3cb0

Observation dd27ce12-b6ab-4294-b5f3-213e107f9521 · outbound

This paper cites Verigen: A large language model for verilog code generation.

EvoVerilog: Large Langugage Model Assisted Evolution of Verilog Code Verigen: A large language model for verilog code generation

Reference 26

Resolution
verified fuzzy
raw_fallback, observed 2026-08-06T22:33:19.561311Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

source=arxiv_source observed=2026-08-06T22:33:17.377299Z digest=sha256:783d66a9d3b635c84ad6f966233847e6ef390086d6a6b95dba58af0740b69276

Observation 91abc168-1b48-461b-bc70-d55154828885 · outbound

This paper cites Rtlfixer: Automatically fixing RTL syntax errors with large language model.

EvoVerilog: Large Langugage Model Assisted Evolution of Verilog Code Rtlfixer: Automatically fixing RTL syntax errors with large language model

Reference 27

Resolution
verified fuzzy
raw_fallback, observed 2026-08-06T22:33:19.403279Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

source=arxiv_source observed=2026-08-06T22:33:17.488357Z digest=sha256:aa91acfb71f72ae5e97e23f6c08bb0a83c5e8ce236f3c201160760ed187d323e

Observation 5160d2b6-0f3a-4675-9c0f-c874a8bf19ed · outbound

This paper cites Planning In Natural Language Improves LLM Search For Code Generation.

EvoVerilog: Large Langugage Model Assisted Evolution of Verilog Code Planning In Natural Language Improves LLM Search For Code Generation

Reference 28

Resolution
unresolved
no resolver link, observed 2026-08-06T22:33:17.546042Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=arxiv_source observed=2026-08-06T22:33:17.546042Z digest=sha256:9dc6a221f96213400415971c46501c0ddddf06943743de87e39e5a2bbcb8bbb1

Observation 083723ae-5426-41ad-af25-b206eed14a3e · outbound

This paper cites an unresolved cited work.

EvoVerilog: Large Langugage Model Assisted Evolution of Verilog Code Unresolved cited work

Reference 29

Resolution
unresolved
raw_fallback, observed 2026-08-06T22:33:19.211243Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

source=arxiv_source observed=2026-08-06T22:33:17.646308Z digest=sha256:8f5f531db2176b064c1f62bf70c56b2fc4f802cf492a9e9f9e019c601d79d560

Observation 4588c746-dbc4-4338-9aad-4daf54aaf577 · outbound

This paper cites Chateda: A large language model powered autonomous agent for eda.

EvoVerilog: Large Langugage Model Assisted Evolution of Verilog Code Chateda: A large language model powered autonomous agent for eda

Reference 30

Resolution
verified fuzzy
raw_fallback, observed 2026-08-06T22:33:19.043339Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

source=arxiv_source observed=2026-08-06T22:33:17.702532Z digest=sha256:346e57b15c983262e6dbae50881606fc8024edd4e83b21ca98917aa76b02ec8b

Observation e8eb031b-05b3-4d59-9d40-c76ebb9a75a0 · outbound

This paper cites ReAct: Synergizing Reasoning and Acting in Language Models.

EvoVerilog: Large Langugage Model Assisted Evolution of Verilog Code ReAct: Synergizing Reasoning and Acting in Language Models

Reference 31

Resolution
unresolved
no resolver link, observed 2026-08-06T22:33:17.819117Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=arxiv_source observed=2026-08-06T22:33:17.819117Z digest=sha256:72558ae1cc8e4685224c9cc5db5605db3f37330b4f154d4eb6f0fa68ff84655d

Observation 3d0da7af-69cc-4ba7-8c71-7bb3d9164181 · outbound

This paper cites Tree of thoughts: Deliberate problem solving with large language models.

EvoVerilog: Large Langugage Model Assisted Evolution of Verilog Code Tree of thoughts: Deliberate problem solving with large language models

Reference 32

Resolution
verified fuzzy
raw_fallback, observed 2026-08-06T22:33:18.822122Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

source=arxiv_source observed=2026-08-06T22:33:17.882639Z digest=sha256:3cd231487617c6fc18755091a510b8ece1d99f96235c03673427428a3e5edb92

Observation bd143ca9-2374-40df-a818-dcbad81d6f2e · outbound

This paper cites Reevo: Large language models as hyper-heuristics with reflective evolution.

EvoVerilog: Large Langugage Model Assisted Evolution of Verilog Code Reevo: Large language models as hyper-heuristics with reflective evolution

Reference 33

Resolution
verified fuzzy
raw_fallback, observed 2026-08-06T22:33:18.663038Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

source=arxiv_source observed=2026-08-06T22:33:17.964549Z digest=sha256:a89b7006c86710341d6010b12e9fbdbbe4488c07683c3b3d98e021f6cabc2aaf

Observation 5aad9b4c-8fdf-4572-bcb1-17d8de190b96 · outbound

This paper cites Metamath: Bootstrap your own mathematical questions for large language models.

EvoVerilog: Large Langugage Model Assisted Evolution of Verilog Code Metamath: Bootstrap your own mathematical questions for large language models

Reference 34

Resolution
verified fuzzy
raw_fallback, observed 2026-08-06T22:33:18.502469Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

source=arxiv_source observed=2026-08-06T22:33:18.071831Z digest=sha256:1d7915d5a46bb94ac461cbf52101ef51bc9c41df6a36c811b5f229b70fa1694d

Observation f267ef5e-131c-4125-a7eb-5b2803296976 · outbound

This paper cites LLM4EDA: Emerging Progress in Large Language Models for Electronic Design Automation.

EvoVerilog: Large Langugage Model Assisted Evolution of Verilog Code LLM4EDA: Emerging Progress in Large Language Models for Electronic Design Automation

Reference 35

Resolution
unresolved
no resolver link, observed 2026-08-06T22:33:18.156104Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=arxiv_source observed=2026-08-06T22:33:18.156104Z digest=sha256:b3894450ee40a0397ef7889d4a8c32b95f8ce6f4f0bea1df637eee85969307c0

Pith citing papers

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

Spec-Driven Hardware Evolution via Executable Contract Refinement and Proof-Guided RTL Update cites this paper.

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-20T06:33:59.587034+00:00.

source=pdf_text observed=2026-08-16T04:43:01.743644Z digest=sha256:16ab42134c294333af3c3bce9ff381595f8e4a56c966167996a209fca9caefe2