Paper Citation Record · LEDGER

AssertCoder: LLM-Based Assertion Generation via Multimodal Specification Extraction

As of 17 August 2026, this Paper Citation Record lists 32 of 32 outbound references and 4 inbound Pith citation observations for arXiv:2507.10338.

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

pith.paper-citation-record.v1
2507.10338 v1

Coverage vector

measured 32 of 32 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-06T17:37:24.977072Z

measured 36 of 36 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 4 of 4 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links, observed 2026-07-09T10:46:26.906560Z

measured 1 of 1 external citation measurements

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

Source: pith, observed 2026-08-05T02:28:24.338817Z

Reference resolution

32 of 32 outbound references displayed

verified exact0
verified fuzzy27
unresolved5
parse uncertain0
malformed identifier0
metadata mismatch0

External citation measurements

0
pith, observed 2026-08-05T02:28:24.338817Z

Outbound references

Observation 26297d1b-6bd5-4f8f-8675-c9cbb44e877a · outbound

This paper cites Bergeron, Writing testbenches using SystemVerilog.

AssertCoder: LLM-Based Assertion Generation via Multimodal Specification Extraction Bergeron, Writing testbenches using SystemVerilog

Reference 1

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T17:37:25.481734Z

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 b493596c-7cb6-45e4-95e9-3507c61ad73d · outbound

This paper cites A survey on assertion- based hardware verification,.

AssertCoder: LLM-Based Assertion Generation via Multimodal Specification Extraction A survey on assertion- based hardware verification,

Reference 2

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T17:37:25.466991Z

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 544a0015-3106-4e37-9414-0d5cea61c164 · outbound

This paper cites Au- tosva: Democratizing formal verification of rtl module interactions,.

AssertCoder: LLM-Based Assertion Generation via Multimodal Specification Extraction Au- tosva: Democratizing formal verification of rtl module interactions,

Reference 3

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T17:37:25.452823Z

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 2d2a4a89-00f0-44c2-8be7-7e001526bbed · outbound

This paper cites r-map: Relating implementation and specification in hardware refinement checking,.

AssertCoder: LLM-Based Assertion Generation via Multimodal Specification Extraction r-map: Relating implementation and specification in hardware refinement checking,

Reference 4

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T17:37:25.438353Z

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 6fc6756f-a850-4b62-b355-2a2448837b66 · outbound

This paper cites A-team: Automatic template- based assertion miner,.

AssertCoder: LLM-Based Assertion Generation via Multimodal Specification Extraction A-team: Automatic template- based assertion miner,

Reference 5

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T17:37:25.423496Z

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 2cf031ac-8af0-4c91-afc1-eb3843f696c0 · outbound

This paper cites Harm: a hint-based assertion miner,.

AssertCoder: LLM-Based Assertion Generation via Multimodal Specification Extraction Harm: a hint-based assertion miner,

Reference 6

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T17:37:25.408724Z

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 de590018-6845-435a-8052-2d6d084121bb · outbound

This paper cites Goldmine: Automatic assertion generation using data mining and static analysis,.

AssertCoder: LLM-Based Assertion Generation via Multimodal Specification Extraction Goldmine: Automatic assertion generation using data mining and static analysis,

Reference 7

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T17:37:25.392983Z

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 51966301-bfef-4ac8-8b8c-671f691a712c · outbound

This paper cites Hybrid rule-based and machine learning system for assertion generation from natural language specifications,.

AssertCoder: LLM-Based Assertion Generation via Multimodal Specification Extraction Hybrid rule-based and machine learning system for assertion generation from natural language specifications,

Reference 8

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T17:37:25.377549Z

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 9bef1ef8-97ec-4b33-a48f-b0b65474cf6c · outbound

This paper cites Automated assertion generation from natural language specifications,.

AssertCoder: LLM-Based Assertion Generation via Multimodal Specification Extraction Automated assertion generation from natural language specifications,

Reference 9

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T17:37:25.362176Z

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 d4b0144f-39d1-4116-b17a-8843d3af9800 · outbound

This paper cites Glast: Learning formal grammars to translate natural language specifications into hardware assertions,.

AssertCoder: LLM-Based Assertion Generation via Multimodal Specification Extraction Glast: Learning formal grammars to translate natural language specifications into hardware assertions,

Reference 10

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T17:37:25.347530Z

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 cb790a3c-3450-45b2-83c3-7ca62332dfc6 · outbound

This paper cites Chatbot-based assertion generation from natural language specifications,.

AssertCoder: LLM-Based Assertion Generation via Multimodal Specification Extraction Chatbot-based assertion generation from natural language specifications,

Reference 11

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T17:37:25.330609Z

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 2d8bd2ff-8fa0-46ff-ad77-b8289906aa4a · outbound

This paper cites Spectosva: Circuit specification document to systemverilog assertion translation,.

AssertCoder: LLM-Based Assertion Generation via Multimodal Specification Extraction Spectosva: Circuit specification document to systemverilog assertion translation,

Reference 12

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T17:37:25.315288Z

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 c9d98342-9b12-4d32-a766-3d15108cab6b · outbound

This paper cites Natural language is not enough: Benchmarking multi-modal generative ai for verilog generation,.

AssertCoder: LLM-Based Assertion Generation via Multimodal Specification Extraction Natural language is not enough: Benchmarking multi-modal generative ai for verilog generation,

Reference 13

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T17:37:25.299816Z

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 cd4695d7-6c65-4425-9229-aca24c89e79d · outbound

This paper cites Assertllm: Generating hardware verification assertions from design specifications via multi-llms,.

AssertCoder: LLM-Based Assertion Generation via Multimodal Specification Extraction Assertllm: Generating hardware verification assertions from design specifications via multi-llms,

Reference 14

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T17:37:25.284475Z

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 c4d13d23-34c5-4e7b-bd70-d7e4fab8f83e · outbound

This paper cites Chiraag: Chatgpt informed rapid and automated assertion generation,.

AssertCoder: LLM-Based Assertion Generation via Multimodal Specification Extraction Chiraag: Chatgpt informed rapid and automated assertion generation,

Reference 15

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T17:37:25.269456Z

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 39948876-3899-4b23-b401-0394da24cd8c · outbound

This paper cites Towards improving verification pro- ductivity with circuit-aware translation of natural language to systemver- ilog assertions,.

AssertCoder: LLM-Based Assertion Generation via Multimodal Specification Extraction Towards improving verification pro- ductivity with circuit-aware translation of natural language to systemver- ilog assertions,

Reference 16

Resolution: unresolved; no resolver link, observed 2026-08-06T17:37:24.900653Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4bab7403-7c5d-4854-adae-9005ba76eff8 · outbound

This paper cites (security) assertions by large language models,.

AssertCoder: LLM-Based Assertion Generation via Multimodal Specification Extraction (security) assertions by large language models,

Reference 17

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T17:37:25.246499Z

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 59bced4d-db67-4476-849e-3213eb2b07ce · outbound

This paper cites AssertionForge: Enhancing Formal Verification Assertion Generation with Structured Representation of Specifications and RTL.

AssertCoder: LLM-Based Assertion Generation via Multimodal Specification Extraction AssertionForge: Enhancing Formal Verification Assertion Generation with Structured Representation of Specifications and RTL

Reference 18

Resolution: unresolved; no resolver link, observed 2026-08-06T17:37:24.909810Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b6b3cae5-83fb-4ab3-bc9c-6ed281f501d0 · outbound

This paper cites Spec2Assertion: Automatic Pre-RTL Assertion Generation using Large Language Models with Progressive Regularization.

AssertCoder: LLM-Based Assertion Generation via Multimodal Specification Extraction Spec2Assertion: Automatic Pre-RTL Assertion Generation using Large Language Models with Progressive Regularization

Reference 19

Resolution: unresolved; no resolver link, observed 2026-08-06T17:37:24.915297Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 20cda987-e709-47d8-a9c0-a960c929f3cf · outbound

This paper cites Are llms ready for practical adoption for assertion generation?.

AssertCoder: LLM-Based Assertion Generation via Multimodal Specification Extraction Are llms ready for practical adoption for assertion generation?

Reference 20

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T17:37:25.232369Z

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 3a2adc8f-94c0-4858-bdd3-b82ff6be1971 · outbound

This paper cites Chain-of-thought prompting elicits reasoning in large language models,.

AssertCoder: LLM-Based Assertion Generation via Multimodal Specification Extraction Chain-of-thought prompting elicits reasoning in large language models,

Reference 21

Resolution: unresolved; no resolver link, observed 2026-08-06T17:37:24.924332Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5383c7fc-766d-43cc-831a-7cc3a0ada63e · outbound

This paper cites Model checking,.

AssertCoder: LLM-Based Assertion Generation via Multimodal Specification Extraction Model checking,

Reference 22

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T17:37:25.206880Z

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 57d0693f-7bbc-4ef3-b94d-8a44010cb343 · outbound

This paper cites Layoutparser: A unified toolkit for deep learning based document image analysis,.

AssertCoder: LLM-Based Assertion Generation via Multimodal Specification Extraction Layoutparser: A unified toolkit for deep learning based document image analysis,

Reference 23

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T17:37:25.191813Z

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 f151e3ad-3839-4453-b242-593579f8ec70 · outbound

This paper cites Publaynet: largest dataset ever for document layout analysis,.

AssertCoder: LLM-Based Assertion Generation via Multimodal Specification Extraction Publaynet: largest dataset ever for document layout analysis,

Reference 24

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T17:37:25.177132Z

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 0a167f37-fa3a-413d-b6e4-2d7a5351b601 · outbound

This paper cites Handwritten opti- cal character recognition (ocr): A comprehensive systematic literature review (slr),.

AssertCoder: LLM-Based Assertion Generation via Multimodal Specification Extraction Handwritten opti- cal character recognition (ocr): A comprehensive systematic literature review (slr),

Reference 25

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T17:37:25.162245Z

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 aafc25a7-ad06-4155-bdc0-6c195d68bd4e · outbound

This paper cites LightRAG: Simple and Fast Retrieval-Augmented Generation.

AssertCoder: LLM-Based Assertion Generation via Multimodal Specification Extraction LightRAG: Simple and Fast Retrieval-Augmented Generation

Reference 26

Resolution: unresolved; no resolver link, observed 2026-08-06T17:37:24.945443Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3db4192b-ca27-4478-b7e1-21569632d35d · outbound

This paper cites I2c-master core specification,.

AssertCoder: LLM-Based Assertion Generation via Multimodal Specification Extraction I2c-master core specification,

Reference 27

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T17:37:25.145927Z

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 769b3081-d7b7-465f-8360-2159fd9d6a97 · outbound

This paper cites Aes core specification,.

AssertCoder: LLM-Based Assertion Generation via Multimodal Specification Extraction Aes core specification,

Reference 28

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T17:37:25.128261Z

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 4626eb30-4615-4d3b-84ec-d39792d4f278 · outbound

This paper cites openmsp430,.

AssertCoder: LLM-Based Assertion Generation via Multimodal Specification Extraction openmsp430,

Reference 29

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T17:37:25.111698Z

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 deb62d73-ce7d-4b08-bbdc-a70b9c23b9c6 · outbound

This paper cites GPT-4 Technical Report,.

AssertCoder: LLM-Based Assertion Generation via Multimodal Specification Extraction GPT-4 Technical Report,

Reference 30

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T17:37:25.095794Z

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 256479fe-d7c3-4a6b-8b10-6e19ed55f749 · outbound

This paper cites Yosys open synthesis suite,.

AssertCoder: LLM-Based Assertion Generation via Multimodal Specification Extraction Yosys open synthesis suite,

Reference 31

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T17:37:25.079428Z

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 635adcbc-4d9d-477a-ac41-e756bf9d1af5 · outbound

This paper cites Mantra: Mutation testing of hardware design code based on real bugs,.

AssertCoder: LLM-Based Assertion Generation via Multimodal Specification Extraction Mantra: Mutation testing of hardware design code based on real bugs,

Reference 32

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T17:37:25.063401Z

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

Observation e5ad2833-65fc-4513-b1e2-6cb4a1158946 · inbound

Autoformalizing Memory Specifications with Agents cites this paper.

Autoformalizing Memory Specifications with Agents AssertCoder: LLM-Based Assertion Generation via Multimodal Specification Extraction

Reference 41

Resolution: verified exact; arxiv_id, observed 2026-05-09T20:47:37.184129Z

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 aaa4b51b-5804-4d76-8565-d864d268ef9d · inbound

AssertLLM2: A Comprehensive LLM Benchmark for Assertion Generation from Design Specifications cites this paper.

AssertLLM2: A Comprehensive LLM Benchmark for Assertion Generation from Design Specifications AssertCoder: LLM-Based Assertion Generation via Multimodal Specification Extraction

Reference 6

Resolution: verified exact; arxiv_id, observed 2026-07-01T16:25:49.889129Z

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 3e5c6ea2-b518-4b44-844d-2f75e79a48e5 · inbound

SafeGen: LLM-Driven Assertion Generation and Fault Criticality Evaluation for Functional Safety cites this paper.

SafeGen: LLM-Driven Assertion Generation and Fault Criticality Evaluation for Functional Safety AssertCoder: LLM-Based Assertion Generation via Multimodal Specification Extraction

Reference 42

Resolution: verified exact; arxiv_id, observed 2026-07-04T20:20:06.566660Z

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 fb968207-ddb6-4712-b51b-6224f2481baf · inbound

LLM Assisted Verification Assertion Generation: Challenges and Future Directions cites this paper.

LLM Assisted Verification Assertion Generation: Challenges and Future Directions AssertCoder: LLM-Based Assertion Generation via Multimodal Specification Extraction

Reference 13

Resolution: verified exact; local_arxiv, observed 2026-07-09T10:56:11.273974Z

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.