{"as_of":"2026-08-07T10:29:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:7bfe8f1ed86ad2b012a4eabf7cb0406f4128def1470134dd955e18de8dae73ae","coverage":[{"denominator":72,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":72,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-06T15:07:26.658557Z","state":"measured"},{"denominator":73,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":73,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-07T06:34:17.273281+00:00","state":"measured"},{"denominator":1,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":1,"source":"paper_references, paper_reference_links","source_observed_at":"2026-05-10T10:48:11.646826Z","state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"arxiv_reference","source_observed_at":"2026-05-10T10:49:56.214892Z","state":"measured"}],"external_citation_measurements":[],"inbound":[{"citation":{"cited_paper":{"arxiv_id":"2507.16808","last_updated":"2025-07-22T17:57:02Z","snapshot_observed_at":"2026-08-06T14:58:53.651494Z","submitted_at":"2025-07-22T17:57:02Z","title":"Rethinking LLM-Based RTL Code Optimization Via Timing Logic Metamorphosis","version":1},"cited_work":{"arxiv_id":"2507.16808","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2507.16808","snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"bea2f889-46b4-4133-83b3-ada5977457e1","year":2025},"citing_paper":{"arxiv_id":"2604.14989","last_updated":"2026-04-26T15:34:21Z","snapshot_observed_at":"2026-07-06T23:02:40.364114Z","submitted_at":"2026-04-16T13:18:24Z","title":"Dr. RTL: Autonomous Agentic RTL Optimization through Tool-Grounded Self-Improvement","version":2},"reference_index":40,"source":"pdf_text","source_observed_at":"2026-05-10T10:48:11.646826Z"},"links":{"cited_paper":"/paper/2507.16808","citing_paper":"/paper/2604.14989"},"observation_digest":"sha256:d07f58981a60cfb6784243efc13da64833f2543c795d373c7b27a0a94739b1d6","observation_id":"6e485134-e07b-4016-a66d-c676340cc923","resolution":{"observed_at":"2026-05-10T10:49:56.217726Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}}],"links":{"evidence":"/evidence","html":"/paper/2507.16808/citation-record","integrity":"/paper/2507.16808/integrity","json":"/paper/2507.16808/citation-record.json","paper":"/paper/2507.16808"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T15:07:37.891737Z","title":"Synthesis of finite state machines: Functional optimization,","venue":null,"work_id":"11bdcf4a-6fe9-4a46-b0cd-3eaf6ef22141","year":1998},"citing_paper":{"arxiv_id":"2507.16808","last_updated":"2025-07-22T17:57:02Z","snapshot_observed_at":"2026-08-06T14:58:53.651494Z","submitted_at":"2025-07-22T17:57:02Z","title":"Rethinking LLM-Based RTL Code Optimization Via Timing Logic Metamorphosis","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-06T15:07:17.905370Z"},"links":{"citing_paper":"/paper/2507.16808"},"observation_digest":"sha256:39742fbe550d896a83cb03d14ffe38c19f0dc0a331dad6a921a095ece96edd53","observation_id":"c581143b-71d6-43e1-9c9a-584e3674bc56","resolution":{"observed_at":"2026-08-06T15:07:38.037635Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T15:07:37.578548Z","title":"Villa, T","venue":null,"work_id":"16db4a3d-e9cc-439c-9121-1012478a92a3","year":2012},"citing_paper":{"arxiv_id":"2507.16808","last_updated":"2025-07-22T17:57:02Z","snapshot_observed_at":"2026-08-06T14:58:53.651494Z","submitted_at":"2025-07-22T17:57:02Z","title":"Rethinking LLM-Based RTL Code Optimization Via Timing Logic Metamorphosis","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-06T15:07:17.965986Z"},"links":{"citing_paper":"/paper/2507.16808"},"observation_digest":"sha256:433341522c351a6569680038b819d955f3ad465f6bb97a47dafe759e35bd6b2c","observation_id":"ab4cfbba-b4a8-4ee0-9a7e-62bfdce10152","resolution":{"observed_at":"2026-08-06T15:07:37.729524Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T15:07:37.354642Z","title":"Decomposition of finite state machines for area, delay minimization,","venue":null,"work_id":"bf47acab-b8b7-41d1-ae0a-c96f1787a706","year":1999},"citing_paper":{"arxiv_id":"2507.16808","last_updated":"2025-07-22T17:57:02Z","snapshot_observed_at":"2026-08-06T14:58:53.651494Z","submitted_at":"2025-07-22T17:57:02Z","title":"Rethinking LLM-Based RTL Code Optimization Via Timing Logic Metamorphosis","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-06T15:07:18.044271Z"},"links":{"citing_paper":"/paper/2507.16808"},"observation_digest":"sha256:4a783bfe6d341685d8a76ad1eaf4524c7fffedc1536b0c2f36a43e3c3ef930fe","observation_id":"8618379f-e0a7-490d-9c73-469e67b3cd7e","resolution":{"observed_at":"2026-08-06T15:07:37.428007Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T15:07:37.309898Z","title":"Scaling up superoptimization,","venue":null,"work_id":"65e07646-058b-40b7-b513-d3f73f9e69b5","year":2016},"citing_paper":{"arxiv_id":"2507.16808","last_updated":"2025-07-22T17:57:02Z","snapshot_observed_at":"2026-08-06T14:58:53.651494Z","submitted_at":"2025-07-22T17:57:02Z","title":"Rethinking LLM-Based RTL Code Optimization Via Timing Logic Metamorphosis","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-06T15:07:18.148329Z"},"links":{"citing_paper":"/paper/2507.16808"},"observation_digest":"sha256:127bffa2fd61e69f9f89cc81df59c38bfc9c4431be74a2cfb8cf5f4393fe299a","observation_id":"29c5388c-5ac9-4260-9871-815a60df54b3","resolution":{"observed_at":"2026-08-06T15:07:37.348038Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T15:07:37.164908Z","title":"Rtlrewriter: Methodologies for large models aided rtl code optimization,","venue":null,"work_id":"56513308-082c-42f0-8373-7291e1972384","year":2024},"citing_paper":{"arxiv_id":"2507.16808","last_updated":"2025-07-22T17:57:02Z","snapshot_observed_at":"2026-08-06T14:58:53.651494Z","submitted_at":"2025-07-22T17:57:02Z","title":"Rethinking LLM-Based RTL Code Optimization Via Timing Logic Metamorphosis","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-06T15:07:18.254886Z"},"links":{"citing_paper":"/paper/2507.16808"},"observation_digest":"sha256:e417f6a524a1bbb908605d38f875eb15fa06b5aa6f4a4f6fa8fdd5edd6db4a56","observation_id":"27c12038-1f7e-4eb0-9547-2b4d9568d002","resolution":{"observed_at":"2026-08-06T15:07:37.228715Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T15:07:18.350676Z","title":"Symrtlo: Enhancing rtl code optimization with llms and neuron-inspired symbolic reasoning,","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2507.16808","last_updated":"2025-07-22T17:57:02Z","snapshot_observed_at":"2026-08-06T14:58:53.651494Z","submitted_at":"2025-07-22T17:57:02Z","title":"Rethinking LLM-Based RTL Code Optimization Via Timing Logic Metamorphosis","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-06T15:07:18.350676Z"},"links":{"citing_paper":"/paper/2507.16808"},"observation_digest":"sha256:02117629fc1214ae8f2caec13ee18284f449d6a8867feb7d8297ff1f9df06da9","observation_id":"5f1061a2-80db-4373-aeb4-9d96bc3109af","resolution":{"observed_at":"2026-08-06T15:07:18.350676Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T15:07:37.055675Z","title":"Yosys-a free verilog synthesis suite,","venue":null,"work_id":"ac8818c5-24ef-447e-8fac-cee51104752d","year":2013},"citing_paper":{"arxiv_id":"2507.16808","last_updated":"2025-07-22T17:57:02Z","snapshot_observed_at":"2026-08-06T14:58:53.651494Z","submitted_at":"2025-07-22T17:57:02Z","title":"Rethinking LLM-Based RTL Code Optimization Via Timing Logic Metamorphosis","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-06T15:07:18.458363Z"},"links":{"citing_paper":"/paper/2507.16808"},"observation_digest":"sha256:2d8282e8b5286151153f46efc8794284f8bf30a8b6707c7901a477a27a0c436d","observation_id":"bfa5bbc5-0379-441d-b1f3-d9cfdce32d4a","resolution":{"observed_at":"2026-08-06T15:07:37.105421Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T15:07:36.899724Z","title":"Synthesis of pipelined memory access controllers for streamed data applications on fpga-based computing engines,","venue":null,"work_id":"72d269cb-b159-4703-8fdc-da4f586d321c","year":2001},"citing_paper":{"arxiv_id":"2507.16808","last_updated":"2025-07-22T17:57:02Z","snapshot_observed_at":"2026-08-06T14:58:53.651494Z","submitted_at":"2025-07-22T17:57:02Z","title":"Rethinking LLM-Based RTL Code Optimization Via Timing Logic Metamorphosis","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-06T15:07:18.552492Z"},"links":{"citing_paper":"/paper/2507.16808"},"observation_digest":"sha256:fe1b0398e7afa6fdff0f8f2b8fc468514a2c37a832e288b4cd495223a0a98188","observation_id":"9acd4c45-2fa8-4ff6-a7d6-df5559ceb014","resolution":{"observed_at":"2026-08-06T15:07:36.982199Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T15:07:18.773654Z","title":"Rtllm: An open-source benchmark for design rtl generation with large language model,","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2507.16808","last_updated":"2025-07-22T17:57:02Z","snapshot_observed_at":"2026-08-06T14:58:53.651494Z","submitted_at":"2025-07-22T17:57:02Z","title":"Rethinking LLM-Based RTL Code Optimization Via Timing Logic Metamorphosis","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-06T15:07:18.773654Z"},"links":{"citing_paper":"/paper/2507.16808"},"observation_digest":"sha256:fc77fc46a0105cc035ea80ccd4a77962fee87fdf5e260d5ee9603dea88d6c17e","observation_id":"eba0e969-73a5-4990-ab66-b99bd5ab9b19","resolution":{"observed_at":"2026-08-06T15:07:18.773654Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T15:07:36.755224Z","title":", design automation for microelectronics, springer handbook of automation,","venue":null,"work_id":"a725e27c-4dbc-4d66-baf1-9a98d1b67ea5","year":2009},"citing_paper":{"arxiv_id":"2507.16808","last_updated":"2025-07-22T17:57:02Z","snapshot_observed_at":"2026-08-06T14:58:53.651494Z","submitted_at":"2025-07-22T17:57:02Z","title":"Rethinking LLM-Based RTL Code Optimization Via Timing Logic Metamorphosis","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-06T15:07:18.878097Z"},"links":{"citing_paper":"/paper/2507.16808"},"observation_digest":"sha256:0a0a41ed1ac265abb5b1b1b445ec607ebb6cfa1035e5208420d1c235e00cf814","observation_id":"302b1714-8b04-49b9-9e38-83cb61703127","resolution":{"observed_at":"2026-08-06T15:07:36.824422Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T15:07:36.703681Z","title":"Sasao, Logic synthesis and optimization","venue":null,"work_id":"076aefbb-329f-45b2-9c70-4515c69b26dc","year":1993},"citing_paper":{"arxiv_id":"2507.16808","last_updated":"2025-07-22T17:57:02Z","snapshot_observed_at":"2026-08-06T14:58:53.651494Z","submitted_at":"2025-07-22T17:57:02Z","title":"Rethinking LLM-Based RTL Code Optimization Via Timing Logic Metamorphosis","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-06T15:07:18.976900Z"},"links":{"citing_paper":"/paper/2507.16808"},"observation_digest":"sha256:3973b82a59d38a7eacd14b2c12469e5290a777a3015a53b5eac38ca27e9a7d3d","observation_id":"17413ed7-41ba-4c18-b6ad-62f90bf469ab","resolution":{"observed_at":"2026-08-06T15:07:36.718780Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T15:07:36.544798Z","title":"Rtl coding guidelines for datapath synthesis,","venue":null,"work_id":"81ef2f87-4750-4016-a42b-99cdf50c8cd0","year":2005},"citing_paper":{"arxiv_id":"2507.16808","last_updated":"2025-07-22T17:57:02Z","snapshot_observed_at":"2026-08-06T14:58:53.651494Z","submitted_at":"2025-07-22T17:57:02Z","title":"Rethinking LLM-Based RTL Code Optimization Via Timing Logic Metamorphosis","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-06T15:07:19.070459Z"},"links":{"citing_paper":"/paper/2507.16808"},"observation_digest":"sha256:bd9416effe363219515cb10a67c946e9986594e2eb6471efc838372afd6925f5","observation_id":"5f0e264e-2159-4417-a81c-6f13b3fd794a","resolution":{"observed_at":"2026-08-06T15:07:36.627830Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T15:07:36.379304Z","title":null,"venue":null,"work_id":"fccee527-2524-4edf-a91c-a7a2b3a16978","year":2011},"citing_paper":{"arxiv_id":"2507.16808","last_updated":"2025-07-22T17:57:02Z","snapshot_observed_at":"2026-08-06T14:58:53.651494Z","submitted_at":"2025-07-22T17:57:02Z","title":"Rethinking LLM-Based RTL Code Optimization Via Timing Logic Metamorphosis","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-06T15:07:19.159646Z"},"links":{"citing_paper":"/paper/2507.16808"},"observation_digest":"sha256:0fbd1fc71f0ff9dff04b1f335ea7c4d8c13f150bc5a154600256457c6ef6fbc9","observation_id":"819ce00d-6a7d-4160-9000-f342474a8025","resolution":{"observed_at":"2026-08-06T15:07:36.464666Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T15:07:36.207495Z","title":"FSM Optimization: KnowHow Tutorial,","venue":null,"work_id":"4e8588fb-203d-40d5-9986-5e8447ce912b","year":2020},"citing_paper":{"arxiv_id":"2507.16808","last_updated":"2025-07-22T17:57:02Z","snapshot_observed_at":"2026-08-06T14:58:53.651494Z","submitted_at":"2025-07-22T17:57:02Z","title":"Rethinking LLM-Based RTL Code Optimization Via Timing Logic Metamorphosis","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-06T15:07:19.250326Z"},"links":{"citing_paper":"/paper/2507.16808"},"observation_digest":"sha256:5e94db1c1f36bc4093aedfe209f6d0f2931f39d5475eacdf0872e85a68f95340","observation_id":"ec05d27a-a2db-403a-b6ce-e5b01d0d6a4a","resolution":{"observed_at":"2026-08-06T15:07:36.282680Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T15:07:35.988767Z","title":null,"venue":null,"work_id":"81683daa-66ab-4716-bd30-f1925891b4f0","year":2023},"citing_paper":{"arxiv_id":"2507.16808","last_updated":"2025-07-22T17:57:02Z","snapshot_observed_at":"2026-08-06T14:58:53.651494Z","submitted_at":"2025-07-22T17:57:02Z","title":"Rethinking LLM-Based RTL Code Optimization Via Timing Logic Metamorphosis","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-06T15:07:19.332811Z"},"links":{"citing_paper":"/paper/2507.16808"},"observation_digest":"sha256:560d12814492c5eca348e5ac5eb2fca171ee67dd2284c2bfa9c9ef3939cd7958","observation_id":"7e5b59c0-9256-4e77-94f9-cc845274edff","resolution":{"observed_at":"2026-08-06T15:07:36.104895Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T15:07:35.788596Z","title":"Clock-domain and reset-domain crossing in low-power design,","venue":null,"work_id":"f0474961-5414-4d85-8c5d-bdd085f782e6","year":2014},"citing_paper":{"arxiv_id":"2507.16808","last_updated":"2025-07-22T17:57:02Z","snapshot_observed_at":"2026-08-06T14:58:53.651494Z","submitted_at":"2025-07-22T17:57:02Z","title":"Rethinking LLM-Based RTL Code Optimization Via Timing Logic Metamorphosis","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-06T15:07:19.414423Z"},"links":{"citing_paper":"/paper/2507.16808"},"observation_digest":"sha256:5c258a2c081a432085f26cc65d0098bb58f062c167dac4d593ee0ca083be9a59","observation_id":"5a4bd0ad-f54c-446e-904c-c07fac7db236","resolution":{"observed_at":"2026-08-06T15:07:35.884444Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T15:07:35.600435Z","title":"What techniques can be used to reduce power consump- tion in fpgas?","venue":null,"work_id":"0ecb8f56-1d01-4f06-84f5-d02e9a444d83","year":2025},"citing_paper":{"arxiv_id":"2507.16808","last_updated":"2025-07-22T17:57:02Z","snapshot_observed_at":"2026-08-06T14:58:53.651494Z","submitted_at":"2025-07-22T17:57:02Z","title":"Rethinking LLM-Based RTL Code Optimization Via Timing Logic Metamorphosis","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-06T15:07:19.491863Z"},"links":{"citing_paper":"/paper/2507.16808"},"observation_digest":"sha256:bab9989dfa357ae2fe961b883cba31af4beb2566c565a158dadd56b2c6cf1ac4","observation_id":"77e73d9e-c5d6-47c4-a1de-06a5375efac9","resolution":{"observed_at":"2026-08-06T15:07:35.683329Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T15:07:35.478447Z","title":"Unnikrishnan and S","venue":null,"work_id":"e3813c4a-299f-40f6-8700-e249cbf7a83f","year":2024},"citing_paper":{"arxiv_id":"2507.16808","last_updated":"2025-07-22T17:57:02Z","snapshot_observed_at":"2026-08-06T14:58:53.651494Z","submitted_at":"2025-07-22T17:57:02Z","title":"Rethinking LLM-Based RTL Code Optimization Via Timing Logic Metamorphosis","version":1},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-06T15:07:19.564841Z"},"links":{"citing_paper":"/paper/2507.16808"},"observation_digest":"sha256:224ce41fbc70d65c37fad4cef1b80e61db0860230fa4779abaee90724ef94c68","observation_id":"fe85f98a-17c8-47c7-ad98-ca3f094769b3","resolution":{"observed_at":"2026-08-06T15:07:35.517941Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T15:07:35.400968Z","title":"Simtam: Generation diversity test programs for fpga simulation tools testing via timing area mutation,","venue":null,"work_id":"03be2e95-6bb2-4601-a2d8-db9339f31175","year":2025},"citing_paper":{"arxiv_id":"2507.16808","last_updated":"2025-07-22T17:57:02Z","snapshot_observed_at":"2026-08-06T14:58:53.651494Z","submitted_at":"2025-07-22T17:57:02Z","title":"Rethinking LLM-Based RTL Code Optimization Via Timing Logic Metamorphosis","version":1},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-06T15:07:19.671714Z"},"links":{"citing_paper":"/paper/2507.16808"},"observation_digest":"sha256:78d76ec3460e54f5523e9d6abcab7c1c87816918a55ea40978935b52a1c1a23a","observation_id":"b68ea3c2-f5d2-4c12-ab9c-13da9d7ec98a","resolution":{"observed_at":"2026-08-06T15:07:35.460894Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T15:07:35.255310Z","title":"A novel hdl code generator for effectively testing fpga logic synthesis compilers,","venue":null,"work_id":"844f512e-a2b6-444a-a800-13cb59fe51ac","year":2025},"citing_paper":{"arxiv_id":"2507.16808","last_updated":"2025-07-22T17:57:02Z","snapshot_observed_at":"2026-08-06T14:58:53.651494Z","submitted_at":"2025-07-22T17:57:02Z","title":"Rethinking LLM-Based RTL Code Optimization Via Timing Logic Metamorphosis","version":1},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-06T15:07:19.776337Z"},"links":{"citing_paper":"/paper/2507.16808"},"observation_digest":"sha256:bb53b6b7a298ac84fb20d8abd3a86495f65ee461dd92e42ad53984df2fea333e","observation_id":"93e6edd7-0492-447d-943e-1076c569907e","resolution":{"observed_at":"2026-08-06T15:07:35.332196Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T15:07:19.870213Z","title":"Verilogeval: Evaluating large language models for verilog code generation,","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2507.16808","last_updated":"2025-07-22T17:57:02Z","snapshot_observed_at":"2026-08-06T14:58:53.651494Z","submitted_at":"2025-07-22T17:57:02Z","title":"Rethinking LLM-Based RTL Code Optimization Via Timing Logic Metamorphosis","version":1},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-06T15:07:19.870213Z"},"links":{"citing_paper":"/paper/2507.16808"},"observation_digest":"sha256:7e64350064778dbe902263460b92a8d9da923e730171a1613cf6cc3c0a984628","observation_id":"45f2f676-739b-4c9e-9db8-32e79a5a40c8","resolution":{"observed_at":"2026-08-06T15:07:19.870213Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T15:07:35.093816Z","title":"Verigen: A large language model for verilog code generation,","venue":null,"work_id":"a2cf0c6f-a2ed-4f29-83bf-d2019597f1ca","year":2024},"citing_paper":{"arxiv_id":"2507.16808","last_updated":"2025-07-22T17:57:02Z","snapshot_observed_at":"2026-08-06T14:58:53.651494Z","submitted_at":"2025-07-22T17:57:02Z","title":"Rethinking LLM-Based RTL Code Optimization Via Timing Logic Metamorphosis","version":1},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-06T15:07:19.959938Z"},"links":{"citing_paper":"/paper/2507.16808"},"observation_digest":"sha256:3a9f4eb8661cfb52278c7af590b9bc19498f039af112fd0547e21f503c59a331","observation_id":"2c7e9133-4382-4ff2-bc50-b9ac1bba0ebd","resolution":{"observed_at":"2026-08-06T15:07:35.168435Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T15:07:34.974782Z","title":"Rtlfixer: Automatically fixing rtl syntax errors with large language model,","venue":null,"work_id":"12bf6a43-1f0e-4601-b5e6-5862953a9612","year":2024},"citing_paper":{"arxiv_id":"2507.16808","last_updated":"2025-07-22T17:57:02Z","snapshot_observed_at":"2026-08-06T14:58:53.651494Z","submitted_at":"2025-07-22T17:57:02Z","title":"Rethinking LLM-Based RTL Code Optimization Via Timing Logic Metamorphosis","version":1},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-06T15:07:20.083555Z"},"links":{"citing_paper":"/paper/2507.16808"},"observation_digest":"sha256:aa1d8a648921992ae7f0f934fc2a9870d804702e81337ce367274e374f2b425b","observation_id":"0572e158-658f-40a2-aa6f-712845af5137","resolution":{"observed_at":"2026-08-06T15:07:35.022428Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T15:07:34.801811Z","title":"Exploiting code symmetries for learning program semantics,","venue":null,"work_id":"c35f2721-5463-4944-8b72-6636cfd0dad9","year":2024},"citing_paper":{"arxiv_id":"2507.16808","last_updated":"2025-07-22T17:57:02Z","snapshot_observed_at":"2026-08-06T14:58:53.651494Z","submitted_at":"2025-07-22T17:57:02Z","title":"Rethinking LLM-Based RTL Code Optimization Via Timing Logic Metamorphosis","version":1},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-08-06T15:07:20.193303Z"},"links":{"citing_paper":"/paper/2507.16808"},"observation_digest":"sha256:bb04e0506fac84344b88c332e03f1342796a344055102026f269a1030dd5e36e","observation_id":"abea3ec1-b345-455f-8b35-f95386ce2db3","resolution":{"observed_at":"2026-08-06T15:07:34.905112Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T15:07:34.596188Z","title":"Symlm: Predicting function names in stripped binaries via context-sensitive execution-aware code embeddings,","venue":null,"work_id":"c570dca0-3159-41b2-8f38-624d6a4d7e72","year":2022},"citing_paper":{"arxiv_id":"2507.16808","last_updated":"2025-07-22T17:57:02Z","snapshot_observed_at":"2026-08-06T14:58:53.651494Z","submitted_at":"2025-07-22T17:57:02Z","title":"Rethinking LLM-Based RTL Code Optimization Via Timing Logic Metamorphosis","version":1},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-08-06T15:07:20.282774Z"},"links":{"citing_paper":"/paper/2507.16808"},"observation_digest":"sha256:3fdd9047de20817970031e12cf69d90b6044fa4ab3eec1f83150c879277f062e","observation_id":"0f734f93-4496-4df9-a195-b952fe70342f","resolution":{"observed_at":"2026-08-06T15:07:34.687694Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2308.12950","last_updated":"2024-01-31T19:47:26Z","snapshot_observed_at":"2026-07-06T16:10:07.931347Z","submitted_at":"2023-08-24T17:39:13Z","title":"Code Llama: Open Foundation Models for Code","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2308.12950","snapshot_observed_at":"2026-08-06T15:07:20.380460Z","title":"Code llama: Open foundation models for code,","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2507.16808","last_updated":"2025-07-22T17:57:02Z","snapshot_observed_at":"2026-08-06T14:58:53.651494Z","submitted_at":"2025-07-22T17:57:02Z","title":"Rethinking LLM-Based RTL Code Optimization Via Timing Logic Metamorphosis","version":1},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-08-06T15:07:20.380460Z"},"links":{"cited_paper":"/paper/2308.12950","citing_paper":"/paper/2507.16808"},"observation_digest":"sha256:f46b872bb8f9f9543427409408e9012218eff190c27dda4d0e9d4442abb517a6","observation_id":"9f31af7a-a03d-40b2-b14f-4be2eedbf6f1","resolution":{"observed_at":"2026-08-06T15:07:20.380460Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T15:07:34.398522Z","title":"Semantic robustness of models of source code,","venue":null,"work_id":"72b88247-edae-4969-a6cc-2bb5657890a7","year":2022},"citing_paper":{"arxiv_id":"2507.16808","last_updated":"2025-07-22T17:57:02Z","snapshot_observed_at":"2026-08-06T14:58:53.651494Z","submitted_at":"2025-07-22T17:57:02Z","title":"Rethinking LLM-Based RTL Code Optimization Via Timing Logic Metamorphosis","version":1},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-08-06T15:07:20.481559Z"},"links":{"citing_paper":"/paper/2507.16808"},"observation_digest":"sha256:66123cb568fa5a4167f394457785ed3f80ed24b40fec065ccbb29e8a29688036","observation_id":"b6380327-2bc4-4652-91e4-aebd15c4b1d0","resolution":{"observed_at":"2026-08-06T15:07:34.477076Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2312.12575","last_updated":"2024-07-24T07:49:14Z","snapshot_observed_at":"2026-07-06T17:05:35.500263Z","submitted_at":"2023-12-19T20:19:43Z","title":"LLMs Cannot Reliably Identify and Reason About Security Vulnerabilities (Yet?): A Comprehensive Evaluation, Framework, and Benchmarks","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2312.12575","snapshot_observed_at":"2026-08-06T15:07:20.536909Z","title":"Can large language models identify and reason about security vulner- abilities? not yet,","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2507.16808","last_updated":"2025-07-22T17:57:02Z","snapshot_observed_at":"2026-08-06T14:58:53.651494Z","submitted_at":"2025-07-22T17:57:02Z","title":"Rethinking LLM-Based RTL Code Optimization Via Timing Logic Metamorphosis","version":1},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-08-06T15:07:20.536909Z"},"links":{"cited_paper":"/paper/2312.12575","citing_paper":"/paper/2507.16808"},"observation_digest":"sha256:0b4ab69f7d7c172a6ff12e46044a7bb22945d8814524ea24c81ab6ad4b6ce653","observation_id":"466ba651-e18b-424e-bade-bc8ad19b0068","resolution":{"observed_at":"2026-08-06T15:07:20.536909Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T15:07:34.253053Z","title":"Icarus verilog,","venue":null,"work_id":"20fc672d-3802-43d6-90a2-a705c7a4a938","year":2023},"citing_paper":{"arxiv_id":"2507.16808","last_updated":"2025-07-22T17:57:02Z","snapshot_observed_at":"2026-08-06T14:58:53.651494Z","submitted_at":"2025-07-22T17:57:02Z","title":"Rethinking LLM-Based RTL Code Optimization Via Timing Logic Metamorphosis","version":1},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-08-06T15:07:20.610372Z"},"links":{"citing_paper":"/paper/2507.16808"},"observation_digest":"sha256:d44dbf6b791861ecf921cddb6768e3ae4263adb68d00ad9046cf66cda813d2de","observation_id":"521ed3d2-becd-4ce0-8a8d-24bc16936c7f","resolution":{"observed_at":"2026-08-06T15:07:34.314088Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2504.15659","last_updated":"2025-08-24T19:32:34Z","snapshot_observed_at":"2026-08-04T04:58:56.688350Z","submitted_at":"2025-04-22T07:32:46Z","title":"VeriCoder: Enhancing LLM-Based RTL Code Generation through Functional Correctness Validation","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2504.15659","snapshot_observed_at":"2026-08-06T15:07:20.735913Z","title":"Vericoder: Enhancing llm-based rtl code generation through functional correctness validation,","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2507.16808","last_updated":"2025-07-22T17:57:02Z","snapshot_observed_at":"2026-08-06T14:58:53.651494Z","submitted_at":"2025-07-22T17:57:02Z","title":"Rethinking LLM-Based RTL Code Optimization Via Timing Logic Metamorphosis","version":1},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-08-06T15:07:20.735913Z"},"links":{"cited_paper":"/paper/2504.15659","citing_paper":"/paper/2507.16808"},"observation_digest":"sha256:ae5f5eea585e800abf7c588435461a7178a97657c0b2ceb15421c2f0cfa2c74f","observation_id":"f50cee16-0218-43c9-9f70-fe4571c03012","resolution":{"observed_at":"2026-08-06T15:07:20.735913Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2501.03040","last_updated":"2025-07-21T08:01:59Z","snapshot_observed_at":"2026-07-06T20:17:06.835639Z","submitted_at":"2025-01-06T14:27:41Z","title":"ChronoSense: Exploring Temporal Understanding in Large Language Models with Time Intervals of Events","version":2},"cited_work":{"arxiv_id":"2501.03040","doi":null,"metadata_source":"pith","pith_arxiv_id":"2501.03040","snapshot_observed_at":"2026-08-06T15:07:26.787826Z","title":"ChronoSense: Exploring Temporal Understanding in Large Language Models with Time Intervals of Events","venue":"cs.LG","work_id":"b241a172-365f-4578-a551-12adc0e58c3f","year":2025},"citing_paper":{"arxiv_id":"2507.16808","last_updated":"2025-07-22T17:57:02Z","snapshot_observed_at":"2026-08-06T14:58:53.651494Z","submitted_at":"2025-07-22T17:57:02Z","title":"Rethinking LLM-Based RTL Code Optimization Via Timing Logic Metamorphosis","version":1},"reference_index":32,"source":"pdf_text","source_observed_at":"2026-08-06T15:07:20.811804Z"},"links":{"cited_paper":"/paper/2501.03040","citing_paper":"/paper/2507.16808"},"observation_digest":"sha256:8408c477bd7c5a35ec10d74087c4f7c4ce86d7621f273dec693270d33492bc10","observation_id":"b362f35e-96c5-4d3e-8e73-ebba3d579835","resolution":{"observed_at":"2026-08-06T15:07:26.896096Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T15:07:34.058931Z","title":"Spiking neural networks,","venue":null,"work_id":"f868f0ee-18e5-4210-baf2-ef151fadbe15","year":2009},"citing_paper":{"arxiv_id":"2507.16808","last_updated":"2025-07-22T17:57:02Z","snapshot_observed_at":"2026-08-06T14:58:53.651494Z","submitted_at":"2025-07-22T17:57:02Z","title":"Rethinking LLM-Based RTL Code Optimization Via Timing Logic Metamorphosis","version":1},"reference_index":33,"source":"pdf_text","source_observed_at":"2026-08-06T15:07:20.909670Z"},"links":{"citing_paper":"/paper/2507.16808"},"observation_digest":"sha256:c69d6ede4fba60c989cea45a450a21c013779937f67a0f63587858e2025caf01","observation_id":"3687721e-4a5f-495c-9c97-a51644a89fd6","resolution":{"observed_at":"2026-08-06T15:07:34.175610Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T15:07:33.893187Z","title":"Spikingbert: Distilling bert to train spiking language models using implicit differentiation,","venue":null,"work_id":"1246d74b-b589-4976-b60d-868bfc0dd04c","year":2024},"citing_paper":{"arxiv_id":"2507.16808","last_updated":"2025-07-22T17:57:02Z","snapshot_observed_at":"2026-08-06T14:58:53.651494Z","submitted_at":"2025-07-22T17:57:02Z","title":"Rethinking LLM-Based RTL Code Optimization Via Timing Logic Metamorphosis","version":1},"reference_index":34,"source":"pdf_text","source_observed_at":"2026-08-06T15:07:21.026503Z"},"links":{"citing_paper":"/paper/2507.16808"},"observation_digest":"sha256:997d1232c6509a4dca1440b5530d8ba0d9b548d7245a4f5e244bcc11205e7b74","observation_id":"dc83a026-b90c-4cc7-91ff-c0d45dd8310c","resolution":{"observed_at":"2026-08-06T15:07:33.978591Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T15:07:21.124108Z","title":"Verigen: A large language model for verilog code generation,","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2507.16808","last_updated":"2025-07-22T17:57:02Z","snapshot_observed_at":"2026-08-06T14:58:53.651494Z","submitted_at":"2025-07-22T17:57:02Z","title":"Rethinking LLM-Based RTL Code Optimization Via Timing Logic Metamorphosis","version":1},"reference_index":35,"source":"pdf_text","source_observed_at":"2026-08-06T15:07:21.124108Z"},"links":{"citing_paper":"/paper/2507.16808"},"observation_digest":"sha256:bbe4db53d4a1681466a66138ff4b350dbdf237fb3e6243585f4068eb00ee24c3","observation_id":"9de87732-c69c-45ce-81ce-d08ddb0934ec","resolution":{"observed_at":"2026-08-06T15:07:21.124108Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T15:07:21.215653Z","title":"Rtl- coder: Fully open-source and efficient llm-assisted rtl code generation technique,","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2507.16808","last_updated":"2025-07-22T17:57:02Z","snapshot_observed_at":"2026-08-06T14:58:53.651494Z","submitted_at":"2025-07-22T17:57:02Z","title":"Rethinking LLM-Based RTL Code Optimization Via Timing Logic Metamorphosis","version":1},"reference_index":36,"source":"pdf_text","source_observed_at":"2026-08-06T15:07:21.215653Z"},"links":{"citing_paper":"/paper/2507.16808"},"observation_digest":"sha256:f53c57f27c84f5da1920ce81980672b2ecaf36eff117ab5e76298ece19f6a023","observation_id":"2105d7ba-df90-46a2-b85e-325d411c69ec","resolution":{"observed_at":"2026-08-06T15:07:21.215653Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T15:07:33.743708Z","title":"Object code optimization,","venue":null,"work_id":"f0542505-3d82-449b-93fc-0545e245d196","year":1969},"citing_paper":{"arxiv_id":"2507.16808","last_updated":"2025-07-22T17:57:02Z","snapshot_observed_at":"2026-08-06T14:58:53.651494Z","submitted_at":"2025-07-22T17:57:02Z","title":"Rethinking LLM-Based RTL Code Optimization Via Timing Logic Metamorphosis","version":1},"reference_index":37,"source":"pdf_text","source_observed_at":"2026-08-06T15:07:21.318986Z"},"links":{"citing_paper":"/paper/2507.16808"},"observation_digest":"sha256:0eb5c6602a122ae2c13e86e3e14cd344d551b372592a50b2a35fcb955cccf15c","observation_id":"be29debd-fb3c-4e93-972c-af2d1dcd7a5a","resolution":{"observed_at":"2026-08-06T15:07:33.831394Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2302.07867","last_updated":"2024-04-26T16:41:55Z","snapshot_observed_at":"2026-08-07T01:31:28.444802Z","submitted_at":"2023-02-15T18:59:21Z","title":"Learning Performance-Improving Code Edits","version":5},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2302.07867","snapshot_observed_at":"2026-08-06T15:07:21.376914Z","title":"Learning performance-improving code edits,","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2507.16808","last_updated":"2025-07-22T17:57:02Z","snapshot_observed_at":"2026-08-06T14:58:53.651494Z","submitted_at":"2025-07-22T17:57:02Z","title":"Rethinking LLM-Based RTL Code Optimization Via Timing Logic Metamorphosis","version":1},"reference_index":38,"source":"pdf_text","source_observed_at":"2026-08-06T15:07:21.376914Z"},"links":{"cited_paper":"/paper/2302.07867","citing_paper":"/paper/2507.16808"},"observation_digest":"sha256:2077a5348b4fc736ed4518cec44719f31aca4687db51b6c8eca7ba56eaa0c731","observation_id":"dbc077c0-82c1-4ef0-a18e-a5ecb52170f6","resolution":{"observed_at":"2026-08-06T15:07:21.376914Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2407.02524","last_updated":"2024-06-27T21:47:48Z","snapshot_observed_at":"2026-08-07T04:21:00.702063Z","submitted_at":"2024-06-27T21:47:48Z","title":"Meta Large Language Model Compiler: Foundation Models of Compiler Optimization","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2407.02524","snapshot_observed_at":"2026-08-06T15:07:21.473542Z","title":"Meta large language model compiler: Founda- tion models of compiler optimization,","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2507.16808","last_updated":"2025-07-22T17:57:02Z","snapshot_observed_at":"2026-08-06T14:58:53.651494Z","submitted_at":"2025-07-22T17:57:02Z","title":"Rethinking LLM-Based RTL Code Optimization Via Timing Logic Metamorphosis","version":1},"reference_index":39,"source":"pdf_text","source_observed_at":"2026-08-06T15:07:21.473542Z"},"links":{"cited_paper":"/paper/2407.02524","citing_paper":"/paper/2507.16808"},"observation_digest":"sha256:0dbb9fe7d59dab54ffd0e0eb3b6806f399f350fd416c3f75ad956d358652e00a","observation_id":"1b52234e-666d-4c1a-9004-91f3ef50c256","resolution":{"observed_at":"2026-08-06T15:07:21.473542Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T15:07:33.617337Z","title":"Egg: Fast and extensible equality saturation,","venue":null,"work_id":"54e66d8c-25df-48e0-9272-cb9ff5129648","year":2021},"citing_paper":{"arxiv_id":"2507.16808","last_updated":"2025-07-22T17:57:02Z","snapshot_observed_at":"2026-08-06T14:58:53.651494Z","submitted_at":"2025-07-22T17:57:02Z","title":"Rethinking LLM-Based RTL Code Optimization Via Timing Logic Metamorphosis","version":1},"reference_index":40,"source":"pdf_text","source_observed_at":"2026-08-06T15:07:21.632489Z"},"links":{"citing_paper":"/paper/2507.16808"},"observation_digest":"sha256:5380861326f6c9c97f7a4c07558456ddf12d829e0685553b2169f60e6c917248","observation_id":"f76b8ade-385f-4133-8095-000f136bab06","resolution":{"observed_at":"2026-08-06T15:07:33.682515Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T15:07:33.422261Z","title":"Efficient binary-level coverage analysis,","venue":null,"work_id":"ea2602cb-6bae-4dc1-aafc-6b48f2c636fb","year":2020},"citing_paper":{"arxiv_id":"2507.16808","last_updated":"2025-07-22T17:57:02Z","snapshot_observed_at":"2026-08-06T14:58:53.651494Z","submitted_at":"2025-07-22T17:57:02Z","title":"Rethinking LLM-Based RTL Code Optimization Via Timing Logic Metamorphosis","version":1},"reference_index":41,"source":"pdf_text","source_observed_at":"2026-08-06T15:07:21.803459Z"},"links":{"citing_paper":"/paper/2507.16808"},"observation_digest":"sha256:5eb33a920ab681707e8a7cd532ed7e6f68ff7d980a2aadcaff1273fdbda2b137","observation_id":"c5006aaa-948e-47ec-9a50-c6171a67bac7","resolution":{"observed_at":"2026-08-06T15:07:33.536473Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T15:07:33.257085Z","title":"Simple and effective link-time optimization of modula-3 programs,","venue":null,"work_id":"592f69f2-3689-43b6-b4ed-95b08b65ee90","year":1995},"citing_paper":{"arxiv_id":"2507.16808","last_updated":"2025-07-22T17:57:02Z","snapshot_observed_at":"2026-08-06T14:58:53.651494Z","submitted_at":"2025-07-22T17:57:02Z","title":"Rethinking LLM-Based RTL Code Optimization Via Timing Logic Metamorphosis","version":1},"reference_index":42,"source":"pdf_text","source_observed_at":"2026-08-06T15:07:22.020980Z"},"links":{"citing_paper":"/paper/2507.16808"},"observation_digest":"sha256:55d5fd212cb373ba46460e4795968baf717f71d67b0b9930957c23d85557dce3","observation_id":"160dc0af-90ad-4264-9993-0ef7c82eb2f3","resolution":{"observed_at":"2026-08-06T15:07:33.352944Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T15:07:33.090290Z","title":"Duplo: a framework for ocaml post-link optimisation,","venue":null,"work_id":"00cf3e06-cc81-4764-b3c4-edd3af9d2be9","year":2020},"citing_paper":{"arxiv_id":"2507.16808","last_updated":"2025-07-22T17:57:02Z","snapshot_observed_at":"2026-08-06T14:58:53.651494Z","submitted_at":"2025-07-22T17:57:02Z","title":"Rethinking LLM-Based RTL Code Optimization Via Timing Logic Metamorphosis","version":1},"reference_index":43,"source":"pdf_text","source_observed_at":"2026-08-06T15:07:22.180139Z"},"links":{"citing_paper":"/paper/2507.16808"},"observation_digest":"sha256:29377cc0c65195c3979b3c04286e0ed7da38eb181f8aea7fedfdffbaab3f88c2","observation_id":"4994494e-5550-4987-909f-039f30af125e","resolution":{"observed_at":"2026-08-06T15:07:33.148869Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T15:07:32.938919Z","title":"Vespa: static pro- filing for binary optimization,","venue":null,"work_id":"776215c0-f34a-4924-87ee-8cba1d026e45","year":2021},"citing_paper":{"arxiv_id":"2507.16808","last_updated":"2025-07-22T17:57:02Z","snapshot_observed_at":"2026-08-06T14:58:53.651494Z","submitted_at":"2025-07-22T17:57:02Z","title":"Rethinking LLM-Based RTL Code Optimization Via Timing Logic Metamorphosis","version":1},"reference_index":44,"source":"pdf_text","source_observed_at":"2026-08-06T15:07:22.372083Z"},"links":{"citing_paper":"/paper/2507.16808"},"observation_digest":"sha256:dab25fe09924d79bec63de008b2f2c8c31b3791a10cec6a50ee24c5b1145de46","observation_id":"5f9fe4ac-f93c-4b0f-b755-ab81382790b1","resolution":{"observed_at":"2026-08-06T15:07:33.007904Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T15:07:32.787467Z","title":"Self-refine: Iter- ative refinement with self-feedback,","venue":null,"work_id":"2c43a374-0767-4b37-9426-a1f48da7e8ae","year":2023},"citing_paper":{"arxiv_id":"2507.16808","last_updated":"2025-07-22T17:57:02Z","snapshot_observed_at":"2026-08-06T14:58:53.651494Z","submitted_at":"2025-07-22T17:57:02Z","title":"Rethinking LLM-Based RTL Code Optimization Via Timing Logic Metamorphosis","version":1},"reference_index":45,"source":"pdf_text","source_observed_at":"2026-08-06T15:07:22.607673Z"},"links":{"citing_paper":"/paper/2507.16808"},"observation_digest":"sha256:40af02b0c1cb64951499d0ac6a01140fcf117c7fd4d6900b88e0ddb3d5670d34","observation_id":"86d02a6a-f479-4828-b89b-c266a741bcc7","resolution":{"observed_at":"2026-08-06T15:07:32.849145Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T15:07:32.629241Z","title":"Priority sampling of large language models for compilers,","venue":null,"work_id":"b53bbeea-9f13-475d-ab16-b733814a330a","year":2024},"citing_paper":{"arxiv_id":"2507.16808","last_updated":"2025-07-22T17:57:02Z","snapshot_observed_at":"2026-08-06T14:58:53.651494Z","submitted_at":"2025-07-22T17:57:02Z","title":"Rethinking LLM-Based RTL Code Optimization Via Timing Logic Metamorphosis","version":1},"reference_index":46,"source":"pdf_text","source_observed_at":"2026-08-06T15:07:22.759064Z"},"links":{"citing_paper":"/paper/2507.16808"},"observation_digest":"sha256:4dadca7492b9cd3dc769c07149c2fc0cf61ceebcb6cf4f8cb9329488de5be8e0","observation_id":"e57cc4b5-9d03-4e50-bcdc-a2f32042626f","resolution":{"observed_at":"2026-08-06T15:07:32.698801Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T15:07:32.436837Z","title":"Deepdev-perf: a deep learning-based approach for improving software performance,","venue":null,"work_id":"dc16de69-686c-4577-8df9-54d98fe011a5","year":2022},"citing_paper":{"arxiv_id":"2507.16808","last_updated":"2025-07-22T17:57:02Z","snapshot_observed_at":"2026-08-06T14:58:53.651494Z","submitted_at":"2025-07-22T17:57:02Z","title":"Rethinking LLM-Based RTL Code Optimization Via Timing Logic Metamorphosis","version":1},"reference_index":47,"source":"pdf_text","source_observed_at":"2026-08-06T15:07:22.982038Z"},"links":{"citing_paper":"/paper/2507.16808"},"observation_digest":"sha256:ca8b257b59fa79d5a8c7228fb8c9d5fbf6e993a9f8b2cd0c4238cd7895f68685","observation_id":"ee663579-27df-4eaa-b16e-3de3d5389b86","resolution":{"observed_at":"2026-08-06T15:07:32.527395Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T15:07:32.298511Z","title":"New trends and challenges in source code optimization,","venue":null,"work_id":"91eb3a80-f04b-4430-8adf-b708f69bc5c7","year":2015},"citing_paper":{"arxiv_id":"2507.16808","last_updated":"2025-07-22T17:57:02Z","snapshot_observed_at":"2026-08-06T14:58:53.651494Z","submitted_at":"2025-07-22T17:57:02Z","title":"Rethinking LLM-Based RTL Code Optimization Via Timing Logic Metamorphosis","version":1},"reference_index":48,"source":"pdf_text","source_observed_at":"2026-08-06T15:07:23.166865Z"},"links":{"citing_paper":"/paper/2507.16808"},"observation_digest":"sha256:6af7c6570a049ddf4cf00a0686485765c1454d52d90e46f73654ea95649479d9","observation_id":"d1cb2a38-3475-4cd7-a540-903dd8deda97","resolution":{"observed_at":"2026-08-06T15:07:32.371961Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T15:07:32.098798Z","title":"Iterating pointers: Enabling static analysis for loop-based pointers,","venue":null,"work_id":"a347804f-410a-45e3-a261-f992ec7b76d0","year":2025},"citing_paper":{"arxiv_id":"2507.16808","last_updated":"2025-07-22T17:57:02Z","snapshot_observed_at":"2026-08-06T14:58:53.651494Z","submitted_at":"2025-07-22T17:57:02Z","title":"Rethinking LLM-Based RTL Code Optimization Via Timing Logic Metamorphosis","version":1},"reference_index":49,"source":"pdf_text","source_observed_at":"2026-08-06T15:07:23.371954Z"},"links":{"citing_paper":"/paper/2507.16808"},"observation_digest":"sha256:2628b673fa860eb933d6ce1e13143f9fb8cb946ff2b4040206218d1a984c4ada","observation_id":"f6bdf296-0f68-43c1-afda-6da0dc011c8f","resolution":{"observed_at":"2026-08-06T15:07:32.214525Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T15:07:31.952268Z","title":"Contextual dispatch for function specialization,","venue":null,"work_id":"b845a625-eec2-4f19-91d1-394f70ead117","year":2020},"citing_paper":{"arxiv_id":"2507.16808","last_updated":"2025-07-22T17:57:02Z","snapshot_observed_at":"2026-08-06T14:58:53.651494Z","submitted_at":"2025-07-22T17:57:02Z","title":"Rethinking LLM-Based RTL Code Optimization Via Timing Logic Metamorphosis","version":1},"reference_index":50,"source":"pdf_text","source_observed_at":"2026-08-06T15:07:23.515961Z"},"links":{"citing_paper":"/paper/2507.16808"},"observation_digest":"sha256:c69bff8910ebd63c6cc12556478aa1c45a8c273bd3d5d43d6cf8c3ba4d1dc579","observation_id":"81fe02ba-0ac5-49ab-bbb6-b87cd403021a","resolution":{"observed_at":"2026-08-06T15:07:32.040465Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T15:07:31.777677Z","title":"Register allocation & spilling via graph coloring,","venue":null,"work_id":"d476e57a-76f3-4dd4-bddb-c6f5301b7ec0","year":1982},"citing_paper":{"arxiv_id":"2507.16808","last_updated":"2025-07-22T17:57:02Z","snapshot_observed_at":"2026-08-06T14:58:53.651494Z","submitted_at":"2025-07-22T17:57:02Z","title":"Rethinking LLM-Based RTL Code Optimization Via Timing Logic Metamorphosis","version":1},"reference_index":51,"source":"pdf_text","source_observed_at":"2026-08-06T15:07:23.632421Z"},"links":{"citing_paper":"/paper/2507.16808"},"observation_digest":"sha256:8782b5aab892bb7ef1f0a29ee96de521e94ba4fe3af034d707d37083c861ac54","observation_id":"f0174f0b-d22f-4dca-9b4f-5eeef5ddbf44","resolution":{"observed_at":"2026-08-06T15:07:31.844252Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T15:07:31.620644Z","title":"All you need is superword- level parallelism: systematic control-flow vectorization with slp,","venue":null,"work_id":"7371df23-a3e9-4ef3-b91f-75513dc6572a","year":2022},"citing_paper":{"arxiv_id":"2507.16808","last_updated":"2025-07-22T17:57:02Z","snapshot_observed_at":"2026-08-06T14:58:53.651494Z","submitted_at":"2025-07-22T17:57:02Z","title":"Rethinking LLM-Based RTL Code Optimization Via Timing Logic Metamorphosis","version":1},"reference_index":52,"source":"pdf_text","source_observed_at":"2026-08-06T15:07:23.811112Z"},"links":{"citing_paper":"/paper/2507.16808"},"observation_digest":"sha256:4bc95af739088331207cb8187efae6cfc6d11d498c53cbc7c3e761f1c38366cd","observation_id":"be61c831-ca04-4007-b6c3-baa21fee6a9c","resolution":{"observed_at":"2026-08-06T15:07:31.670701Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T15:07:31.449862Z","title":"Loop and data transformations for sparse matrix code,","venue":null,"work_id":"76b02ca9-7897-4467-9efa-fc8b27a64b13","year":2015},"citing_paper":{"arxiv_id":"2507.16808","last_updated":"2025-07-22T17:57:02Z","snapshot_observed_at":"2026-08-06T14:58:53.651494Z","submitted_at":"2025-07-22T17:57:02Z","title":"Rethinking LLM-Based RTL Code Optimization Via Timing Logic Metamorphosis","version":1},"reference_index":53,"source":"pdf_text","source_observed_at":"2026-08-06T15:07:23.940667Z"},"links":{"citing_paper":"/paper/2507.16808"},"observation_digest":"sha256:90f7bd025816b2318c0d076919dc04702902b5319f022cbd026f98dbab4dbcbc","observation_id":"e49c7331-edc4-4302-ba53-63399fa54bc8","resolution":{"observed_at":"2026-08-06T15:07:31.515955Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T15:07:31.281645Z","title":"Optimizing and evaluating transient gradual typing,","venue":null,"work_id":"2e7f6282-1bd9-4fd8-ba74-fc9c91c3c446","year":2019},"citing_paper":{"arxiv_id":"2507.16808","last_updated":"2025-07-22T17:57:02Z","snapshot_observed_at":"2026-08-06T14:58:53.651494Z","submitted_at":"2025-07-22T17:57:02Z","title":"Rethinking LLM-Based RTL Code Optimization Via Timing Logic Metamorphosis","version":1},"reference_index":54,"source":"pdf_text","source_observed_at":"2026-08-06T15:07:24.056430Z"},"links":{"citing_paper":"/paper/2507.16808"},"observation_digest":"sha256:a3a33bbaeff85a9c262104ef7f498a1dfaf4e9cc66e57428ae210db503bbb2da","observation_id":"dc1c301f-0cbf-45bb-be30-2b0804adcb29","resolution":{"observed_at":"2026-08-06T15:07:31.343688Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T15:07:31.107970Z","title":"Learning compiler pass orders using coreset and normalized value prediction,","venue":null,"work_id":"992f74be-bf52-4a17-b899-f4e868020eb3","year":2023},"citing_paper":{"arxiv_id":"2507.16808","last_updated":"2025-07-22T17:57:02Z","snapshot_observed_at":"2026-08-06T14:58:53.651494Z","submitted_at":"2025-07-22T17:57:02Z","title":"Rethinking LLM-Based RTL Code Optimization Via Timing Logic Metamorphosis","version":1},"reference_index":55,"source":"pdf_text","source_observed_at":"2026-08-06T15:07:24.402323Z"},"links":{"citing_paper":"/paper/2507.16808"},"observation_digest":"sha256:d7a9c31c3cb8113912882d8fa454d9318bb896c3761dab4f4ab9f11416c98b59","observation_id":"1a991ee7-ad83-483b-b990-ce4becfd32d0","resolution":{"observed_at":"2026-08-06T15:07:31.158612Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T15:07:30.931967Z","title":"Programl: A graph-based program representation for data flow analysis and compiler optimizations,","venue":null,"work_id":"887379aa-37ae-48e8-9931-8b250344f5c1","year":2021},"citing_paper":{"arxiv_id":"2507.16808","last_updated":"2025-07-22T17:57:02Z","snapshot_observed_at":"2026-08-06T14:58:53.651494Z","submitted_at":"2025-07-22T17:57:02Z","title":"Rethinking LLM-Based RTL Code Optimization Via Timing Logic Metamorphosis","version":1},"reference_index":56,"source":"pdf_text","source_observed_at":"2026-08-06T15:07:24.547465Z"},"links":{"citing_paper":"/paper/2507.16808"},"observation_digest":"sha256:80e1d8738b09c1afb46de763fb28d90a71e4a2d5f8fe0ca23443a170d9764a03","observation_id":"46f33b6b-4e0a-43f0-ba30-84e553beca1d","resolution":{"observed_at":"2026-08-06T15:07:30.994996Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2501.01277","last_updated":"2025-01-03T14:55:21Z","snapshot_observed_at":"2026-08-06T14:09:28.004321Z","submitted_at":"2025-01-02T14:20:36Z","title":"Language Models for Code Optimization: Survey, Challenges and Future Directions","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2501.01277","snapshot_observed_at":"2026-08-06T15:07:24.690765Z","title":"Language models for code optimization: Survey, challenges and future directions,","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2507.16808","last_updated":"2025-07-22T17:57:02Z","snapshot_observed_at":"2026-08-06T14:58:53.651494Z","submitted_at":"2025-07-22T17:57:02Z","title":"Rethinking LLM-Based RTL Code Optimization Via Timing Logic Metamorphosis","version":1},"reference_index":57,"source":"pdf_text","source_observed_at":"2026-08-06T15:07:24.690765Z"},"links":{"cited_paper":"/paper/2501.01277","citing_paper":"/paper/2507.16808"},"observation_digest":"sha256:c2805c37db0d9a016b12368fd89bba7e129617091951676b6d480b3e48a266d8","observation_id":"4ff324cc-8c6b-482c-99da-fe90de8dcfee","resolution":{"observed_at":"2026-08-06T15:07:24.690765Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T15:07:30.688344Z","title":"A new algorithm for elimination of common subexpressions,","venue":null,"work_id":"162dd646-1d5c-4ea9-91d5-2624d89bea2c","year":1999},"citing_paper":{"arxiv_id":"2507.16808","last_updated":"2025-07-22T17:57:02Z","snapshot_observed_at":"2026-08-06T14:58:53.651494Z","submitted_at":"2025-07-22T17:57:02Z","title":"Rethinking LLM-Based RTL Code Optimization Via Timing Logic Metamorphosis","version":1},"reference_index":58,"source":"pdf_text","source_observed_at":"2026-08-06T15:07:24.837594Z"},"links":{"citing_paper":"/paper/2507.16808"},"observation_digest":"sha256:55c6320f37501564d93a9c720ee33a793f4474e5b4fa812c67fe4e8cb4b4b58d","observation_id":"ab1bc06c-69d2-4a49-97bb-da2c1746c897","resolution":{"observed_at":"2026-08-06T15:07:30.798033Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T15:07:30.454167Z","title":"Global common subexpression elimination,","venue":null,"work_id":"b04850f7-e834-41af-94f2-0c4fc344a39e","year":1970},"citing_paper":{"arxiv_id":"2507.16808","last_updated":"2025-07-22T17:57:02Z","snapshot_observed_at":"2026-08-06T14:58:53.651494Z","submitted_at":"2025-07-22T17:57:02Z","title":"Rethinking LLM-Based RTL Code Optimization Via Timing Logic Metamorphosis","version":1},"reference_index":59,"source":"pdf_text","source_observed_at":"2026-08-06T15:07:24.964719Z"},"links":{"citing_paper":"/paper/2507.16808"},"observation_digest":"sha256:bc5d661591a7e590f21345962302b42a5cad397bada0404f9b7813d743b7ea8a","observation_id":"068d1b16-9a90-4f82-806b-9ff9edb3b3dc","resolution":{"observed_at":"2026-08-06T15:07:30.535274Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T15:07:30.221979Z","title":"Constant propagation with condi- tional branches,","venue":null,"work_id":"cf9d9afc-4f5c-4583-94f5-71212b0f3120","year":1991},"citing_paper":{"arxiv_id":"2507.16808","last_updated":"2025-07-22T17:57:02Z","snapshot_observed_at":"2026-08-06T14:58:53.651494Z","submitted_at":"2025-07-22T17:57:02Z","title":"Rethinking LLM-Based RTL Code Optimization Via Timing Logic Metamorphosis","version":1},"reference_index":60,"source":"pdf_text","source_observed_at":"2026-08-06T15:07:25.093913Z"},"links":{"citing_paper":"/paper/2507.16808"},"observation_digest":"sha256:64cec0e537db5f67e2caf11e84155c6c16647e9a3b41f21996516ec55f83813f","observation_id":"0456d736-241f-42d2-a5cb-96a5ccb270ea","resolution":{"observed_at":"2026-08-06T15:07:30.334985Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T15:07:30.001219Z","title":"Interprocedural constant propagation: An empirical study,","venue":null,"work_id":"45e781b9-b554-4c07-9ba4-7dd8444f6bd8","year":1993},"citing_paper":{"arxiv_id":"2507.16808","last_updated":"2025-07-22T17:57:02Z","snapshot_observed_at":"2026-08-06T14:58:53.651494Z","submitted_at":"2025-07-22T17:57:02Z","title":"Rethinking LLM-Based RTL Code Optimization Via Timing Logic Metamorphosis","version":1},"reference_index":61,"source":"pdf_text","source_observed_at":"2026-08-06T15:07:25.187265Z"},"links":{"citing_paper":"/paper/2507.16808"},"observation_digest":"sha256:040b77a94bd96ea13459ae23a3fd1506a1e5406d4e6f363f2430666f14509274","observation_id":"90726f5e-b691-4821-a8db-70e699857a40","resolution":{"observed_at":"2026-08-06T15:07:30.115471Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T15:07:29.870739Z","title":"Algebraic simplification,","venue":null,"work_id":"533fd382-1ee8-432b-9d43-7e927f99196a","year":1982},"citing_paper":{"arxiv_id":"2507.16808","last_updated":"2025-07-22T17:57:02Z","snapshot_observed_at":"2026-08-06T14:58:53.651494Z","submitted_at":"2025-07-22T17:57:02Z","title":"Rethinking LLM-Based RTL Code Optimization Via Timing Logic Metamorphosis","version":1},"reference_index":62,"source":"pdf_text","source_observed_at":"2026-08-06T15:07:25.338075Z"},"links":{"citing_paper":"/paper/2507.16808"},"observation_digest":"sha256:d3c2e449b3422a7aa256c387dd8acdc2b57cc901bda182134f70b326ff9c789d","observation_id":"f80441ac-fcc2-4df4-bd21-0c1a0cae7112","resolution":{"observed_at":"2026-08-06T15:07:29.919196Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T15:07:29.677031Z","title":"Understanding expression simplification,","venue":null,"work_id":"66c67ffb-7c69-4651-96ce-396c504de3d4","year":2004},"citing_paper":{"arxiv_id":"2507.16808","last_updated":"2025-07-22T17:57:02Z","snapshot_observed_at":"2026-08-06T14:58:53.651494Z","submitted_at":"2025-07-22T17:57:02Z","title":"Rethinking LLM-Based RTL Code Optimization Via Timing Logic Metamorphosis","version":1},"reference_index":63,"source":"pdf_text","source_observed_at":"2026-08-06T15:07:25.470949Z"},"links":{"citing_paper":"/paper/2507.16808"},"observation_digest":"sha256:2938d4d7cdb9e356d74702764b92316869db953d952471ab8e87b3cadeff1f59","observation_id":"a285165d-23d9-4040-b4ee-b31a92514b5b","resolution":{"observed_at":"2026-08-06T15:07:29.788121Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T15:07:29.490436Z","title":"Partial dead code elimination,","venue":null,"work_id":"36422b4c-0919-446f-a6b0-8d12abab36fa","year":1994},"citing_paper":{"arxiv_id":"2507.16808","last_updated":"2025-07-22T17:57:02Z","snapshot_observed_at":"2026-08-06T14:58:53.651494Z","submitted_at":"2025-07-22T17:57:02Z","title":"Rethinking LLM-Based RTL Code Optimization Via Timing Logic Metamorphosis","version":1},"reference_index":64,"source":"pdf_text","source_observed_at":"2026-08-06T15:07:25.620782Z"},"links":{"citing_paper":"/paper/2507.16808"},"observation_digest":"sha256:d9c8f8757d5291bffda051d21dd4d7f5007649d28f7283c717316bb683fc5a80","observation_id":"f091f347-f1c3-4cdc-971e-37aec7d8c205","resolution":{"observed_at":"2026-08-06T15:07:29.569479Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T15:07:29.260638Z","title":"Path profile guided partial dead code elimination using predication,","venue":null,"work_id":"801ee557-01dc-4674-9856-40c5d8ce4c7b","year":1997},"citing_paper":{"arxiv_id":"2507.16808","last_updated":"2025-07-22T17:57:02Z","snapshot_observed_at":"2026-08-06T14:58:53.651494Z","submitted_at":"2025-07-22T17:57:02Z","title":"Rethinking LLM-Based RTL Code Optimization Via Timing Logic Metamorphosis","version":1},"reference_index":65,"source":"pdf_text","source_observed_at":"2026-08-06T15:07:25.738797Z"},"links":{"citing_paper":"/paper/2507.16808"},"observation_digest":"sha256:6b9af494a6ecdddc6bc7dc60fca208c6109b3c924d905f7f9a197d3bbcc490a0","observation_id":"98e495e8-b2d4-471f-b995-0f06a494b495","resolution":{"observed_at":"2026-08-06T15:07:29.372210Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T15:07:29.126594Z","title":"Operator strength reduction,","venue":null,"work_id":"76e2faf9-f198-49a3-88f7-3cb74bfad8ae","year":2001},"citing_paper":{"arxiv_id":"2507.16808","last_updated":"2025-07-22T17:57:02Z","snapshot_observed_at":"2026-08-06T14:58:53.651494Z","submitted_at":"2025-07-22T17:57:02Z","title":"Rethinking LLM-Based RTL Code Optimization Via Timing Logic Metamorphosis","version":1},"reference_index":66,"source":"pdf_text","source_observed_at":"2026-08-06T15:07:25.868456Z"},"links":{"citing_paper":"/paper/2507.16808"},"observation_digest":"sha256:0494cce43a339d2c97dffb3a71796f4fd3f140fcc51fa75c4aa1c5075d4396b6","observation_id":"302f6af5-b2a9-4742-99cf-d60690d0768d","resolution":{"observed_at":"2026-08-06T15:07:29.183613Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T15:07:28.678472Z","title":"Register binding and port assignment for multiplexer optimization,","venue":null,"work_id":"c2ca29fb-55b6-4eae-9175-00d85fba49de","year":2004},"citing_paper":{"arxiv_id":"2507.16808","last_updated":"2025-07-22T17:57:02Z","snapshot_observed_at":"2026-08-06T14:58:53.651494Z","submitted_at":"2025-07-22T17:57:02Z","title":"Rethinking LLM-Based RTL Code Optimization Via Timing Logic Metamorphosis","version":1},"reference_index":67,"source":"pdf_text","source_observed_at":"2026-08-06T15:07:25.987997Z"},"links":{"citing_paper":"/paper/2507.16808"},"observation_digest":"sha256:3f38783d3ce538cae275bd36cbf6ddb7b342d4466e42c296732935ce029ca872","observation_id":"479f51c7-457c-4f97-951a-7506e4c832b9","resolution":{"observed_at":"2026-08-06T15:07:29.025881Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T15:07:28.304333Z","title":"Optimization of multiplexer combination in rtl logic synthesis,","venue":null,"work_id":"c2533ed9-c07b-4c0b-91f6-1ad9eda4317b","year":2023},"citing_paper":{"arxiv_id":"2507.16808","last_updated":"2025-07-22T17:57:02Z","snapshot_observed_at":"2026-08-06T14:58:53.651494Z","submitted_at":"2025-07-22T17:57:02Z","title":"Rethinking LLM-Based RTL Code Optimization Via Timing Logic Metamorphosis","version":1},"reference_index":68,"source":"pdf_text","source_observed_at":"2026-08-06T15:07:26.080269Z"},"links":{"citing_paper":"/paper/2507.16808"},"observation_digest":"sha256:7e2f21c61f6b7c9243577e7645a2d05a24d87923c90236293b75fb39c0e118fa","observation_id":"e7b345c6-c425-4e94-bc35-8fa7bb71b284","resolution":{"observed_at":"2026-08-06T15:07:28.467267Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T15:07:28.063988Z","title":"Reduction of multiplexer trees using modified lookup table","venue":null,"work_id":"564bcc26-f3a6-49de-bbc0-af16afae758e","year":null},"citing_paper":{"arxiv_id":"2507.16808","last_updated":"2025-07-22T17:57:02Z","snapshot_observed_at":"2026-08-06T14:58:53.651494Z","submitted_at":"2025-07-22T17:57:02Z","title":"Rethinking LLM-Based RTL Code Optimization Via Timing Logic Metamorphosis","version":1},"reference_index":69,"source":"pdf_text","source_observed_at":"2026-08-06T15:07:26.222504Z"},"links":{"citing_paper":"/paper/2507.16808"},"observation_digest":"sha256:3541db61def8a98b6900e0ff41e88c172698807f5aa20d368541fe1d52c6f9dc","observation_id":"dca62ba7-54a9-401b-9de6-c98dbb2cda88","resolution":{"observed_at":"2026-08-06T15:07:28.171264Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T15:07:27.847187Z","title":"Efficient multi-ported memories for fpgas,","venue":null,"work_id":"2e29ff7e-b3c1-4034-971e-10fa04e38735","year":2010},"citing_paper":{"arxiv_id":"2507.16808","last_updated":"2025-07-22T17:57:02Z","snapshot_observed_at":"2026-08-06T14:58:53.651494Z","submitted_at":"2025-07-22T17:57:02Z","title":"Rethinking LLM-Based RTL Code Optimization Via Timing Logic Metamorphosis","version":1},"reference_index":70,"source":"pdf_text","source_observed_at":"2026-08-06T15:07:26.336642Z"},"links":{"citing_paper":"/paper/2507.16808"},"observation_digest":"sha256:b3b64fce07c6f8edb9a151f05cca4f8203fe0044e82e3cc328209dd46d2c94c3","observation_id":"204ebbdd-a7c4-4286-9c70-2b5a7e8b7ce8","resolution":{"observed_at":"2026-08-06T15:07:27.951652Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T15:07:27.567728Z","title":"A hypervisor for shared-memory fpga platforms,","venue":null,"work_id":"57bc2896-9764-42ab-948b-4fd0d01dbd9c","year":2020},"citing_paper":{"arxiv_id":"2507.16808","last_updated":"2025-07-22T17:57:02Z","snapshot_observed_at":"2026-08-06T14:58:53.651494Z","submitted_at":"2025-07-22T17:57:02Z","title":"Rethinking LLM-Based RTL Code Optimization Via Timing Logic Metamorphosis","version":1},"reference_index":71,"source":"pdf_text","source_observed_at":"2026-08-06T15:07:26.450215Z"},"links":{"citing_paper":"/paper/2507.16808"},"observation_digest":"sha256:5e4955641f29f2255d20b90da55c889506e20d1d87892a1d4a24c03b9e65e8e2","observation_id":"2ac35108-cf8a-47ed-9019-5b6a667c73d9","resolution":{"observed_at":"2026-08-06T15:07:27.694831Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T15:07:27.306339Z","title":"A new approach to automatic memory banking using trace-based address mining,","venue":null,"work_id":"28c53989-fd1c-497d-8f40-e10408ddfcc9","year":2017},"citing_paper":{"arxiv_id":"2507.16808","last_updated":"2025-07-22T17:57:02Z","snapshot_observed_at":"2026-08-06T14:58:53.651494Z","submitted_at":"2025-07-22T17:57:02Z","title":"Rethinking LLM-Based RTL Code Optimization Via Timing Logic Metamorphosis","version":1},"reference_index":72,"source":"pdf_text","source_observed_at":"2026-08-06T15:07:26.598968Z"},"links":{"citing_paper":"/paper/2507.16808"},"observation_digest":"sha256:64d1fbd65bf68893dde9174407c3e6f92f749ebba53ac8de425403e57c92b713","observation_id":"f25fa528-94ab-4799-914b-52fb0e12a014","resolution":{"observed_at":"2026-08-06T15:07:27.391592Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T15:07:27.112668Z","title":"Remap+: An effi- cient banking architecture for multiple writes of algorithmic memory,","venue":null,"work_id":"6db5d87c-68e2-4f7b-a6d2-b298d52c6bea","year":2019},"citing_paper":{"arxiv_id":"2507.16808","last_updated":"2025-07-22T17:57:02Z","snapshot_observed_at":"2026-08-06T14:58:53.651494Z","submitted_at":"2025-07-22T17:57:02Z","title":"Rethinking LLM-Based RTL Code Optimization Via Timing Logic Metamorphosis","version":1},"reference_index":73,"source":"pdf_text","source_observed_at":"2026-08-06T15:07:26.658557Z"},"links":{"citing_paper":"/paper/2507.16808"},"observation_digest":"sha256:23bb3f9abdf9a4607c140db6367a764cb9936463f27d8d478191db994996bc14","observation_id":"cc87bebd-3792-463b-a943-8b4e95654c3e","resolution":{"observed_at":"2026-08-06T15:07:27.204439Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"2507.16808","last_updated":"2025-07-22T17:57:02Z","latest_version":1,"primary_category":"cs.SE","snapshot_observed_at":"2026-08-06T14:58:53.651494Z","submitted_at":"2025-07-22T17:57:02Z","title":"Rethinking LLM-Based RTL Code Optimization Via Timing Logic Metamorphosis"},"reference_resolution":{"displayed":72,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":13,"verified_exact":1,"verified_fuzzy":58},"total_outbound_references":72},"refusal":"A citation records a reference. It does not transfer a finding from one paper to another.","schema":"pith.paper-citation-record.v1","standing_sources":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"thesis":"As of 7 August 2026, this Paper Citation Record lists 72 of 72 outbound references and 1 inbound Pith citation observation for arXiv:2507.16808."}