{"as_of":"2026-08-16T21:03:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:979deb0e6a560a72d9114ea1e248449eaacb79b463a079f36834ad6764b404ed","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-16T06:30:59.297886+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-12T06:38:06.043630Z","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:bd38f01d1f392281f4ada81268c4647ce7b2e7cce6caa5afeadbff16a6b73077","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-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-12T06:38:06.043630Z","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:98096fcd877138edd6f68aaafef0b38698dc7c31aea0afe2295aeb6f690d86c3","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-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-12T06:38:06.043630Z","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:da7e153df54c035ce254a3f132fd574a7c2d91c2927223b3550611d1b65ff72c","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-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-12T06:38:06.043630Z","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:a30aa621eae42e68de35795331a13bd861e457096d5f59fc4d986584831e4d0c","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-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-12T06:38:06.043630Z","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:eff4a3843f957466fd6841b220f8eaaf8812c0b7f0b443066e5e566748054ca5","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-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-12T06:38:06.043630Z","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:d6f0733aa941821b72bfd2da33b80249550a2c0f43752ecaba7f9fd7449e6c7e","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-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-12T06:38:06.043630Z","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:e5009a7542683dc16838056012de8b7c5c10ea08c50897cade6a5b196897bdbd","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-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-12T06:38:06.043630Z","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:5357999ed2790992c90fbc05dedc6b0fbc55d6a4f34b54e8c4024a6a8fc46113","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-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-12T06:38:06.043630Z","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:19f70e90abe5b80382d60d2c5e526a7b11290450ba199481afc7be049efaadc2","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-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-12T06:38:06.043630Z","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:97e2064fe9338ff9df1f95a7a790ad48979a500aca448eeb025b108123182828","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-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-12T06:38:06.043630Z","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:2cf4446f5f358278ba1d5532d2098a7b8a21a05eed2c889277f5e11b7701531d","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-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-12T06:38:06.043630Z","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:1c4bd27c289d9695b81e463fb183af4fe0d52ffdb6107f5b19552fbc1f8afd90","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-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-12T06:38:06.043630Z","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:84c5a00bbb82a02e1d43cfd996652aa458ada927b2eab151e884b7b46c754caf","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-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-12T06:38:06.043630Z","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:60cab01d94a172ed3761f46619fa7363cdc2b46e20385ee05e57032e6247383f","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-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-12T06:38:06.043630Z","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:1366b969d2bc2edb4caa7518d0b60706f57f466b29e97fe9ebad4571d4759785","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-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-12T06:38:06.043630Z","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:ceb787910f22274bcb49e41746271de401f44cc27d9c92c0ab886cff4896f06f","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-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-12T06:38:06.043630Z","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:9a65c056ea680d1b3d8127a3cce64ebf58eda6b334fef4eaec2ec65ec574c320","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-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-12T06:38:06.043630Z","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:8244f75382a117bd88e981fbbf1721f3222695d6778547662d10cf788b658b70","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-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-12T06:38:06.043630Z","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:6cb4c3cfb95dc880edb43568eeea3889eee8660b466f91d891592b9bf3d77c14","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-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-12T06:38:06.043630Z","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:d7bf315b26fa347b0bb0b9b17bc2fd3a9f4f195052b050f2bb17b1ac8ce01d1d","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-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-12T06:38:06.043630Z","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:1898d6e89e81b31c2f25662d0dae04ad5abd92ad39d8e1ececdb4dc51d5c7741","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-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-12T06:38:06.043630Z","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:53c532924ca2d5d49651ee37d3782df70d3e571a382f39538a8999292791a7f7","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-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-12T06:38:06.043630Z","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:fd79df47d0284c7033613af8cffb95cb9f18bdccd40f9f61dc1a690df6e69a0a","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-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-12T06:38:06.043630Z","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:79ebf95cfa2f1dcc9b9851ec91ec0bb329b2f1eae40405c0d9e23115b2ff8184","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-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-12T06:38:06.043630Z","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:0373d997c71b3a1bc7b804929de1f7de2c74a3301bfe8fd806f99ba10579b682","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-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-12T06:38:06.043630Z","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:53bba6ee8d2f5da16ac1dadd5a036e9c3b367afb8040033f86794e9b5373ccfa","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-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-12T06:38:06.043630Z","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:753557558b878b323d66ac8921848df7bbc048726338694dc8db71e7d02841a4","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-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-12T06:38:06.043630Z","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:cca8aaca12add07d66b7cb226fb39bb976d05fdf508c8c0f1c87c614d4be23aa","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-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-12T06:38:06.043630Z","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:e2f4721c584b72a51badbaa0117adcb93e96240c47fb26868600ae2a182e5e79","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-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-12T06:38:06.043630Z","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:6691925e18504a2b1797b07149b9c291fb5ba5e3c79ec5950ead66f9cf6f228c","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-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-12T06:38:06.043630Z","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:855de6ce7fe7a8433fb8372477a4105a6f8827d3e8743b21061be9a91b005dea","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-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-12T06:38:06.043630Z","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:8e20d671a9424656603c6e1797e16aa70be5ce02160765d42c7efff4e8946c8e","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-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-12T06:38:06.043630Z","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:893d02f654de0f318e42d489cdb1ce76a6ec57533e1ce38694fe9cbc57e52ca3","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-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-12T06:38:06.043630Z","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:8569428b9104b1fbf0f7e8c4758796ee8b07009e960061fa15c67175b1872202","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-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-12T06:38:06.043630Z","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:872a256d60b58ff60c603ba7121ec0415386d198ece53e33655552a6d6ead727","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-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-12T06:38:06.043630Z","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:fa5e5262208ccc757ff2df2df47d2062745c6fd019460b0da90b0c54430a6aa9","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-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-12T06:38:06.043630Z","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:92037edb07f37dc30702494c0851967378dd272694cbba260e5c96c4c3cdadd9","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-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-12T06:38:06.043630Z","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:ebd68572820244176ddd8a0e8dc134493d6a4d7fe5444bf0524221ee021a9395","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-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-12T06:38:06.043630Z","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:ef39d89209dd45ffe8fcaf1076f0970eff6bd119fdc4b8ce5c82db63dc8b4fb3","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-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-12T06:38:06.043630Z","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:7f09d39a7fe7fd0bdd87a2270b169bc8d399f27a0f6e7eddeaa5bb54d2a76b84","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-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-12T06:38:06.043630Z","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:450a90c260c77b71b88a7d92454364b8f95e1dd963663df640595235d90b1949","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-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-12T06:38:06.043630Z","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:b6ef015732d1ae57663afb3dcfe7bce407cbae845e48f685c0ce3447345610ee","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-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-12T06:38:06.043630Z","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:82a76e9bf53bbf9512d6bb145ff890851ac1679c6f5e2bbcd70689f7b480903c","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-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-12T06:38:06.043630Z","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:ea40a0f7582294c98b81f5d562c4c3aef86afa7742fbee1278a06b6f1f7e42b8","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-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-16T14:04:48.888493Z","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-12T06:38:06.043630Z","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:bd0771de0e6f80044b2a840d9f80e148b0b02233432c2a9d7e40e1c5da2c617f","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-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-12T06:38:06.043630Z","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:205644cb8da8259010a2c7e38229956bcba63c350fc28a987e2d7d6feeb4538f","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-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-12T06:38:06.043630Z","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:09c883a9590fd823a676c47d435e4e0dbcd9371c9574790729677d4d1085b738","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-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-12T06:38:06.043630Z","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:d07ddfb8676499002e73c66326ea86e01f2977f7685d0a3f944e9c20de817e5d","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-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-12T06:38:06.043630Z","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:49bbcb0e5f955eb25d865276e830396820b065fad476914d1b1126144bd62fbc","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-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-12T06:38:06.043630Z","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:da5e9652cc3751b38b1f9f5051e5ddaa946e7175bd6d99ff3ceabdb8abdaca4f","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-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-12T06:38:06.043630Z","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:23f0b35805e2c70854354d669ba7c5effd867d938c370e4f44d03aab5021d223","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-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-12T06:38:06.043630Z","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:6505c17d3b6fbfc558da271828614131b9535e0b0e94f78ffe49bbc27790bc72","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-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-12T06:38:06.043630Z","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:0d5bac281b297cdff36207d48bca8cff1497fa08b4d8a1bf1e0f7cab7749701f","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-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-12T06:38:06.043630Z","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:0f84637dfd371ffec16fdd9c91eed8fe9224240167a44d96c629a39f10700058","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-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-12T06:38:06.043630Z","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:fc6bc946021eceeebfefc0286083e82fdf1346645c6aa809d0dc0a431f2e53e1","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-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-12T06:38:06.043630Z","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-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"thesis":"As of 16 August 2026, this Paper Citation Record lists 55 of 55 outbound references and 0 inbound Pith citation observations for arXiv:2501.00921."}