{"as_of":"2026-08-19T19:32:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:4a987c1064e921139af9b672b4a3a501e978551f8b0dba1b2479a8228b82f6cb","coverage":[{"denominator":39,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":39,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-16T11:46:42.004314Z","state":"measured"},{"denominator":39,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":39,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-19T06:32:44.657259+00:00","state":"measured"},{"denominator":0,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":0,"source":"paper_references, paper_reference_links","source_observed_at":null,"state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"cited_works","source_observed_at":null,"state":"measured"}],"external_citation_measurements":[],"inbound":[],"links":{"evidence":"/evidence","html":"/paper/2504.14641/citation-record","integrity":"/paper/2504.14641/integrity","json":"/paper/2504.14641/citation-record.json","paper":"/paper/2504.14641"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T11:46:41.826326Z","title":"Machine Learning in Advanced IC Design: A Methodological Survey,","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2504.14641","last_updated":"2025-07-24T18:26:14Z","snapshot_observed_at":"2026-08-19T10:41:36.041401Z","submitted_at":"2025-04-20T14:45:01Z","title":"HLSTester: Efficient Testing of Behavioral Discrepancies with LLMs for High-Level Synthesis","version":3},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-16T11:46:41.826326Z"},"links":{"citing_paper":"/paper/2504.14641"},"observation_digest":"sha256:8ddd631b73c82945c299054fece762fda19fb5382ab86d4c15ed364af4250d75","observation_id":"bf79faf3-8b15-4f24-b900-699d2a67a1dd","resolution":{"observed_at":"2026-08-16T11:46:41.826326Z","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-16T11:46:42.596473Z","title":"High-Level Synthesis for FPGAs: From Prototyping to Deployment,","venue":null,"work_id":"465c7a28-9b2b-4be2-b034-a1343ad578f7","year":2011},"citing_paper":{"arxiv_id":"2504.14641","last_updated":"2025-07-24T18:26:14Z","snapshot_observed_at":"2026-08-19T10:41:36.041401Z","submitted_at":"2025-04-20T14:45:01Z","title":"HLSTester: Efficient Testing of Behavioral Discrepancies with LLMs for High-Level Synthesis","version":3},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-16T11:46:41.831789Z"},"links":{"citing_paper":"/paper/2504.14641"},"observation_digest":"sha256:563da222291baac55c4ffa3e8c3d4d55dfd2b04ab2d5a973728bc6e174d4889f","observation_id":"c6329a3d-0b93-4dc5-9d1b-8d999bdfb654","resolution":{"observed_at":"2026-08-16T11:46:42.601489Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-16T11:46:42.581915Z","title":"CPU-FPGA Coscheduling for Big Data Applications,","venue":null,"work_id":"793a1542-9a59-4049-8cb6-97a1509c0ecf","year":2017},"citing_paper":{"arxiv_id":"2504.14641","last_updated":"2025-07-24T18:26:14Z","snapshot_observed_at":"2026-08-19T10:41:36.041401Z","submitted_at":"2025-04-20T14:45:01Z","title":"HLSTester: Efficient Testing of Behavioral Discrepancies with LLMs for High-Level Synthesis","version":3},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-16T11:46:41.836878Z"},"links":{"citing_paper":"/paper/2504.14641"},"observation_digest":"sha256:89856ab6ca0c9bae54ea9d8367ff94397fcdcb75c1571b1b2713ccd9aec13c02","observation_id":"24057ab1-12da-4cd5-8efe-1bfdae32c6e3","resolution":{"observed_at":"2026-08-16T11:46:42.586628Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-16T11:46:42.567673Z","title":"FPGA/DNN Co-Design: An Efficient Design Methodology for IoT Intelligence on the Edge,","venue":null,"work_id":"b717b11f-be3b-445b-a1d4-dd995d9855a4","year":2019},"citing_paper":{"arxiv_id":"2504.14641","last_updated":"2025-07-24T18:26:14Z","snapshot_observed_at":"2026-08-19T10:41:36.041401Z","submitted_at":"2025-04-20T14:45:01Z","title":"HLSTester: Efficient Testing of Behavioral Discrepancies with LLMs for High-Level Synthesis","version":3},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-16T11:46:41.841584Z"},"links":{"citing_paper":"/paper/2504.14641"},"observation_digest":"sha256:2a5dfce9d8e077e4368810f566fef3ac41782d299e5130960638ea03a3ff8e86","observation_id":"80ded902-1bd7-40b1-a087-f073defb57f5","resolution":{"observed_at":"2026-08-16T11:46:42.572275Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-16T11:46:42.553627Z","title":"Correlated Multi-objective Multi-fidelity Optimization for HLS Directives Design,","venue":null,"work_id":"1fa0a418-6895-4f74-b8af-c1cf3dce61d6","year":2022},"citing_paper":{"arxiv_id":"2504.14641","last_updated":"2025-07-24T18:26:14Z","snapshot_observed_at":"2026-08-19T10:41:36.041401Z","submitted_at":"2025-04-20T14:45:01Z","title":"HLSTester: Efficient Testing of Behavioral Discrepancies with LLMs for High-Level Synthesis","version":3},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-16T11:46:41.846766Z"},"links":{"citing_paper":"/paper/2504.14641"},"observation_digest":"sha256:5676c6cffad6478b4737f3f011acc68a11fd0c3604865da89eb63a64b3a9bd1d","observation_id":"16c8db16-a83f-4cf9-800b-0e59b8e3e232","resolution":{"observed_at":"2026-08-16T11:46:42.558248Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-16T11:46:42.538865Z","title":"RapidStream: Parallel Physical Implementation of FPGA HLS Designs,","venue":null,"work_id":"202b481c-9f99-4a76-83aa-ce21d79b27bf","year":2022},"citing_paper":{"arxiv_id":"2504.14641","last_updated":"2025-07-24T18:26:14Z","snapshot_observed_at":"2026-08-19T10:41:36.041401Z","submitted_at":"2025-04-20T14:45:01Z","title":"HLSTester: Efficient Testing of Behavioral Discrepancies with LLMs for High-Level Synthesis","version":3},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-16T11:46:41.851833Z"},"links":{"citing_paper":"/paper/2504.14641"},"observation_digest":"sha256:8a7f8756a8693d9734c7b0ac81b769a1a61d15615fb00f7a9a8f18ad697f0d9a","observation_id":"db56b0f7-9f68-4f5b-b655-9703839315a1","resolution":{"observed_at":"2026-08-16T11:46:42.543661Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-16T11:46:42.524017Z","title":"Refactoring for Heterogeneous Computing with FPGA,","venue":null,"work_id":"376032f3-1cc0-449e-bfe9-116588c787d7","year":2020},"citing_paper":{"arxiv_id":"2504.14641","last_updated":"2025-07-24T18:26:14Z","snapshot_observed_at":"2026-08-19T10:41:36.041401Z","submitted_at":"2025-04-20T14:45:01Z","title":"HLSTester: Efficient Testing of Behavioral Discrepancies with LLMs for High-Level Synthesis","version":3},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-16T11:46:41.857064Z"},"links":{"citing_paper":"/paper/2504.14641"},"observation_digest":"sha256:9f176fd924c08ae8bfec3fb5e324dcf4736373598d005919069d15daa1c52943","observation_id":"f615e018-9c70-4961-bf94-4784653d3ed4","resolution":{"observed_at":"2026-08-16T11:46:42.528914Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-16T11:46:42.508295Z","title":"Vitis High-Level Synthesis User Guide,","venue":null,"work_id":"97e0c46e-d25f-4067-af24-0c3f0840f222","year":2024},"citing_paper":{"arxiv_id":"2504.14641","last_updated":"2025-07-24T18:26:14Z","snapshot_observed_at":"2026-08-19T10:41:36.041401Z","submitted_at":"2025-04-20T14:45:01Z","title":"HLSTester: Efficient Testing of Behavioral Discrepancies with LLMs for High-Level Synthesis","version":3},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-16T11:46:41.861806Z"},"links":{"citing_paper":"/paper/2504.14641"},"observation_digest":"sha256:d29deb8a0496bf1089c0f843f796eeaa450b02d278541c5f88da4c094da23df2","observation_id":"03aae48b-effe-4585-a93b-c3f6012babba","resolution":{"observed_at":"2026-08-16T11:46:42.513671Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-16T11:46:42.492807Z","title":"Border Control: Sandboxing Accelerators,","venue":null,"work_id":"1ec865f0-89f0-4418-87ec-b7fd017665f0","year":2015},"citing_paper":{"arxiv_id":"2504.14641","last_updated":"2025-07-24T18:26:14Z","snapshot_observed_at":"2026-08-19T10:41:36.041401Z","submitted_at":"2025-04-20T14:45:01Z","title":"HLSTester: Efficient Testing of Behavioral Discrepancies with LLMs for High-Level Synthesis","version":3},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-16T11:46:41.866559Z"},"links":{"citing_paper":"/paper/2504.14641"},"observation_digest":"sha256:b620904e51395c998747cf8c57666b64509ac7cec432854656bde5956f1e0f5d","observation_id":"a24f761b-4552-41da-9b22-e55b51dc9bb8","resolution":{"observed_at":"2026-08-16T11:46:42.497522Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-16T11:46:42.478161Z","title":"Mu-grind: A Framework for Dynamically Instrumenting HLS- Generated RTL,","venue":null,"work_id":"a88a4798-5492-42b2-b05d-922a81ee5457","year":2022},"citing_paper":{"arxiv_id":"2504.14641","last_updated":"2025-07-24T18:26:14Z","snapshot_observed_at":"2026-08-19T10:41:36.041401Z","submitted_at":"2025-04-20T14:45:01Z","title":"HLSTester: Efficient Testing of Behavioral Discrepancies with LLMs for High-Level Synthesis","version":3},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-16T11:46:41.871271Z"},"links":{"citing_paper":"/paper/2504.14641"},"observation_digest":"sha256:0bfcb95505655aaadce51738c557e91288b290e1d82d4af85b5793434508fadd","observation_id":"c1c1a032-3fe7-4a55-b511-85e578e65811","resolution":{"observed_at":"2026-08-16T11:46:42.482885Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-16T11:46:42.463549Z","title":"American Fuzzy Lop (AFL),","venue":null,"work_id":"63f91df3-f36d-45ba-bf5e-d306d417d7b5","year":2024},"citing_paper":{"arxiv_id":"2504.14641","last_updated":"2025-07-24T18:26:14Z","snapshot_observed_at":"2026-08-19T10:41:36.041401Z","submitted_at":"2025-04-20T14:45:01Z","title":"HLSTester: Efficient Testing of Behavioral Discrepancies with LLMs for High-Level Synthesis","version":3},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-16T11:46:41.875881Z"},"links":{"citing_paper":"/paper/2504.14641"},"observation_digest":"sha256:ec89bbf31a44fb58debcdd9431483f335dd3c0752abc2b5877055e8533cee552","observation_id":"f05afa69-7569-49d6-b7ea-8de538237aeb","resolution":{"observed_at":"2026-08-16T11:46:42.467983Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-16T11:46:42.449189Z","title":"The Art, Science, and Engi- neering of Fuzzing,","venue":null,"work_id":"a56f1256-230c-48b3-8d6a-704081ea7034","year":2019},"citing_paper":{"arxiv_id":"2504.14641","last_updated":"2025-07-24T18:26:14Z","snapshot_observed_at":"2026-08-19T10:41:36.041401Z","submitted_at":"2025-04-20T14:45:01Z","title":"HLSTester: Efficient Testing of Behavioral Discrepancies with LLMs for High-Level Synthesis","version":3},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-16T11:46:41.880792Z"},"links":{"citing_paper":"/paper/2504.14641"},"observation_digest":"sha256:9c28ae4926f722c3b211c1809e6886a74806aedd03c8878cf84823e59457fad6","observation_id":"1e26ed63-ac61-4dca-af84-89ed726842ef","resolution":{"observed_at":"2026-08-16T11:46:42.453795Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-16T11:46:42.434233Z","title":"HAsim: FPGA-based high-detail multicore simulation using time-division multiplexing,","venue":null,"work_id":"7959194f-7446-4f3e-92dd-01dec98ce0ef","year":2011},"citing_paper":{"arxiv_id":"2504.14641","last_updated":"2025-07-24T18:26:14Z","snapshot_observed_at":"2026-08-19T10:41:36.041401Z","submitted_at":"2025-04-20T14:45:01Z","title":"HLSTester: Efficient Testing of Behavioral Discrepancies with LLMs for High-Level Synthesis","version":3},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-16T11:46:41.885488Z"},"links":{"citing_paper":"/paper/2504.14641"},"observation_digest":"sha256:4ba03a9764b848d1aefefcfd164441c16d2d62bed1be66c3a9ff2dc9f8971e45","observation_id":"979b0e0e-7d50-4128-a50e-1b2c0f94dffd","resolution":{"observed_at":"2026-08-16T11:46:42.438746Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-16T11:46:42.419615Z","title":"New solutions on LLM acceleration, optimization, and application,","venue":null,"work_id":"fdaa5f54-71c3-48d2-881c-506fdd200680","year":2024},"citing_paper":{"arxiv_id":"2504.14641","last_updated":"2025-07-24T18:26:14Z","snapshot_observed_at":"2026-08-19T10:41:36.041401Z","submitted_at":"2025-04-20T14:45:01Z","title":"HLSTester: Efficient Testing of Behavioral Discrepancies with LLMs for High-Level Synthesis","version":3},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-16T11:46:41.890200Z"},"links":{"citing_paper":"/paper/2504.14641"},"observation_digest":"sha256:04e43f0ff67092321277167ff2b928ec968b1f3db5809d71424051a7be4daf60","observation_id":"b0fc339f-c059-49e3-b4e6-e8d9f18d983d","resolution":{"observed_at":"2026-08-16T11:46:42.424314Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-16T11:46:42.404689Z","title":"GPT4AIGChip: Towards Next- Generation AI Accelerator Design Automation via Large Language Mod- els,","venue":null,"work_id":"60291f6a-8328-4364-a6f4-c1530c164007","year":2023},"citing_paper":{"arxiv_id":"2504.14641","last_updated":"2025-07-24T18:26:14Z","snapshot_observed_at":"2026-08-19T10:41:36.041401Z","submitted_at":"2025-04-20T14:45:01Z","title":"HLSTester: Efficient Testing of Behavioral Discrepancies with LLMs for High-Level Synthesis","version":3},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-16T11:46:41.894748Z"},"links":{"citing_paper":"/paper/2504.14641"},"observation_digest":"sha256:3de5786d1c71601a321e53da19a871c99d43a8cb9b481a8b66500e6bbce05ca2","observation_id":"ed7cfab1-9801-4b65-b0ec-c6e6ca3c94d1","resolution":{"observed_at":"2026-08-16T11:46:42.409512Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2504.03711","last_updated":"2026-08-03T08:17:46Z","snapshot_observed_at":"2026-08-16T12:46:03.317607Z","submitted_at":"2025-03-28T07:27:27Z","title":"A Survey of Circuit Foundation Model: Foundation AI Models for VLSI Circuit Design and EDA","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2504.03711","snapshot_observed_at":"2026-08-16T11:46:41.899524Z","title":"A Survey of Circuit Foundation Model: Foundation AI Models for VLSI Circuit Design and EDA,","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2504.14641","last_updated":"2025-07-24T18:26:14Z","snapshot_observed_at":"2026-08-19T10:41:36.041401Z","submitted_at":"2025-04-20T14:45:01Z","title":"HLSTester: Efficient Testing of Behavioral Discrepancies with LLMs for High-Level Synthesis","version":3},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-16T11:46:41.899524Z"},"links":{"cited_paper":"/paper/2504.03711","citing_paper":"/paper/2504.14641"},"observation_digest":"sha256:5840715b886a604034f651325c0325a835de561fccbbf59e4130a8c73aa4e9a6","observation_id":"60141a61-f8c0-4b90-a641-d66d1e30324d","resolution":{"observed_at":"2026-08-16T11:46:41.899524Z","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-16T11:46:42.389874Z","title":"Large Language Models for Verification, Testing, and Design,","venue":null,"work_id":"a0fcc9e1-f3dd-4626-9369-cfe5e4de07da","year":2025},"citing_paper":{"arxiv_id":"2504.14641","last_updated":"2025-07-24T18:26:14Z","snapshot_observed_at":"2026-08-19T10:41:36.041401Z","submitted_at":"2025-04-20T14:45:01Z","title":"HLSTester: Efficient Testing of Behavioral Discrepancies with LLMs for High-Level Synthesis","version":3},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-16T11:46:41.904695Z"},"links":{"citing_paper":"/paper/2504.14641"},"observation_digest":"sha256:94f45c329596eda5ee589924ee87747fead3ca89443e132f9204895563bdeb54","observation_id":"32e61fd9-389e-4e84-9637-92c41dc2d34f","resolution":{"observed_at":"2026-08-16T11:46:42.395118Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-16T11:46:42.375240Z","title":"VRank: Enhancing Verilog Code Generation from Large Language Models via Self-Consistency,","venue":null,"work_id":"1c1bf853-1236-407e-bee0-bed9b8a16e53","year":2025},"citing_paper":{"arxiv_id":"2504.14641","last_updated":"2025-07-24T18:26:14Z","snapshot_observed_at":"2026-08-19T10:41:36.041401Z","submitted_at":"2025-04-20T14:45:01Z","title":"HLSTester: Efficient Testing of Behavioral Discrepancies with LLMs for High-Level Synthesis","version":3},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-16T11:46:41.909095Z"},"links":{"citing_paper":"/paper/2504.14641"},"observation_digest":"sha256:bd709531b9439dad09c07e06cf5d7e1ab786409ad3297511e4eabdc0f0b7f03d","observation_id":"3855ab2d-2fd8-4544-891b-8f7b31d0c4ac","resolution":{"observed_at":"2026-08-16T11:46:42.380089Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2410.18582","last_updated":"2024-10-24T09:35:21Z","snapshot_observed_at":"2026-08-16T13:06:20.394138Z","submitted_at":"2024-10-24T09:35:21Z","title":"LLM-Aided Efficient Hardware Design Automation","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2410.18582","snapshot_observed_at":"2026-08-16T11:46:41.913884Z","title":"LLM-Aided Efficient Hardware Design Automation,","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2504.14641","last_updated":"2025-07-24T18:26:14Z","snapshot_observed_at":"2026-08-19T10:41:36.041401Z","submitted_at":"2025-04-20T14:45:01Z","title":"HLSTester: Efficient Testing of Behavioral Discrepancies with LLMs for High-Level Synthesis","version":3},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-16T11:46:41.913884Z"},"links":{"cited_paper":"/paper/2410.18582","citing_paper":"/paper/2504.14641"},"observation_digest":"sha256:9b5fc1e3ac69509a806d80eb4435f570a99dd5234fb1f22065f483abc367159f","observation_id":"1e6ed048-d553-42f5-bc9c-517d8e2f9850","resolution":{"observed_at":"2026-08-16T11:46:41.913884Z","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-16T11:46:42.360495Z","title":"Basis Sharing: Cross-Layer Parameter Sharing for Large Language Model Compression,","venue":null,"work_id":"3bc9f06a-f094-4ae3-bc34-4461e5cf975e","year":2025},"citing_paper":{"arxiv_id":"2504.14641","last_updated":"2025-07-24T18:26:14Z","snapshot_observed_at":"2026-08-19T10:41:36.041401Z","submitted_at":"2025-04-20T14:45:01Z","title":"HLSTester: Efficient Testing of Behavioral Discrepancies with LLMs for High-Level Synthesis","version":3},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-16T11:46:41.918708Z"},"links":{"citing_paper":"/paper/2504.14641"},"observation_digest":"sha256:c02b2cfae379daf50486591c499a94a122dfad84b38b44504aaf1cec46e68983","observation_id":"f103f08a-080b-4351-829a-36f02eaacca8","resolution":{"observed_at":"2026-08-16T11:46:42.365293Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-16T11:46:42.345555Z","title":"AutoBench: Automatic Testbench Generation and Evaluation Using LLMs for HDL Design,","venue":null,"work_id":"5a33fe10-2be8-49e4-a2c6-65bad636e067","year":2024},"citing_paper":{"arxiv_id":"2504.14641","last_updated":"2025-07-24T18:26:14Z","snapshot_observed_at":"2026-08-19T10:41:36.041401Z","submitted_at":"2025-04-20T14:45:01Z","title":"HLSTester: Efficient Testing of Behavioral Discrepancies with LLMs for High-Level Synthesis","version":3},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-16T11:46:41.923126Z"},"links":{"citing_paper":"/paper/2504.14641"},"observation_digest":"sha256:a78d171afb851abeabe99006f879afe8a4da859b595d8a5cfb381882013a12d0","observation_id":"d425affe-ec81-42cc-83c3-ae786ed3d095","resolution":{"observed_at":"2026-08-16T11:46:42.350181Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-16T11:46:42.330721Z","title":"Paradigm-Based Automatic HDL Code Generation Using LLMs,","venue":null,"work_id":"01c9dbc2-4dc4-4769-8d10-641e06e591f5","year":2025},"citing_paper":{"arxiv_id":"2504.14641","last_updated":"2025-07-24T18:26:14Z","snapshot_observed_at":"2026-08-19T10:41:36.041401Z","submitted_at":"2025-04-20T14:45:01Z","title":"HLSTester: Efficient Testing of Behavioral Discrepancies with LLMs for High-Level Synthesis","version":3},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-16T11:46:41.927643Z"},"links":{"citing_paper":"/paper/2504.14641"},"observation_digest":"sha256:26e52d18ca8294b89cb23c64d157c4daa8e69163177b9d09efcbdd437a3d2918","observation_id":"ef6cd342-ccca-4adc-b6b3-3e4d7d6e1af5","resolution":{"observed_at":"2026-08-16T11:46:42.335586Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2501.16155","last_updated":"2025-08-11T07:52:42Z","snapshot_observed_at":"2026-08-15T15:12:56.441198Z","submitted_at":"2025-01-27T15:49:24Z","title":"CITYWALK: Enhancing LLM-Based C++ Unit Test Generation via Project-Dependency Awareness and Language-Specific Knowledge","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2501.16155","snapshot_observed_at":"2026-08-16T11:46:41.932599Z","title":"CITYW ALK: Enhancing LLM- Based C++ Unit Test Generation via Project-Dependency Awareness and Language-Specific Knowledge,","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2504.14641","last_updated":"2025-07-24T18:26:14Z","snapshot_observed_at":"2026-08-19T10:41:36.041401Z","submitted_at":"2025-04-20T14:45:01Z","title":"HLSTester: Efficient Testing of Behavioral Discrepancies with LLMs for High-Level Synthesis","version":3},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-16T11:46:41.932599Z"},"links":{"cited_paper":"/paper/2501.16155","citing_paper":"/paper/2504.14641"},"observation_digest":"sha256:11cd852021c506d4bb8155ea7fc88adecfb2a74e62a77885f128eead59f9a092","observation_id":"b1d59bf0-5f21-4b7f-825b-db24308b8e4b","resolution":{"observed_at":"2026-08-16T11:46:41.932599Z","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-16T11:46:42.314542Z","title":"CorrectBench: Automatic Testbench Generation with Functional Self- Correction using LLMs for HDL Design,","venue":null,"work_id":"ec546e11-367f-41b2-9b14-cb468d4d839a","year":2025},"citing_paper":{"arxiv_id":"2504.14641","last_updated":"2025-07-24T18:26:14Z","snapshot_observed_at":"2026-08-19T10:41:36.041401Z","submitted_at":"2025-04-20T14:45:01Z","title":"HLSTester: Efficient Testing of Behavioral Discrepancies with LLMs for High-Level Synthesis","version":3},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-16T11:46:41.937623Z"},"links":{"citing_paper":"/paper/2504.14641"},"observation_digest":"sha256:7d18c5fb86c9500f4da6077acde1bdb1586376e65f10575dcdce28a359214342","observation_id":"46f919b1-b1be-4947-85ce-8aa2492151e8","resolution":{"observed_at":"2026-08-16T11:46:42.319302Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-16T11:46:42.299538Z","title":"HTransformations of High-Level Synthesis Codes for High-Performance Computing,","venue":null,"work_id":"4abdab98-965f-441c-9402-7d78ae363e2b","year":2021},"citing_paper":{"arxiv_id":"2504.14641","last_updated":"2025-07-24T18:26:14Z","snapshot_observed_at":"2026-08-19T10:41:36.041401Z","submitted_at":"2025-04-20T14:45:01Z","title":"HLSTester: Efficient Testing of Behavioral Discrepancies with LLMs for High-Level Synthesis","version":3},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-08-16T11:46:41.941949Z"},"links":{"citing_paper":"/paper/2504.14641"},"observation_digest":"sha256:242a941bfa4e1cf85bc6fd83f5a40c82552aefb9a7322ae9b39170ec2b3b30c8","observation_id":"b8216a51-f05d-4cc0-aaea-174767165531","resolution":{"observed_at":"2026-08-16T11:46:42.304066Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-16T11:46:42.285163Z","title":"Synthesisable recursion for C++ HLS tools,","venue":null,"work_id":"46a6113d-e801-48fd-a6b4-7c5967f7d3c7","year":2016},"citing_paper":{"arxiv_id":"2504.14641","last_updated":"2025-07-24T18:26:14Z","snapshot_observed_at":"2026-08-19T10:41:36.041401Z","submitted_at":"2025-04-20T14:45:01Z","title":"HLSTester: Efficient Testing of Behavioral Discrepancies with LLMs for High-Level Synthesis","version":3},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-08-16T11:46:41.946244Z"},"links":{"citing_paper":"/paper/2504.14641"},"observation_digest":"sha256:a8e85f1d0335e92910ac3af2393ff61895365885235ff59177e8436457b34010","observation_id":"c22f836e-9485-4eab-81b6-cd18469fa8c0","resolution":{"observed_at":"2026-08-16T11:46:42.289652Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-16T11:46:42.269533Z","title":"Finding and Understanding Bugs in FPGA Synthesis Tools,","venue":null,"work_id":"9da90016-86b6-4bdd-a563-5268811408a1","year":2020},"citing_paper":{"arxiv_id":"2504.14641","last_updated":"2025-07-24T18:26:14Z","snapshot_observed_at":"2026-08-19T10:41:36.041401Z","submitted_at":"2025-04-20T14:45:01Z","title":"HLSTester: Efficient Testing of Behavioral Discrepancies with LLMs for High-Level Synthesis","version":3},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-08-16T11:46:41.950581Z"},"links":{"citing_paper":"/paper/2504.14641"},"observation_digest":"sha256:09133d1b44a4476b6302bdfa246c0b109940f21ac025621b340b42f20c5cfc99","observation_id":"adbe9c8e-4a96-4865-8e50-d3b252d473bc","resolution":{"observed_at":"2026-08-16T11:46:42.274611Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-16T11:46:42.255094Z","title":"RFUZZ: Coverage-Directed Fuzz Testing of RTL on FPGAs,","venue":null,"work_id":"bae2aee7-3a15-4b0e-98f3-82f55248138a","year":2018},"citing_paper":{"arxiv_id":"2504.14641","last_updated":"2025-07-24T18:26:14Z","snapshot_observed_at":"2026-08-19T10:41:36.041401Z","submitted_at":"2025-04-20T14:45:01Z","title":"HLSTester: Efficient Testing of Behavioral Discrepancies with LLMs for High-Level Synthesis","version":3},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-08-16T11:46:41.955099Z"},"links":{"citing_paper":"/paper/2504.14641"},"observation_digest":"sha256:4dd8d73ebca5581fd6b52da81ec80193051026084d3f663b18ee5ded4a9a0d21","observation_id":"6b6b7e13-bc1a-44ba-95bd-0ee88954e864","resolution":{"observed_at":"2026-08-16T11:46:42.259868Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-16T11:46:42.239770Z","title":"Fault Testing and Diagnosis Techniques for Carbon Nanotube-Based FPGAs,","venue":null,"work_id":"a4c5477e-0fc9-4b89-9a01-c244d7020f48","year":2022},"citing_paper":{"arxiv_id":"2504.14641","last_updated":"2025-07-24T18:26:14Z","snapshot_observed_at":"2026-08-19T10:41:36.041401Z","submitted_at":"2025-04-20T14:45:01Z","title":"HLSTester: Efficient Testing of Behavioral Discrepancies with LLMs for High-Level Synthesis","version":3},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-08-16T11:46:41.959572Z"},"links":{"citing_paper":"/paper/2504.14641"},"observation_digest":"sha256:69110bf3642c2094bbac0b5306eecbce403ff786276e7fe04ca0b0a8963c334b","observation_id":"6cffb017-e903-4737-8dc9-868db51a66bd","resolution":{"observed_at":"2026-08-16T11:46:42.244830Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-16T11:46:42.224125Z","title":"Testing and Fault Tolerance Techniques for Carbon Nanotube-Based FPGAs,","venue":null,"work_id":"2661a128-2960-44a2-bbb8-5f4d6b8e5638","year":2025},"citing_paper":{"arxiv_id":"2504.14641","last_updated":"2025-07-24T18:26:14Z","snapshot_observed_at":"2026-08-19T10:41:36.041401Z","submitted_at":"2025-04-20T14:45:01Z","title":"HLSTester: Efficient Testing of Behavioral Discrepancies with LLMs for High-Level Synthesis","version":3},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-08-16T11:46:41.963972Z"},"links":{"citing_paper":"/paper/2504.14641"},"observation_digest":"sha256:676c7043563133822001d00fd0ad5615cddaf583dc6ea1758ef3f79f12ac7fdf","observation_id":"d45a1335-c04b-4b41-939d-14f317526cfa","resolution":{"observed_at":"2026-08-16T11:46:42.228856Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-16T11:46:42.208454Z","title":"Automated C/C++ Program Repair for High-Level Syn- thesis via Large Language Models,","venue":null,"work_id":"0c9e1b7e-82dc-4997-8d7a-f62009e4a16f","year":2024},"citing_paper":{"arxiv_id":"2504.14641","last_updated":"2025-07-24T18:26:14Z","snapshot_observed_at":"2026-08-19T10:41:36.041401Z","submitted_at":"2025-04-20T14:45:01Z","title":"HLSTester: Efficient Testing of Behavioral Discrepancies with LLMs for High-Level Synthesis","version":3},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-08-16T11:46:41.968432Z"},"links":{"citing_paper":"/paper/2504.14641"},"observation_digest":"sha256:a70667cfc37868ff0e6b8263ad105b651480dfb24e8ca7f8dff9490a6dcb29d7","observation_id":"8a0952db-bca9-4e3a-af78-ea570f38cdaf","resolution":{"observed_at":"2026-08-16T11:46:42.213614Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-16T11:46:42.193241Z","title":"HLSRewriter: Efficient Refactoring and Optimization of C/C++ Code with LLMs for HLS,","venue":null,"work_id":"c2dfdff4-ebf4-4731-8efb-6c4089e0488e","year":2025},"citing_paper":{"arxiv_id":"2504.14641","last_updated":"2025-07-24T18:26:14Z","snapshot_observed_at":"2026-08-19T10:41:36.041401Z","submitted_at":"2025-04-20T14:45:01Z","title":"HLSTester: Efficient Testing of Behavioral Discrepancies with LLMs for High-Level Synthesis","version":3},"reference_index":32,"source":"pdf_text","source_observed_at":"2026-08-16T11:46:41.972608Z"},"links":{"citing_paper":"/paper/2504.14641"},"observation_digest":"sha256:3fcf42d49975c7c8ed355f2a1479928eb26be2b98dd73b5b8f4e9728f804b5ff","observation_id":"145c78c2-b79f-4833-b535-b1de697111ce","resolution":{"observed_at":"2026-08-16T11:46:42.198178Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-16T11:46:42.177098Z","title":"Open Source Computer Vision (OpenCV),","venue":null,"work_id":"ad4b91cb-fbff-4436-8687-f1d134e37d64","year":2024},"citing_paper":{"arxiv_id":"2504.14641","last_updated":"2025-07-24T18:26:14Z","snapshot_observed_at":"2026-08-19T10:41:36.041401Z","submitted_at":"2025-04-20T14:45:01Z","title":"HLSTester: Efficient Testing of Behavioral Discrepancies with LLMs for High-Level Synthesis","version":3},"reference_index":33,"source":"pdf_text","source_observed_at":"2026-08-16T11:46:41.977037Z"},"links":{"citing_paper":"/paper/2504.14641"},"observation_digest":"sha256:18fdc0609ff7ef48054baff78d4e9c2b1f6d5e0a1d649614a5b54c2c76cced04","observation_id":"d06bc9fd-8c2c-4b9e-9b42-b3d5e97c5eb3","resolution":{"observed_at":"2026-08-16T11:46:42.181880Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-16T11:46:42.161096Z","title":"Leetcode Problem Set,","venue":null,"work_id":"8332d32a-3e13-4af3-add4-4d279a5ef809","year":2023},"citing_paper":{"arxiv_id":"2504.14641","last_updated":"2025-07-24T18:26:14Z","snapshot_observed_at":"2026-08-19T10:41:36.041401Z","submitted_at":"2025-04-20T14:45:01Z","title":"HLSTester: Efficient Testing of Behavioral Discrepancies with LLMs for High-Level Synthesis","version":3},"reference_index":34,"source":"pdf_text","source_observed_at":"2026-08-16T11:46:41.981458Z"},"links":{"citing_paper":"/paper/2504.14641"},"observation_digest":"sha256:aee8d91e002e1eae477ac1aabe7646c1334868d49335fec50ccc82aacbe9bc54","observation_id":"cc0e2bd2-5ce0-4be6-ac06-47de45b0ee77","resolution":{"observed_at":"2026-08-16T11:46:42.166061Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-16T11:46:42.144683Z","title":"GPT through OpenAI API,","venue":null,"work_id":"392254ec-0f59-4620-9b2e-6d3c59de927c","year":2024},"citing_paper":{"arxiv_id":"2504.14641","last_updated":"2025-07-24T18:26:14Z","snapshot_observed_at":"2026-08-19T10:41:36.041401Z","submitted_at":"2025-04-20T14:45:01Z","title":"HLSTester: Efficient Testing of Behavioral Discrepancies with LLMs for High-Level Synthesis","version":3},"reference_index":35,"source":"pdf_text","source_observed_at":"2026-08-16T11:46:41.985949Z"},"links":{"citing_paper":"/paper/2504.14641"},"observation_digest":"sha256:13eb5356ff22ad6aa37b5cb9bfe42ab8fc8e0630b3d3c9fd3f274c271e1089da","observation_id":"029d360f-5167-401d-baa8-93b5d3abcb36","resolution":{"observed_at":"2026-08-16T11:46:42.149828Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-16T11:46:42.129351Z","title":"A Survey on Software Fault Localization,","venue":null,"work_id":"051bfbe8-3617-4d6f-8591-37a3a28764b2","year":2016},"citing_paper":{"arxiv_id":"2504.14641","last_updated":"2025-07-24T18:26:14Z","snapshot_observed_at":"2026-08-19T10:41:36.041401Z","submitted_at":"2025-04-20T14:45:01Z","title":"HLSTester: Efficient Testing of Behavioral Discrepancies with LLMs for High-Level Synthesis","version":3},"reference_index":36,"source":"pdf_text","source_observed_at":"2026-08-16T11:46:41.990616Z"},"links":{"citing_paper":"/paper/2504.14641"},"observation_digest":"sha256:4b6417edbeb9b325338fd17782861bdf6e831db7ba5fa2418bfac7a2ccf9d8a6","observation_id":"42a92582-4a36-4002-9955-2ccdac4782e5","resolution":{"observed_at":"2026-08-16T11:46:42.133984Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-16T11:46:42.113768Z","title":"An Em- pirical Examination of Fuzzer Mutator Performance,","venue":null,"work_id":"393802cb-53de-43a7-ae48-74ebb6a76fd7","year":2024},"citing_paper":{"arxiv_id":"2504.14641","last_updated":"2025-07-24T18:26:14Z","snapshot_observed_at":"2026-08-19T10:41:36.041401Z","submitted_at":"2025-04-20T14:45:01Z","title":"HLSTester: Efficient Testing of Behavioral Discrepancies with LLMs for High-Level Synthesis","version":3},"reference_index":37,"source":"pdf_text","source_observed_at":"2026-08-16T11:46:41.995301Z"},"links":{"citing_paper":"/paper/2504.14641"},"observation_digest":"sha256:7d49b0324d087e5c6c53fd08d5a4eec551aaf5fd44edec620c2f598fd1b7ca64","observation_id":"0b04ae60-93f0-454d-b64d-3dc98f9d5a02","resolution":{"observed_at":"2026-08-16T11:46:42.118636Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-16T11:46:42.098623Z","title":"Logic Design of Neural Networks for High-Throughput and Low-Power Applications,","venue":null,"work_id":"7ac2604b-d8b3-4563-a7fd-c81b902bc9d2","year":2024},"citing_paper":{"arxiv_id":"2504.14641","last_updated":"2025-07-24T18:26:14Z","snapshot_observed_at":"2026-08-19T10:41:36.041401Z","submitted_at":"2025-04-20T14:45:01Z","title":"HLSTester: Efficient Testing of Behavioral Discrepancies with LLMs for High-Level Synthesis","version":3},"reference_index":38,"source":"pdf_text","source_observed_at":"2026-08-16T11:46:41.999789Z"},"links":{"citing_paper":"/paper/2504.14641"},"observation_digest":"sha256:c45b5307a51cfb5d1fa3e136c178b4890474640f257e8c53126a24cf1b7cb753","observation_id":"33cf0d44-a779-4680-ae76-2ea1a514ece4","resolution":{"observed_at":"2026-08-16T11:46:42.103351Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+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-16T11:46:42.081869Z","title":"Sentence-BERT: Sentence Embeddings using Siamese BERT-Networks,","venue":null,"work_id":"e4126558-ac68-4f25-be49-371ade3e6598","year":2019},"citing_paper":{"arxiv_id":"2504.14641","last_updated":"2025-07-24T18:26:14Z","snapshot_observed_at":"2026-08-19T10:41:36.041401Z","submitted_at":"2025-04-20T14:45:01Z","title":"HLSTester: Efficient Testing of Behavioral Discrepancies with LLMs for High-Level Synthesis","version":3},"reference_index":39,"source":"pdf_text","source_observed_at":"2026-08-16T11:46:42.004314Z"},"links":{"citing_paper":"/paper/2504.14641"},"observation_digest":"sha256:05f0dedeb5f080f734357227a0609d5863b190ba24a4ae2bc5b3bd631ae3e44b","observation_id":"9f623f3d-f9d4-474f-8cf9-9082effe5765","resolution":{"observed_at":"2026-08-16T11:46:42.088272Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"2504.14641","last_updated":"2025-07-24T18:26:14Z","latest_version":3,"primary_category":"cs.SE","snapshot_observed_at":"2026-08-19T10:41:36.041401Z","submitted_at":"2025-04-20T14:45:01Z","title":"HLSTester: Efficient Testing of Behavioral Discrepancies with LLMs for High-Level Synthesis"},"reference_resolution":{"displayed":39,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":4,"verified_exact":0,"verified_fuzzy":35},"total_outbound_references":39},"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-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+00:00","source":"retraction_watch"}],"thesis":"As of 19 August 2026, this Paper Citation Record lists 39 of 39 outbound references and 0 inbound Pith citation observations for arXiv:2504.14641."}