{"as_of":"2026-08-20T20:57:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:7853f1345424a314e59ae5241537e4db849d4b60162bd48fdf1b9d84ee06c490","coverage":[{"denominator":55,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":55,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-10T22:42:43.450657Z","state":"measured"},{"denominator":55,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":55,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-20T06:33:59.587034+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/2501.00921/citation-record","integrity":"/paper/2501.00921/integrity","json":"/paper/2501.00921/citation-record.json","paper":"/paper/2501.00921"},"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-10T22:42:44.321563Z","title":"https://www.chisel-lang","venue":null,"work_id":"36046b07-26d6-4c6f-9501-d04a2b127139","year":2024},"citing_paper":{"arxiv_id":"2501.00921","last_updated":"2025-01-01T18:40:05Z","snapshot_observed_at":"2026-08-20T11:09:26.069087Z","submitted_at":"2025-01-01T18:40:05Z","title":"Aligning Netlist to Source Code using SynAlign","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-10T22:42:43.205780Z"},"links":{"citing_paper":"/paper/2501.00921"},"observation_digest":"sha256:38d906c10848127aee9156c0e8ce3f4981307b122cda6560210b4e837aeec443","observation_id":"d096cbfb-43ae-45d1-98c5-4857e45dcaf9","resolution":{"observed_at":"2026-08-10T22:42:44.325697Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-10T22:42:44.309315Z","title":"https://docs.google.com/ document/d/1fOSRdyZR2w75D87yU2Ma9h2-_lEPL4NxvhJGJd- s5pk/edit#heading=h.56zyi32ygm3b","venue":null,"work_id":"1ec4c1cc-120f-4305-8141-c9e7531f302a","year":null},"citing_paper":{"arxiv_id":"2501.00921","last_updated":"2025-01-01T18:40:05Z","snapshot_observed_at":"2026-08-20T11:09:26.069087Z","submitted_at":"2025-01-01T18:40:05Z","title":"Aligning Netlist to Source Code using SynAlign","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-10T22:42:43.211102Z"},"links":{"citing_paper":"/paper/2501.00921"},"observation_digest":"sha256:d9cd73e682c83a20dbf02f9eaff5c3741366e780484295c589853b8ec41a60f0","observation_id":"fbfdfd27-73c2-4e8b-906d-dae8accc8247","resolution":{"observed_at":"2026-08-10T22:42:44.313481Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-10T22:42:44.296607Z","title":"https://docs.google.com/ document/d/1fOSRdyZR2w75D87yU2Ma9h2-_lEPL4NxvhJGJd- s5pk/edit#heading=h.awos2k698n33","venue":null,"work_id":"d79e23b5-a5f1-4d56-8f8a-899ecbb08c23","year":null},"citing_paper":{"arxiv_id":"2501.00921","last_updated":"2025-01-01T18:40:05Z","snapshot_observed_at":"2026-08-20T11:09:26.069087Z","submitted_at":"2025-01-01T18:40:05Z","title":"Aligning Netlist to Source Code using SynAlign","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-10T22:42:43.215555Z"},"links":{"citing_paper":"/paper/2501.00921"},"observation_digest":"sha256:4faa26680aa5c0173d014f18aeb89f529b3da8c13c800adef1c5c4fd512334f8","observation_id":"3bc11ec9-ea3c-4615-a239-6ed04857f6a6","resolution":{"observed_at":"2026-08-10T22:42:44.301028Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-10T22:42:44.283039Z","title":"https://clang.llvm.org/doxygen/ group__CINDEX__LOCATIONS.html#details","venue":null,"work_id":"16ac9d34-3e27-46df-953b-ffa250aee5d9","year":null},"citing_paper":{"arxiv_id":"2501.00921","last_updated":"2025-01-01T18:40:05Z","snapshot_observed_at":"2026-08-20T11:09:26.069087Z","submitted_at":"2025-01-01T18:40:05Z","title":"Aligning Netlist to Source Code using SynAlign","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-10T22:42:43.220410Z"},"links":{"citing_paper":"/paper/2501.00921"},"observation_digest":"sha256:d7d653efa1c6f1178aedb371eb869593db5bf7c670f032ccc49d214e7efc283f","observation_id":"41411bd9-ea81-4706-aabf-27b31e32c87b","resolution":{"observed_at":"2026-08-10T22:42:44.288039Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-10T22:42:44.269470Z","title":"https://github.com/ chipsalliance/rocket-chip?tab=readme-ov-file#building-the-project","venue":null,"work_id":"f1995408-2b5b-4006-8f24-a8c7eb9544fd","year":2024},"citing_paper":{"arxiv_id":"2501.00921","last_updated":"2025-01-01T18:40:05Z","snapshot_observed_at":"2026-08-20T11:09:26.069087Z","submitted_at":"2025-01-01T18:40:05Z","title":"Aligning Netlist to Source Code using SynAlign","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-10T22:42:43.224925Z"},"links":{"citing_paper":"/paper/2501.00921"},"observation_digest":"sha256:e7a7eeaa8cae5111c18554cca58d923a22d09fc02ee335d1d41eaccf9c03fbcd","observation_id":"7d2fb38d-0d74-4452-b8a2-fd4912360594","resolution":{"observed_at":"2026-08-10T22:42:44.274381Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-10T22:42:44.255771Z","title":"https://llvm.org/docs/ HowToUpdateDebugInfo.html#when-to-drop-an-instruction- location","venue":null,"work_id":"2419e97a-f52e-4cb6-8874-2d6dd373188c","year":null},"citing_paper":{"arxiv_id":"2501.00921","last_updated":"2025-01-01T18:40:05Z","snapshot_observed_at":"2026-08-20T11:09:26.069087Z","submitted_at":"2025-01-01T18:40:05Z","title":"Aligning Netlist to Source Code using SynAlign","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-10T22:42:43.229403Z"},"links":{"citing_paper":"/paper/2501.00921"},"observation_digest":"sha256:e5fc9880cbbba723ba18f0ab1e8a6d91f58ed7c5793bcf8c7f34437010ce906e","observation_id":"41ff94bd-ec6e-43eb-8c80-dbaadde20b90","resolution":{"observed_at":"2026-08-10T22:42:44.260163Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-10T22:42:44.242899Z","title":"https://llvm.org/docs/ HowToUpdateDebugInfo.html","venue":null,"work_id":"42fd1689-b1c7-42d6-920d-e8390ad16aed","year":null},"citing_paper":{"arxiv_id":"2501.00921","last_updated":"2025-01-01T18:40:05Z","snapshot_observed_at":"2026-08-20T11:09:26.069087Z","submitted_at":"2025-01-01T18:40:05Z","title":"Aligning Netlist to Source Code using SynAlign","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-10T22:42:43.233834Z"},"links":{"citing_paper":"/paper/2501.00921"},"observation_digest":"sha256:d0c0930145c4e6a5e634dd00b3ee121c933e7840686363def52270843a3ded0b","observation_id":"697e5652-df59-4d86-ac63-3ac66cf94acf","resolution":{"observed_at":"2026-08-10T22:42:44.247115Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-10T22:42:44.229798Z","title":"https://google","venue":null,"work_id":"613d330e-0b43-42fe-8e7f-8a3cfe022cb6","year":null},"citing_paper":{"arxiv_id":"2501.00921","last_updated":"2025-01-01T18:40:05Z","snapshot_observed_at":"2026-08-20T11:09:26.069087Z","submitted_at":"2025-01-01T18:40:05Z","title":"Aligning Netlist to Source Code using SynAlign","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-10T22:42:43.238346Z"},"links":{"citing_paper":"/paper/2501.00921"},"observation_digest":"sha256:d3bb1ba84b6ff6311342ce79c42b2fc7a26c10441c8883c56a7fc2c997fcca4b","observation_id":"3f7cc105-3c4a-4833-b5b7-b6c958674c49","resolution":{"observed_at":"2026-08-10T22:42:44.234144Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-10T22:42:44.216550Z","title":"https://github.com/nturley/netlistsvg","venue":null,"work_id":"ac622a63-983e-4bf4-bf1b-84eee14f1958","year":2019},"citing_paper":{"arxiv_id":"2501.00921","last_updated":"2025-01-01T18:40:05Z","snapshot_observed_at":"2026-08-20T11:09:26.069087Z","submitted_at":"2025-01-01T18:40:05Z","title":"Aligning Netlist to Source Code using SynAlign","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-10T22:42:43.242801Z"},"links":{"citing_paper":"/paper/2501.00921"},"observation_digest":"sha256:80bcfcd6d72bbee18a4ae9cd8bb6f03a63acc3217ef3cee92cc0c01c7a762e8a","observation_id":"32fb63cc-6be4-48c6-b315-cad59f8e8840","resolution":{"observed_at":"2026-08-10T22:42:44.220941Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-10T22:42:44.203161Z","title":"https://web.open-source-silicon.dev/t/442348/has-anyone- tried-using-the-keep-synthesis-attribute-is-follo","venue":null,"work_id":"2431409a-4b1c-498a-aa97-2e27c744c9e7","year":2024},"citing_paper":{"arxiv_id":"2501.00921","last_updated":"2025-01-01T18:40:05Z","snapshot_observed_at":"2026-08-20T11:09:26.069087Z","submitted_at":"2025-01-01T18:40:05Z","title":"Aligning Netlist to Source Code using SynAlign","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-10T22:42:43.246951Z"},"links":{"citing_paper":"/paper/2501.00921"},"observation_digest":"sha256:c6d77e538bfd5635419a3326500866f1e073dbbd8be1d116394a5bca388ba0b8","observation_id":"5e2285da-3416-4e83-8e96-dddcaf9addfb","resolution":{"observed_at":"2026-08-10T22:42:44.207777Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-10T22:42:44.189764Z","title":"https://llvm.org/docs/SourceLevelDebugging.html","venue":null,"work_id":"64b824c7-4359-4c76-bfc5-e14c0cd63608","year":null},"citing_paper":{"arxiv_id":"2501.00921","last_updated":"2025-01-01T18:40:05Z","snapshot_observed_at":"2026-08-20T11:09:26.069087Z","submitted_at":"2025-01-01T18:40:05Z","title":"Aligning Netlist to Source Code using SynAlign","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-10T22:42:43.251113Z"},"links":{"citing_paper":"/paper/2501.00921"},"observation_digest":"sha256:2cbe339d2a92c5cc1809dae2bc6f1f2f6c8bd186dd4f44a2dab59ecdf56d96c3","observation_id":"049ebe84-fda2-4929-b91b-80f669af0ac7","resolution":{"observed_at":"2026-08-10T22:42:44.194504Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-10T22:42:44.176535Z","title":"https://www.synopsys.com/verification/debug/verdi.html","venue":null,"work_id":"40d52e18-5c73-43ca-b805-ba763d9eff19","year":null},"citing_paper":{"arxiv_id":"2501.00921","last_updated":"2025-01-01T18:40:05Z","snapshot_observed_at":"2026-08-20T11:09:26.069087Z","submitted_at":"2025-01-01T18:40:05Z","title":"Aligning Netlist to Source Code using SynAlign","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-10T22:42:43.255895Z"},"links":{"citing_paper":"/paper/2501.00921"},"observation_digest":"sha256:523aa8d50754b4a4eea9752496586f40f65887babb99e8b89dcc5d604024d9e0","observation_id":"e1753030-ef89-494b-ab37-7e683aab8837","resolution":{"observed_at":"2026-08-10T22:42:44.180942Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-10T22:42:44.163054Z","title":"https://discourse.llvm.org/t/get-source-location-details-from-ir- code-function-pass/57372 , Jan 2021","venue":null,"work_id":"7c4b66d5-1744-4f5e-ab30-05edc0cda44b","year":2021},"citing_paper":{"arxiv_id":"2501.00921","last_updated":"2025-01-01T18:40:05Z","snapshot_observed_at":"2026-08-20T11:09:26.069087Z","submitted_at":"2025-01-01T18:40:05Z","title":"Aligning Netlist to Source Code using SynAlign","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-10T22:42:43.260363Z"},"links":{"citing_paper":"/paper/2501.00921"},"observation_digest":"sha256:a3c68a0a99f600734e51d54cda509cab55d979017ccb27bbee10b0c3db9a002b","observation_id":"6a41b7a8-06a3-430f-af6a-231781fe8c60","resolution":{"observed_at":"2026-08-10T22:42:44.167481Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-10T22:42:44.150914Z","title":"https://github.com/google/xls, 2021","venue":null,"work_id":"2e1feb1a-a756-450c-90b7-e63ca3956ace","year":2021},"citing_paper":{"arxiv_id":"2501.00921","last_updated":"2025-01-01T18:40:05Z","snapshot_observed_at":"2026-08-20T11:09:26.069087Z","submitted_at":"2025-01-01T18:40:05Z","title":"Aligning Netlist to Source Code using SynAlign","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-10T22:42:43.264875Z"},"links":{"citing_paper":"/paper/2501.00921"},"observation_digest":"sha256:333e6ba67c8a34357d19b895f7a47dc105ba808a664f6141e2372ec85de4958b","observation_id":"92290fe8-1e61-4666-9bc4-b0caf3bbe1ec","resolution":{"observed_at":"2026-08-10T22:42:44.154550Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-10T22:42:44.137415Z","title":"https://github.com/llvm/circt,","venue":null,"work_id":"388ee0e2-9209-4e74-8365-ef945ba4e2ff","year":null},"citing_paper":{"arxiv_id":"2501.00921","last_updated":"2025-01-01T18:40:05Z","snapshot_observed_at":"2026-08-20T11:09:26.069087Z","submitted_at":"2025-01-01T18:40:05Z","title":"Aligning Netlist to Source Code using SynAlign","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-10T22:42:43.269740Z"},"links":{"citing_paper":"/paper/2501.00921"},"observation_digest":"sha256:a5dec8f67fdeb105eb5860a5cfaa3f678958ad53bb5d9d08570c3907b11a3959","observation_id":"6003cc59-e87a-48cc-8026-e6b626c43598","resolution":{"observed_at":"2026-08-10T22:42:44.142256Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-10T22:42:44.111820Z","title":"Patterson, Brian Richards, Colin Schmidt, Stephen Twigg, Huy Vo, and Andrew Water- man","venue":null,"work_id":"8a89674b-41d7-4097-a0b4-7f1d26d28293","year":2016},"citing_paper":{"arxiv_id":"2501.00921","last_updated":"2025-01-01T18:40:05Z","snapshot_observed_at":"2026-08-20T11:09:26.069087Z","submitted_at":"2025-01-01T18:40:05Z","title":"Aligning Netlist to Source Code using SynAlign","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-10T22:42:43.278488Z"},"links":{"citing_paper":"/paper/2501.00921"},"observation_digest":"sha256:d297ff38879aa58a5823ee8d024d50afd5a702713dffe8e8ead9646a1207be87","observation_id":"896ec7bf-b04f-41f3-ab9d-70aeab8b717a","resolution":{"observed_at":"2026-08-10T22:42:44.116257Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-10T22:42:44.098607Z","title":"Chisel: constructing hardware in a scala embedded language","venue":null,"work_id":"94ab7e9e-3ada-4a4d-bbce-2004a240dbaa","year":2012},"citing_paper":{"arxiv_id":"2501.00921","last_updated":"2025-01-01T18:40:05Z","snapshot_observed_at":"2026-08-20T11:09:26.069087Z","submitted_at":"2025-01-01T18:40:05Z","title":"Aligning Netlist to Source Code using SynAlign","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-10T22:42:43.282908Z"},"links":{"citing_paper":"/paper/2501.00921"},"observation_digest":"sha256:fde918b17a5c2fb0f18e7414f3390fa9d0eb6f64bb99563d8bafc6c4ba78570d","observation_id":"3f2535d6-9d37-424a-ba26-114199f4b905","resolution":{"observed_at":"2026-08-10T22:42:44.102987Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-10T22:42:44.085499Z","title":"Balogh, G.R","venue":null,"work_id":"821adc4f-596a-410c-9d12-30ecdf8710a5","year":2018},"citing_paper":{"arxiv_id":"2501.00921","last_updated":"2025-01-01T18:40:05Z","snapshot_observed_at":"2026-08-20T11:09:26.069087Z","submitted_at":"2025-01-01T18:40:05Z","title":"Aligning Netlist to Source Code using SynAlign","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-10T22:42:43.287221Z"},"links":{"citing_paper":"/paper/2501.00921"},"observation_digest":"sha256:7b555602b5a8db9444411e6f234f25cce97272c0afd59f1aa38b97fc5787fed9","observation_id":"5c5e0559-bb3b-4897-98e6-bd69fed2bc67","resolution":{"observed_at":"2026-08-10T22:42:44.089968Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-10T22:42:44.072633Z","title":"Message- passing algorithms for sparse network alignment","venue":null,"work_id":"46f008c0-e559-4fab-bb88-43911d9cc60e","year":2013},"citing_paper":{"arxiv_id":"2501.00921","last_updated":"2025-01-01T18:40:05Z","snapshot_observed_at":"2026-08-20T11:09:26.069087Z","submitted_at":"2025-01-01T18:40:05Z","title":"Aligning Netlist to Source Code using SynAlign","version":1},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-10T22:42:43.292210Z"},"links":{"citing_paper":"/paper/2501.00921"},"observation_digest":"sha256:02495923294bc3878d711918cf8edf8a9f7ff76ea7781d6896a4a8737d5641c7","observation_id":"93c49745-a304-42cb-8264-031f4b02c347","resolution":{"observed_at":"2026-08-10T22:42:44.076832Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-10T22:42:44.059375Z","title":"Utils: add source locators by mwachs5 · pull request 2496 · chipsalliance/chisel","venue":null,"work_id":"6d618eee-4c48-41a6-a384-674662dcb25d","year":null},"citing_paper":{"arxiv_id":"2501.00921","last_updated":"2025-01-01T18:40:05Z","snapshot_observed_at":"2026-08-20T11:09:26.069087Z","submitted_at":"2025-01-01T18:40:05Z","title":"Aligning Netlist to Source Code using SynAlign","version":1},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-10T22:42:43.296668Z"},"links":{"citing_paper":"/paper/2501.00921"},"observation_digest":"sha256:02b5be3439e7141aad45765f02a600e76f3424f62b007a085308f87940a60706","observation_id":"1f9e2011-ae65-4d9a-b317-4e1fa06bdceb","resolution":{"observed_at":"2026-08-10T22:42:44.063963Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-10T22:42:44.046021Z","title":"Source information via macros, rfc · issue 147 · chip- salliance/chisel","venue":null,"work_id":"dcd0b233-fb0c-4b11-8cc5-ca7ac6eff3ca","year":2016},"citing_paper":{"arxiv_id":"2501.00921","last_updated":"2025-01-01T18:40:05Z","snapshot_observed_at":"2026-08-20T11:09:26.069087Z","submitted_at":"2025-01-01T18:40:05Z","title":"Aligning Netlist to Source Code using SynAlign","version":1},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-10T22:42:43.300988Z"},"links":{"citing_paper":"/paper/2501.00921"},"observation_digest":"sha256:8572a927e8c23462f4b982d9cecae49ebf899bf402d77082cea7290d26a75297","observation_id":"6a13df90-0159-4813-9ccc-0b3636492e84","resolution":{"observed_at":"2026-08-10T22:42:44.050306Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-10T22:42:44.032486Z","title":"Case study: Soc performance verification and static verification of rtl parameters","venue":null,"work_id":"7e75010f-3146-456b-9b92-7f9c87308d57","year":2019},"citing_paper":{"arxiv_id":"2501.00921","last_updated":"2025-01-01T18:40:05Z","snapshot_observed_at":"2026-08-20T11:09:26.069087Z","submitted_at":"2025-01-01T18:40:05Z","title":"Aligning Netlist to Source Code using SynAlign","version":1},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-10T22:42:43.305373Z"},"links":{"citing_paper":"/paper/2501.00921"},"observation_digest":"sha256:c519d6b3e09941db00f7cb1219c5c7f12df6975ccbf528f2432fe5c6f171509f","observation_id":"a442ac64-abab-4d28-8a27-dc9f4ac8755d","resolution":{"observed_at":"2026-08-10T22:42:44.037168Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-10T22:42:44.018961Z","title":"Timothy Edwards, Russell Friesenhahn, matt venn, Amr A","venue":null,"work_id":"a7f545b4-72fb-49de-9aed-12670c397874","year":2022},"citing_paper":{"arxiv_id":"2501.00921","last_updated":"2025-01-01T18:40:05Z","snapshot_observed_at":"2026-08-20T11:09:26.069087Z","submitted_at":"2025-01-01T18:40:05Z","title":"Aligning Netlist to Source Code using SynAlign","version":1},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-10T22:42:43.310119Z"},"links":{"citing_paper":"/paper/2501.00921"},"observation_digest":"sha256:67ac488ce7fdf7c9095fb04e429cad6b03c76d00deb5fedf5056d948ee1c6e56","observation_id":"b6e7393b-6205-4944-ba0a-8e342e035ecf","resolution":{"observed_at":"2026-08-10T22:42:44.023502Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-10T22:42:44.005344Z","title":"Refining network alignment to improve matched neighborhood con- sistency","venue":null,"work_id":"9c7875ad-520c-4e63-901c-2cbd78b737eb","year":2021},"citing_paper":{"arxiv_id":"2501.00921","last_updated":"2025-01-01T18:40:05Z","snapshot_observed_at":"2026-08-20T11:09:26.069087Z","submitted_at":"2025-01-01T18:40:05Z","title":"Aligning Netlist to Source Code using SynAlign","version":1},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-10T22:42:43.314444Z"},"links":{"citing_paper":"/paper/2501.00921"},"observation_digest":"sha256:41bee20e36c0513cba51286af04768817ba945f597382fa826123a58ed15c09d","observation_id":"93e50fdb-9aa7-4b2c-bae3-9bd2fc8468a9","resolution":{"observed_at":"2026-08-10T22:42:44.009722Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-10T22:42:43.992020Z","title":"Regal: Representation learning-based graph alignment","venue":null,"work_id":"87c29583-b67f-4209-b4d5-15919514a5d6","year":2018},"citing_paper":{"arxiv_id":"2501.00921","last_updated":"2025-01-01T18:40:05Z","snapshot_observed_at":"2026-08-20T11:09:26.069087Z","submitted_at":"2025-01-01T18:40:05Z","title":"Aligning Netlist to Source Code using SynAlign","version":1},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-08-10T22:42:43.324490Z"},"links":{"citing_paper":"/paper/2501.00921"},"observation_digest":"sha256:9bd7658ff361cb0ff09cd928a38068cfd191627bb167d8407d1ec7f392582d66","observation_id":"352bbb21-63ec-48a8-9cd0-6a3bbff723e9","resolution":{"observed_at":"2026-08-10T22:42:43.996415Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-10T22:42:43.978665Z","title":null,"venue":null,"work_id":"2983d1fa-6a80-4867-83b1-c29449ae78b1","year":2019},"citing_paper":{"arxiv_id":"2501.00921","last_updated":"2025-01-01T18:40:05Z","snapshot_observed_at":"2026-08-20T11:09:26.069087Z","submitted_at":"2025-01-01T18:40:05Z","title":"Aligning Netlist to Source Code using SynAlign","version":1},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-08-10T22:42:43.329083Z"},"links":{"citing_paper":"/paper/2501.00921"},"observation_digest":"sha256:dffc51b185cce6d45488fed09ba64db77292519b0263459a49d2e579fa7a26bb","observation_id":"4edcfb1b-a7db-4f63-a461-563662668365","resolution":{"observed_at":"2026-08-10T22:42:43.982933Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-10T22:42:43.965420Z","title":"dinocpu/cpu.scala (pipelinedcpu) at main · jlpteach- ing/dinocpu","venue":null,"work_id":"09ce618b-308a-445f-846d-100ee2a83cac","year":null},"citing_paper":{"arxiv_id":"2501.00921","last_updated":"2025-01-01T18:40:05Z","snapshot_observed_at":"2026-08-20T11:09:26.069087Z","submitted_at":"2025-01-01T18:40:05Z","title":"Aligning Netlist to Source Code using SynAlign","version":1},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-08-10T22:42:43.333955Z"},"links":{"citing_paper":"/paper/2501.00921"},"observation_digest":"sha256:c248aaede5af83ad66ae88db1dbb38c3c5803523fc1c8d178fce161981adb9d5","observation_id":"f94a6ecb-9bc6-4f38-b07d-37f3117ae00e","resolution":{"observed_at":"2026-08-10T22:42:43.969714Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-10T22:42:43.952296Z","title":"dinocpu/cpu.scala (singlecyclecpu) at main · jlpteach- ing/dinocpu","venue":null,"work_id":"f4323f3c-6113-495b-8049-0a417f986c3c","year":null},"citing_paper":{"arxiv_id":"2501.00921","last_updated":"2025-01-01T18:40:05Z","snapshot_observed_at":"2026-08-20T11:09:26.069087Z","submitted_at":"2025-01-01T18:40:05Z","title":"Aligning Netlist to Source Code using SynAlign","version":1},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-08-10T22:42:43.338707Z"},"links":{"citing_paper":"/paper/2501.00921"},"observation_digest":"sha256:ec563a54ba346ac4b4a1ba5dd7c0ca338fbd9cc3b2e479f22fe66d21436b7c30","observation_id":"0888a2df-6857-4409-86e2-d1157a412313","resolution":{"observed_at":"2026-08-10T22:42:43.956725Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-10T22:42:43.939415Z","title":"Network alignment: Theory, algorithms, and applica- tions","venue":null,"work_id":"035b744a-96eb-43fe-8515-c08d0e5f37cb","year":2016},"citing_paper":{"arxiv_id":"2501.00921","last_updated":"2025-01-01T18:40:05Z","snapshot_observed_at":"2026-08-20T11:09:26.069087Z","submitted_at":"2025-01-01T18:40:05Z","title":"Aligning Netlist to Source Code using SynAlign","version":1},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-08-10T22:42:43.343318Z"},"links":{"citing_paper":"/paper/2501.00921"},"observation_digest":"sha256:93ff765ac99ca5f12d12f11fcfb8df48b51fa3ba42480838cb7c3e8ea7e9e321","observation_id":"3b22dad1-e275-41ce-afc1-69054bc6648d","resolution":{"observed_at":"2026-08-10T22:42:43.943813Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-10T22:42:43.926489Z","title":"The graph isomor- phism problem: its structural complexity","venue":null,"work_id":"53291fa8-1f5e-48a0-af20-18a63d2759c3","year":2012},"citing_paper":{"arxiv_id":"2501.00921","last_updated":"2025-01-01T18:40:05Z","snapshot_observed_at":"2026-08-20T11:09:26.069087Z","submitted_at":"2025-01-01T18:40:05Z","title":"Aligning Netlist to Source Code using SynAlign","version":1},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-08-10T22:42:43.347915Z"},"links":{"citing_paper":"/paper/2501.00921"},"observation_digest":"sha256:a6fed28180ef01810fa8ca62db60280eeed922a1d842df9a12495ed155428080","observation_id":"1652b2eb-9739-45ce-8a95-f2abd104940a","resolution":{"observed_at":"2026-08-10T22:42:43.930783Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-10T22:42:43.913477Z","title":"Release chisel v3.5.0 · chipsalliance/chisel","venue":null,"work_id":"dab824b9-4236-4614-bd90-e6869df2bd55","year":2001},"citing_paper":{"arxiv_id":"2501.00921","last_updated":"2025-01-01T18:40:05Z","snapshot_observed_at":"2026-08-20T11:09:26.069087Z","submitted_at":"2025-01-01T18:40:05Z","title":"Aligning Netlist to Source Code using SynAlign","version":1},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-08-10T22:42:43.352541Z"},"links":{"citing_paper":"/paper/2501.00921"},"observation_digest":"sha256:408957448cf8f81ce0e0ae2d93eacd20855a205d581b9dff64c3f2e2069cf099","observation_id":"01d6ae28-b4ed-4f3d-9cd7-9095652b65ed","resolution":{"observed_at":"2026-08-10T22:42:43.917848Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-10T22:42:43.899998Z","title":"Release chisel v3.5.5 · chipsalliance/chisel","venue":null,"work_id":"090e120c-40e8-4aed-98b8-4640f53ac7fb","year":2001},"citing_paper":{"arxiv_id":"2501.00921","last_updated":"2025-01-01T18:40:05Z","snapshot_observed_at":"2026-08-20T11:09:26.069087Z","submitted_at":"2025-01-01T18:40:05Z","title":"Aligning Netlist to Source Code using SynAlign","version":1},"reference_index":32,"source":"pdf_text","source_observed_at":"2026-08-10T22:42:43.357411Z"},"links":{"citing_paper":"/paper/2501.00921"},"observation_digest":"sha256:14472a7fe2d91eff08989056a0609520313814bd91001ee391228d3cddd9e62f","observation_id":"4cd3b1d5-90cc-4199-8b06-bdc8dba49949","resolution":{"observed_at":"2026-08-10T22:42:43.904580Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-10T22:42:43.886595Z","title":"Release chisel v3.6.0-m1 · chipsalliance/chisel","venue":null,"work_id":"a501b5b3-a36a-4aa0-b567-8e69e7f05f18","year":2001},"citing_paper":{"arxiv_id":"2501.00921","last_updated":"2025-01-01T18:40:05Z","snapshot_observed_at":"2026-08-20T11:09:26.069087Z","submitted_at":"2025-01-01T18:40:05Z","title":"Aligning Netlist to Source Code using SynAlign","version":1},"reference_index":33,"source":"pdf_text","source_observed_at":"2026-08-10T22:42:43.361917Z"},"links":{"citing_paper":"/paper/2501.00921"},"observation_digest":"sha256:5c2f5e83d7613b571c733eb051461eeba4a989eba359f0b3dc19113542f46e5c","observation_id":"3b174091-7ad6-4705-ad3c-d07eefd30d8f","resolution":{"observed_at":"2026-08-10T22:42:43.891055Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-10T22:42:43.873530Z","title":"Release chisel v3.6.0-m2 · chipsalliance/chisel","venue":null,"work_id":"541a3ff3-b50c-4d0c-a6e4-1d5bfe689965","year":2001},"citing_paper":{"arxiv_id":"2501.00921","last_updated":"2025-01-01T18:40:05Z","snapshot_observed_at":"2026-08-20T11:09:26.069087Z","submitted_at":"2025-01-01T18:40:05Z","title":"Aligning Netlist to Source Code using SynAlign","version":1},"reference_index":34,"source":"pdf_text","source_observed_at":"2026-08-10T22:42:43.366175Z"},"links":{"citing_paper":"/paper/2501.00921"},"observation_digest":"sha256:d267dcb1c1600ab355148c3426f15dc590305ccbbeb1eb81ea8aeebd1572c11d","observation_id":"d2da2e76-5454-4799-b28d-ff1a9b567e91","resolution":{"observed_at":"2026-08-10T22:42:43.877879Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-10T22:42:43.860131Z","title":"Aligning users across social networks using network embedding","venue":null,"work_id":"d90fef8a-bdc9-4230-953d-01cb603c2477","year":2016},"citing_paper":{"arxiv_id":"2501.00921","last_updated":"2025-01-01T18:40:05Z","snapshot_observed_at":"2026-08-20T11:09:26.069087Z","submitted_at":"2025-01-01T18:40:05Z","title":"Aligning Netlist to Source Code using SynAlign","version":1},"reference_index":35,"source":"pdf_text","source_observed_at":"2026-08-10T22:42:43.370562Z"},"links":{"citing_paper":"/paper/2501.00921"},"observation_digest":"sha256:ba0ff30baa6b607d523325f122b1e25690ce933e85eaba268ca3956bbfc1fb78","observation_id":"97f3e356-3a21-4c21-b094-37c880a86967","resolution":{"observed_at":"2026-08-10T22:42:43.864511Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-10T22:42:43.846276Z","title":"Design and Application of a Co-Simulation Framework for Chisel","venue":null,"work_id":"b99ff895-b1d6-4e13-b0f0-06e792478f06","year":2021},"citing_paper":{"arxiv_id":"2501.00921","last_updated":"2025-01-01T18:40:05Z","snapshot_observed_at":"2026-08-20T11:09:26.069087Z","submitted_at":"2025-01-01T18:40:05Z","title":"Aligning Netlist to Source Code using SynAlign","version":1},"reference_index":36,"source":"pdf_text","source_observed_at":"2026-08-10T22:42:43.374576Z"},"links":{"citing_paper":"/paper/2501.00921"},"observation_digest":"sha256:9ba2b94b6e97327cba167cb60e08986a46ec041eb87be7384451c27323058273","observation_id":"0f5b190c-8438-4d88-813b-e93e2cc6017c","resolution":{"observed_at":"2026-08-10T22:42:43.851066Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-10T22:42:43.726939Z","title":"Reset logic verification of an iod at system on chip level using gatesim","venue":null,"work_id":"bd1de225-3295-4d92-914c-f4348b117a8e","year":2020},"citing_paper":{"arxiv_id":"2501.00921","last_updated":"2025-01-01T18:40:05Z","snapshot_observed_at":"2026-08-20T11:09:26.069087Z","submitted_at":"2025-01-01T18:40:05Z","title":"Aligning Netlist to Source Code using SynAlign","version":1},"reference_index":37,"source":"pdf_text","source_observed_at":"2026-08-10T22:42:43.378456Z"},"links":{"citing_paper":"/paper/2501.00921"},"observation_digest":"sha256:deb045134b526fffb795ae0d670c7b5d8eef1b679be8d7b038ff108567c9d65f","observation_id":"bab7292c-c0e2-4516-8c8c-cadbc1748b4d","resolution":{"observed_at":"2026-08-10T22:42:43.731201Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-10T22:42:43.713850Z","title":"Understanding logic equivalence check (lec) flow and its challenges, and proposed solution","venue":null,"work_id":"0201fcde-86a6-453c-a2c1-fb57e6e9101a","year":2024},"citing_paper":{"arxiv_id":"2501.00921","last_updated":"2025-01-01T18:40:05Z","snapshot_observed_at":"2026-08-20T11:09:26.069087Z","submitted_at":"2025-01-01T18:40:05Z","title":"Aligning Netlist to Source Code using SynAlign","version":1},"reference_index":38,"source":"pdf_text","source_observed_at":"2026-08-10T22:42:43.382593Z"},"links":{"citing_paper":"/paper/2501.00921"},"observation_digest":"sha256:ec1c751a9b3b929891169f17c0cf38e5e34538955f84278aca946a0bf607db2c","observation_id":"ea40f177-f1ff-4a80-9d66-bd0d0b1260b5","resolution":{"observed_at":"2026-08-10T22:42:43.718249Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-10T22:42:43.698462Z","title":"Timothy Edwards, Amr A","venue":null,"work_id":"afb55e2f-f20f-4b69-9017-a0b06a4901f9","year":2021},"citing_paper":{"arxiv_id":"2501.00921","last_updated":"2025-01-01T18:40:05Z","snapshot_observed_at":"2026-08-20T11:09:26.069087Z","submitted_at":"2025-01-01T18:40:05Z","title":"Aligning Netlist to Source Code using SynAlign","version":1},"reference_index":39,"source":"pdf_text","source_observed_at":"2026-08-10T22:42:43.386777Z"},"links":{"citing_paper":"/paper/2501.00921"},"observation_digest":"sha256:10dfb8ed60b36cbf7d2477dc80726c435d0386bb48a834180f2ddb4cca44ec9c","observation_id":"a27bb849-a985-4d1c-b396-5f70ccc07e70","resolution":{"observed_at":"2026-08-10T22:42:43.704123Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-10T22:42:43.684110Z","title":"Equivalence checking of retimed circuits","venue":null,"work_id":"d62d21bb-742a-4116-b322-41f1029d1cb9","year":2005},"citing_paper":{"arxiv_id":"2501.00921","last_updated":"2025-01-01T18:40:05Z","snapshot_observed_at":"2026-08-20T11:09:26.069087Z","submitted_at":"2025-01-01T18:40:05Z","title":"Aligning Netlist to Source Code using SynAlign","version":1},"reference_index":40,"source":"pdf_text","source_observed_at":"2026-08-10T22:42:43.390705Z"},"links":{"citing_paper":"/paper/2501.00921"},"observation_digest":"sha256:92f6908d2ffae58675ff07dc0847c0dde28a1fecb2b9427b092f76b5af046561","observation_id":"2ca83e92-b5d7-4a96-b08f-dda8c282bc6b","resolution":{"observed_at":"2026-08-10T22:42:43.688863Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-10T22:42:43.670199Z","title":"Equality saturation theory exploration à la carte","venue":null,"work_id":"08e9976f-dafb-499a-b501-e82021dc9b8c","year":2023},"citing_paper":{"arxiv_id":"2501.00921","last_updated":"2025-01-01T18:40:05Z","snapshot_observed_at":"2026-08-20T11:09:26.069087Z","submitted_at":"2025-01-01T18:40:05Z","title":"Aligning Netlist to Source Code using SynAlign","version":1},"reference_index":41,"source":"pdf_text","source_observed_at":"2026-08-10T22:42:43.394933Z"},"links":{"citing_paper":"/paper/2501.00921"},"observation_digest":"sha256:15bb412608bd48e00a7c62d08ddc1248face695bb3988b5b6ad90baf6ed0d7c5","observation_id":"128b106d-8438-4bdd-9658-b8f8434286cf","resolution":{"observed_at":"2026-08-10T22:42:43.674845Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-10T22:42:43.656413Z","title":"Verilog HDL: a guide to digital design and synthesis , volume 1","venue":null,"work_id":"83edf878-3df1-4860-8847-ae8bf3894c25","year":2003},"citing_paper":{"arxiv_id":"2501.00921","last_updated":"2025-01-01T18:40:05Z","snapshot_observed_at":"2026-08-20T11:09:26.069087Z","submitted_at":"2025-01-01T18:40:05Z","title":"Aligning Netlist to Source Code using SynAlign","version":1},"reference_index":42,"source":"pdf_text","source_observed_at":"2026-08-10T22:42:43.399125Z"},"links":{"citing_paper":"/paper/2501.00921"},"observation_digest":"sha256:6ed92ec83fafd7c411d5614771b0bf48c87348f99efbc612eefa2646d2936427","observation_id":"285e1a63-dfda-4b71-a2af-71b1ecfdc3e8","resolution":{"observed_at":"2026-08-10T22:42:43.660914Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-10T22:42:43.642751Z","title":"A Guide on Logical Equivalence Checking - Flow, Challenges, and Bene- fits","venue":null,"work_id":"116e22b5-32bc-4d0a-b7ed-592fedc91a03","year":null},"citing_paper":{"arxiv_id":"2501.00921","last_updated":"2025-01-01T18:40:05Z","snapshot_observed_at":"2026-08-20T11:09:26.069087Z","submitted_at":"2025-01-01T18:40:05Z","title":"Aligning Netlist to Source Code using SynAlign","version":1},"reference_index":43,"source":"pdf_text","source_observed_at":"2026-08-10T22:42:43.403481Z"},"links":{"citing_paper":"/paper/2501.00921"},"observation_digest":"sha256:8071eb7bcb270841e08f677c7b54b7c023df51ae63c7b9521249f24fa267ee36","observation_id":"5b0eeca0-8244-47d3-a7ef-fc33769fd3cd","resolution":{"observed_at":"2026-08-10T22:42:43.647429Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-10T22:42:43.628353Z","title":"Timothy Edwards, Russell Friesenhahn, Johan Eu- phrosine, Amr A","venue":null,"work_id":"a1f952ac-319a-4956-bfa6-fd8ac21853fc","year":2022},"citing_paper":{"arxiv_id":"2501.00921","last_updated":"2025-01-01T18:40:05Z","snapshot_observed_at":"2026-08-20T11:09:26.069087Z","submitted_at":"2025-01-01T18:40:05Z","title":"Aligning Netlist to Source Code using SynAlign","version":1},"reference_index":44,"source":"pdf_text","source_observed_at":"2026-08-10T22:42:43.407492Z"},"links":{"citing_paper":"/paper/2501.00921"},"observation_digest":"sha256:88a7b07160dfc6e6ce6d7b69d6b35dee0b8a65cc21e8b6132554c7b6eb7f7d4a","observation_id":"9cf5f2ce-26a1-41b1-afc6-6301fc7e8368","resolution":{"observed_at":"2026-08-10T22:42:43.633074Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2404.00786","last_updated":"2024-03-31T20:20:48Z","snapshot_observed_at":"2026-08-18T21:29:22.139508Z","submitted_at":"2024-03-31T20:20:48Z","title":"There and Back Again: A Netlist's Tale with Much Egraphin'","version":1},"cited_work":{"arxiv_id":"2404.00786","doi":null,"metadata_source":"pith","pith_arxiv_id":"2404.00786","snapshot_observed_at":"2026-08-10T22:42:43.486398Z","title":"There and Back Again: A Netlist's Tale with Much Egraphin'","venue":"cs.AR","work_id":"926a37ff-7f15-4196-9e39-2ea91ef14f0c","year":2024},"citing_paper":{"arxiv_id":"2501.00921","last_updated":"2025-01-01T18:40:05Z","snapshot_observed_at":"2026-08-20T11:09:26.069087Z","submitted_at":"2025-01-01T18:40:05Z","title":"Aligning Netlist to Source Code using SynAlign","version":1},"reference_index":45,"source":"pdf_text","source_observed_at":"2026-08-10T22:42:43.411791Z"},"links":{"cited_paper":"/paper/2404.00786","citing_paper":"/paper/2501.00921"},"observation_digest":"sha256:48c3412a424d9dbe56ce542c70f0510593f01795758f53b9f0311476f4a447c8","observation_id":"381c2eef-dca3-4e40-aeea-fa3e6ee1fde2","resolution":{"observed_at":"2026-08-10T22:42:43.493495Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-10T22:42:43.615029Z","title":"Design Compiler User Guide","venue":null,"work_id":"bc8cc99a-845d-459a-983f-1c258f34651e","year":null},"citing_paper":{"arxiv_id":"2501.00921","last_updated":"2025-01-01T18:40:05Z","snapshot_observed_at":"2026-08-20T11:09:26.069087Z","submitted_at":"2025-01-01T18:40:05Z","title":"Aligning Netlist to Source Code using SynAlign","version":1},"reference_index":46,"source":"pdf_text","source_observed_at":"2026-08-10T22:42:43.416599Z"},"links":{"citing_paper":"/paper/2501.00921"},"observation_digest":"sha256:949ccf9fc72bd2143b7d2975170cdb05cf557e008294ec05bc8d9a3923066bf5","observation_id":"34db841a-340a-4ddb-ae5a-482f87467c57","resolution":{"observed_at":"2026-08-10T22:42:43.619241Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-10T22:42:43.601434Z","title":"Primetime static timing analysis.https://www.synopsys","venue":null,"work_id":"22a0bf94-7acb-40d4-8126-eb761afd874e","year":2019},"citing_paper":{"arxiv_id":"2501.00921","last_updated":"2025-01-01T18:40:05Z","snapshot_observed_at":"2026-08-20T11:09:26.069087Z","submitted_at":"2025-01-01T18:40:05Z","title":"Aligning Netlist to Source Code using SynAlign","version":1},"reference_index":47,"source":"pdf_text","source_observed_at":"2026-08-10T22:42:43.420712Z"},"links":{"citing_paper":"/paper/2501.00921"},"observation_digest":"sha256:e1495efa71ce7f8cec61e4bfdf4c5b19113823eed14eb6a6a9e0420fc774260d","observation_id":"dd296cac-5727-4d10-bae1-1d14c0c2bc69","resolution":{"observed_at":"2026-08-10T22:42:43.605999Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-10T22:42:43.587719Z","title":"The Verilog® hardware description language","venue":null,"work_id":"a018fb90-8a9e-427e-a591-1b919152504f","year":2008},"citing_paper":{"arxiv_id":"2501.00921","last_updated":"2025-01-01T18:40:05Z","snapshot_observed_at":"2026-08-20T11:09:26.069087Z","submitted_at":"2025-01-01T18:40:05Z","title":"Aligning Netlist to Source Code using SynAlign","version":1},"reference_index":48,"source":"pdf_text","source_observed_at":"2026-08-10T22:42:43.424908Z"},"links":{"citing_paper":"/paper/2501.00921"},"observation_digest":"sha256:301e326c048f716e3d08cd32a2cf1c09c23016f06f36aef221baf53de587a155","observation_id":"8d0273fb-116e-4838-a6b3-516a997b41f0","resolution":{"observed_at":"2026-08-10T22:42:43.592357Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-10T22:42:43.574171Z","title":"LiveHD: A Productive Live Hardware Development Flow","venue":null,"work_id":"37dd352e-3d81-4716-ab60-1e97f2e6c5fc","year":2020},"citing_paper":{"arxiv_id":"2501.00921","last_updated":"2025-01-01T18:40:05Z","snapshot_observed_at":"2026-08-20T11:09:26.069087Z","submitted_at":"2025-01-01T18:40:05Z","title":"Aligning Netlist to Source Code using SynAlign","version":1},"reference_index":49,"source":"pdf_text","source_observed_at":"2026-08-10T22:42:43.429190Z"},"links":{"citing_paper":"/paper/2501.00921"},"observation_digest":"sha256:3e886be0dd7d86fd7689500d36550b503604d91509aa5b0d0e1934c2ba6e9773","observation_id":"090d4944-7a07-4fd2-aeb2-e3b8d165e039","resolution":{"observed_at":"2026-08-10T22:42:43.578577Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-10T22:42:43.559835Z","title":"Yosys manual","venue":null,"work_id":"4096d134-2eb7-4518-9a6b-5a4f15ed0e21","year":2021},"citing_paper":{"arxiv_id":"2501.00921","last_updated":"2025-01-01T18:40:05Z","snapshot_observed_at":"2026-08-20T11:09:26.069087Z","submitted_at":"2025-01-01T18:40:05Z","title":"Aligning Netlist to Source Code using SynAlign","version":1},"reference_index":50,"source":"pdf_text","source_observed_at":"2026-08-10T22:42:43.433304Z"},"links":{"citing_paper":"/paper/2501.00921"},"observation_digest":"sha256:6ea7ba3191fdbb23f529f6dab8f322d38b9fff8831c898513b9c2c7cbd8cb768","observation_id":"67ec8cff-d6d1-4f7e-b6e1-baf939c64908","resolution":{"observed_at":"2026-08-10T22:42:43.564295Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-10T22:42:43.546531Z","title":"Yosys Open SYnthesis Suite","venue":null,"work_id":"0521136b-9b54-46ea-8994-7e3db41c53f3","year":2022},"citing_paper":{"arxiv_id":"2501.00921","last_updated":"2025-01-01T18:40:05Z","snapshot_observed_at":"2026-08-20T11:09:26.069087Z","submitted_at":"2025-01-01T18:40:05Z","title":"Aligning Netlist to Source Code using SynAlign","version":1},"reference_index":51,"source":"pdf_text","source_observed_at":"2026-08-10T22:42:43.437773Z"},"links":{"citing_paper":"/paper/2501.00921"},"observation_digest":"sha256:e31c06802ea6fe50674cc6f2876d79b26e08811695584d512d6c48d07fd2658e","observation_id":"e6a33ea7-aeef-4aca-9e65-7f455e9168cb","resolution":{"observed_at":"2026-08-10T22:42:43.550531Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-10T22:42:43.532828Z","title":"Graph isomorphism problem","venue":null,"work_id":"74031beb-0c9f-4b06-831f-f9ac26d8c845","year":1985},"citing_paper":{"arxiv_id":"2501.00921","last_updated":"2025-01-01T18:40:05Z","snapshot_observed_at":"2026-08-20T11:09:26.069087Z","submitted_at":"2025-01-01T18:40:05Z","title":"Aligning Netlist to Source Code using SynAlign","version":1},"reference_index":52,"source":"pdf_text","source_observed_at":"2026-08-10T22:42:43.442098Z"},"links":{"citing_paper":"/paper/2501.00921"},"observation_digest":"sha256:7ac96b311fd352d6b88c76982ad8c90f3616dbc7ac50c1eabaa192596be35c9d","observation_id":"a056b89e-7388-4f31-92a3-b31803e86c09","resolution":{"observed_at":"2026-08-10T22:42:43.537281Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-10T22:42:43.518210Z","title":"Final: Fast attributed network align- ment","venue":null,"work_id":"eba0b4a8-ff8d-45a1-b0dd-cfeee066f556","year":2016},"citing_paper":{"arxiv_id":"2501.00921","last_updated":"2025-01-01T18:40:05Z","snapshot_observed_at":"2026-08-20T11:09:26.069087Z","submitted_at":"2025-01-01T18:40:05Z","title":"Aligning Netlist to Source Code using SynAlign","version":1},"reference_index":53,"source":"pdf_text","source_observed_at":"2026-08-10T22:42:43.446453Z"},"links":{"citing_paper":"/paper/2501.00921"},"observation_digest":"sha256:951f248279f2637906419af5fb595ea6f2ae53c0e8499fe5539410201f04532a","observation_id":"b5968cd4-074d-4f97-a944-0041eb9c8bd2","resolution":{"observed_at":"2026-08-10T22:42:43.522892Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-10T22:42:43.504091Z","title":"Caper: Coarsen, align, project, refine-a general multilevel framework for network alignment","venue":null,"work_id":"57d41a7e-d04b-4d08-97e1-2e35c4f54e8e","year":2022},"citing_paper":{"arxiv_id":"2501.00921","last_updated":"2025-01-01T18:40:05Z","snapshot_observed_at":"2026-08-20T11:09:26.069087Z","submitted_at":"2025-01-01T18:40:05Z","title":"Aligning Netlist to Source Code using SynAlign","version":1},"reference_index":54,"source":"pdf_text","source_observed_at":"2026-08-10T22:42:43.450657Z"},"links":{"citing_paper":"/paper/2501.00921"},"observation_digest":"sha256:01d1891ffe3bc0ad2491c8feec739c6364f2c9a64bd2e77a97cee2b56da6d9ab","observation_id":"372adb4b-f7d0-425d-b722-e390f0c51885","resolution":{"observed_at":"2026-08-10T22:42:43.508717Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-10T22:42:44.125188Z","title":null,"venue":null,"work_id":"52cc7011-f3fb-431c-b101-7d5bcf9b1ade","year":2022},"citing_paper":{"arxiv_id":"2501.00921","last_updated":"2025-01-01T18:40:05Z","snapshot_observed_at":"2026-08-20T11:09:26.069087Z","submitted_at":"2025-01-01T18:40:05Z","title":"Aligning Netlist to Source Code using SynAlign","version":1},"reference_index":2022,"source":"pdf_text","source_observed_at":"2026-08-10T22:42:43.273997Z"},"links":{"citing_paper":"/paper/2501.00921"},"observation_digest":"sha256:eae19695c7c429f93fd1625a47343a17cbcfbf4532eb12f203a1e2fd583b28aa","observation_id":"23399769-933e-4351-85fa-cc6e3a807205","resolution":{"observed_at":"2026-08-10T22:42:44.128915Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"2501.00921","last_updated":"2025-01-01T18:40:05Z","latest_version":1,"primary_category":"cs.AR","snapshot_observed_at":"2026-08-20T11:09:26.069087Z","submitted_at":"2025-01-01T18:40:05Z","title":"Aligning Netlist to Source Code using SynAlign"},"reference_resolution":{"displayed":55,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":2,"verified_exact":1,"verified_fuzzy":52},"total_outbound_references":55},"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-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"thesis":"As of 20 August 2026, this Paper Citation Record lists 55 of 55 outbound references and 0 inbound Pith citation observations for arXiv:2501.00921."}