Typed states for the displayed outbound observations.
Source: paper_references, paper_reference_links, observed 2026-08-10T22:42:43.450657Z
Paper Citation Record · LEDGER
Aligning Netlist to Source Code using SynAlign
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.
A citation records a reference. It does not transfer a finding from one paper to another.
Coverage vector
One-hop event checks from named stored sources.
Source: scholarly_work_events, retraction_status_cache, observed 2026-08-20T06:33:59.587034+00:00
Pith citing papers itemized under the disclosed page cap.
Source: paper_references, paper_reference_links
A source-named dated measurement, never combined with another source.
Source: cited_works
Reference resolution
55 of 55 outbound references displayed
- verified exact1
- verified fuzzy52
- unresolved2
- parse uncertain0
- malformed identifier0
- metadata mismatch0
External citation measurements
No source-named external measurement is stored.
Outbound references
Observation d096cbfb-43ae-45d1-98c5-4857e45dcaf9 · outbound
This paper cites https://www.chisel-lang.
Aligning Netlist to Source Code using SynAlign https://www.chisel-lang
Reference 1
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-10T22:42:44.325697Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation fbfdfd27-73c2-4e8b-906d-dae8accc8247 · outbound
This paper cites https://docs.google.com/ document/d/1fOSRdyZR2w75D87yU2Ma9h2-_lEPL4NxvhJGJd- s5pk/edit#heading=h.56zyi32ygm3b.
Aligning Netlist to Source Code using SynAlign https://docs.google.com/ document/d/1fOSRdyZR2w75D87yU2Ma9h2-_lEPL4NxvhJGJd- s5pk/edit#heading=h.56zyi32ygm3b
Reference 2
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-10T22:42:44.313481Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation 3bc11ec9-ea3c-4615-a239-6ed04857f6a6 · outbound
This paper cites https://docs.google.com/ document/d/1fOSRdyZR2w75D87yU2Ma9h2-_lEPL4NxvhJGJd- s5pk/edit#heading=h.awos2k698n33.
Aligning Netlist to Source Code using SynAlign https://docs.google.com/ document/d/1fOSRdyZR2w75D87yU2Ma9h2-_lEPL4NxvhJGJd- s5pk/edit#heading=h.awos2k698n33
Reference 3
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-10T22:42:44.301028Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation 41411bd9-ea81-4706-aabf-27b31e32c87b · outbound
This paper cites https://clang.llvm.org/doxygen/ group__CINDEX__LOCATIONS.html#details.
Aligning Netlist to Source Code using SynAlign https://clang.llvm.org/doxygen/ group__CINDEX__LOCATIONS.html#details
Reference 4
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-10T22:42:44.288039Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation 7d2fb38d-0d74-4452-b8a2-fd4912360594 · outbound
This paper cites https://github.com/ chipsalliance/rocket-chip?tab=readme-ov-file#building-the-project.
Aligning Netlist to Source Code using SynAlign https://github.com/ chipsalliance/rocket-chip?tab=readme-ov-file#building-the-project
Reference 5
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-10T22:42:44.274381Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation 41ff94bd-ec6e-43eb-8c80-dbaadde20b90 · outbound
This paper cites https://llvm.org/docs/ HowToUpdateDebugInfo.html#when-to-drop-an-instruction- location.
Aligning Netlist to Source Code using SynAlign https://llvm.org/docs/ HowToUpdateDebugInfo.html#when-to-drop-an-instruction- location
Reference 6
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-10T22:42:44.260163Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation 697e5652-df59-4d86-ac63-3ac66cf94acf · outbound
This paper cites https://llvm.org/docs/ HowToUpdateDebugInfo.html.
Aligning Netlist to Source Code using SynAlign https://llvm.org/docs/ HowToUpdateDebugInfo.html
Reference 7
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-10T22:42:44.247115Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation 3f7cc105-3c4a-4833-b5b7-b6c958674c49 · outbound
This paper cites https://google.
Aligning Netlist to Source Code using SynAlign https://google
Reference 8
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-10T22:42:44.234144Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation 32fb63cc-6be4-48c6-b315-cad59f8e8840 · outbound
This paper cites https://github.com/nturley/netlistsvg.
Aligning Netlist to Source Code using SynAlign https://github.com/nturley/netlistsvg
Reference 9
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-10T22:42:44.220941Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation 5e2285da-3416-4e83-8e96-dddcaf9addfb · outbound
This paper cites https://web.open-source-silicon.dev/t/442348/has-anyone- tried-using-the-keep-synthesis-attribute-is-follo.
Aligning Netlist to Source Code using SynAlign https://web.open-source-silicon.dev/t/442348/has-anyone- tried-using-the-keep-synthesis-attribute-is-follo
Reference 10
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-10T22:42:44.207777Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation 049ebe84-fda2-4929-b91b-80f669af0ac7 · outbound
This paper cites https://llvm.org/docs/SourceLevelDebugging.html.
Aligning Netlist to Source Code using SynAlign https://llvm.org/docs/SourceLevelDebugging.html
Reference 11
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-10T22:42:44.194504Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation e1753030-ef89-494b-ab37-7e683aab8837 · outbound
This paper cites https://www.synopsys.com/verification/debug/verdi.html.
Aligning Netlist to Source Code using SynAlign https://www.synopsys.com/verification/debug/verdi.html
Reference 12
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-10T22:42:44.180942Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation 6a41b7a8-06a3-430f-af6a-231781fe8c60 · outbound
This paper cites https://discourse.llvm.org/t/get-source-location-details-from-ir- code-function-pass/57372 , Jan 2021.
Aligning Netlist to Source Code using SynAlign https://discourse.llvm.org/t/get-source-location-details-from-ir- code-function-pass/57372 , Jan 2021
Reference 13
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-10T22:42:44.167481Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation 92290fe8-1e61-4666-9bc4-b0caf3bbe1ec · outbound
This paper cites https://github.com/google/xls, 2021.
Aligning Netlist to Source Code using SynAlign https://github.com/google/xls, 2021
Reference 14
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-10T22:42:44.154550Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation 6003cc59-e87a-48cc-8026-e6b626c43598 · outbound
This paper cites https://github.com/llvm/circt,.
Aligning Netlist to Source Code using SynAlign https://github.com/llvm/circt,
Reference 15
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-10T22:42:44.142256Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation 896ec7bf-b04f-41f3-ab9d-70aeab8b717a · outbound
This paper cites Patterson, Brian Richards, Colin Schmidt, Stephen Twigg, Huy Vo, and Andrew Water- man.
Aligning Netlist to Source Code using SynAlign Patterson, Brian Richards, Colin Schmidt, Stephen Twigg, Huy Vo, and Andrew Water- man
Reference 16
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-10T22:42:44.116257Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation 3f2535d6-9d37-424a-ba26-114199f4b905 · outbound
This paper cites Chisel: constructing hardware in a scala embedded language.
Aligning Netlist to Source Code using SynAlign Chisel: constructing hardware in a scala embedded language
Reference 17
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-10T22:42:44.102987Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation 5c5e0559-bb3b-4897-98e6-bd69fed2bc67 · outbound
This paper cites Balogh, G.R.
Aligning Netlist to Source Code using SynAlign Balogh, G.R
Reference 18
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-10T22:42:44.089968Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation 93c49745-a304-42cb-8264-031f4b02c347 · outbound
This paper cites Message- passing algorithms for sparse network alignment.
Aligning Netlist to Source Code using SynAlign Message- passing algorithms for sparse network alignment
Reference 19
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-10T22:42:44.076832Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation 1f9e2011-ae65-4d9a-b317-4e1fa06bdceb · outbound
This paper cites Utils: add source locators by mwachs5 · pull request 2496 · chipsalliance/chisel.
Aligning Netlist to Source Code using SynAlign Utils: add source locators by mwachs5 · pull request 2496 · chipsalliance/chisel
Reference 20
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-10T22:42:44.063963Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation 6a13df90-0159-4813-9ccc-0b3636492e84 · outbound
This paper cites Source information via macros, rfc · issue 147 · chip- salliance/chisel.
Aligning Netlist to Source Code using SynAlign Source information via macros, rfc · issue 147 · chip- salliance/chisel
Reference 21
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-10T22:42:44.050306Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation a442ac64-abab-4d28-8a27-dc9f4ac8755d · outbound
This paper cites Case study: Soc performance verification and static verification of rtl parameters.
Aligning Netlist to Source Code using SynAlign Case study: Soc performance verification and static verification of rtl parameters
Reference 22
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-10T22:42:44.037168Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation b6e7393b-6205-4944-ba0a-8e342e035ecf · outbound
This paper cites Timothy Edwards, Russell Friesenhahn, matt venn, Amr A.
Aligning Netlist to Source Code using SynAlign Timothy Edwards, Russell Friesenhahn, matt venn, Amr A
Reference 23
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-10T22:42:44.023502Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation 93e50fdb-9aa7-4b2c-bae3-9bd2fc8468a9 · outbound
This paper cites Refining network alignment to improve matched neighborhood con- sistency.
Aligning Netlist to Source Code using SynAlign Refining network alignment to improve matched neighborhood con- sistency
Reference 24
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-10T22:42:44.009722Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation 352bbb21-63ec-48a8-9cd0-6a3bbff723e9 · outbound
This paper cites Regal: Representation learning-based graph alignment.
Aligning Netlist to Source Code using SynAlign Regal: Representation learning-based graph alignment
Reference 25
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-10T22:42:43.996415Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation 4edcfb1b-a7db-4f63-a461-563662668365 · outbound
This paper cites an unresolved cited work.
Aligning Netlist to Source Code using SynAlign Unresolved cited work
Reference 26
- Resolution
- unresolved
- raw_fallback, observed 2026-08-10T22:42:43.982933Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation f94a6ecb-9bc6-4f38-b07d-37f3117ae00e · outbound
This paper cites dinocpu/cpu.scala (pipelinedcpu) at main · jlpteach- ing/dinocpu.
Aligning Netlist to Source Code using SynAlign dinocpu/cpu.scala (pipelinedcpu) at main · jlpteach- ing/dinocpu
Reference 27
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-10T22:42:43.969714Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation 0888a2df-6857-4409-86e2-d1157a412313 · outbound
This paper cites dinocpu/cpu.scala (singlecyclecpu) at main · jlpteach- ing/dinocpu.
Aligning Netlist to Source Code using SynAlign dinocpu/cpu.scala (singlecyclecpu) at main · jlpteach- ing/dinocpu
Reference 28
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-10T22:42:43.956725Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation 3b22dad1-e275-41ce-afc1-69054bc6648d · outbound
This paper cites Network alignment: Theory, algorithms, and applica- tions.
Aligning Netlist to Source Code using SynAlign Network alignment: Theory, algorithms, and applica- tions
Reference 29
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-10T22:42:43.943813Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation 1652b2eb-9739-45ce-8a95-f2abd104940a · outbound
This paper cites The graph isomor- phism problem: its structural complexity.
Aligning Netlist to Source Code using SynAlign The graph isomor- phism problem: its structural complexity
Reference 30
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-10T22:42:43.930783Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation 01d6ae28-b4ed-4f3d-9cd7-9095652b65ed · outbound
This paper cites Release chisel v3.5.0 · chipsalliance/chisel.
Aligning Netlist to Source Code using SynAlign Release chisel v3.5.0 · chipsalliance/chisel
Reference 31
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-10T22:42:43.917848Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation 4cd3b1d5-90cc-4199-8b06-bdc8dba49949 · outbound
This paper cites Release chisel v3.5.5 · chipsalliance/chisel.
Aligning Netlist to Source Code using SynAlign Release chisel v3.5.5 · chipsalliance/chisel
Reference 32
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-10T22:42:43.904580Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation 3b174091-7ad6-4705-ad3c-d07eefd30d8f · outbound
This paper cites Release chisel v3.6.0-m1 · chipsalliance/chisel.
Aligning Netlist to Source Code using SynAlign Release chisel v3.6.0-m1 · chipsalliance/chisel
Reference 33
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-10T22:42:43.891055Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation d2da2e76-5454-4799-b28d-ff1a9b567e91 · outbound
This paper cites Release chisel v3.6.0-m2 · chipsalliance/chisel.
Aligning Netlist to Source Code using SynAlign Release chisel v3.6.0-m2 · chipsalliance/chisel
Reference 34
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-10T22:42:43.877879Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation 97f3e356-3a21-4c21-b094-37c880a86967 · outbound
This paper cites Aligning users across social networks using network embedding.
Aligning Netlist to Source Code using SynAlign Aligning users across social networks using network embedding
Reference 35
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-10T22:42:43.864511Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation 0f5b190c-8438-4d88-813b-e93e2cc6017c · outbound
This paper cites Design and Application of a Co-Simulation Framework for Chisel.
Aligning Netlist to Source Code using SynAlign Design and Application of a Co-Simulation Framework for Chisel
Reference 36
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-10T22:42:43.851066Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation bab7292c-c0e2-4516-8c8c-cadbc1748b4d · outbound
This paper cites Reset logic verification of an iod at system on chip level using gatesim.
Aligning Netlist to Source Code using SynAlign Reset logic verification of an iod at system on chip level using gatesim
Reference 37
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-10T22:42:43.731201Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation ea40f177-f1ff-4a80-9d66-bd0d0b1260b5 · outbound
This paper cites Understanding logic equivalence check (lec) flow and its challenges, and proposed solution.
Aligning Netlist to Source Code using SynAlign Understanding logic equivalence check (lec) flow and its challenges, and proposed solution
Reference 38
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-10T22:42:43.718249Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation a27bb849-a985-4d1c-b396-5f70ccc07e70 · outbound
This paper cites Timothy Edwards, Amr A.
Aligning Netlist to Source Code using SynAlign Timothy Edwards, Amr A
Reference 39
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-10T22:42:43.704123Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation 2ca83e92-b5d7-4a96-b08f-dda8c282bc6b · outbound
This paper cites Equivalence checking of retimed circuits.
Aligning Netlist to Source Code using SynAlign Equivalence checking of retimed circuits
Reference 40
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-10T22:42:43.688863Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation 128b106d-8438-4bdd-9658-b8f8434286cf · outbound
This paper cites Equality saturation theory exploration à la carte.
Aligning Netlist to Source Code using SynAlign Equality saturation theory exploration à la carte
Reference 41
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-10T22:42:43.674845Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation 285e1a63-dfda-4b71-a2af-71b1ecfdc3e8 · outbound
This paper cites Verilog HDL: a guide to digital design and synthesis , volume 1.
Aligning Netlist to Source Code using SynAlign Verilog HDL: a guide to digital design and synthesis , volume 1
Reference 42
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-10T22:42:43.660914Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation 5b0eeca0-8244-47d3-a7ef-fc33769fd3cd · outbound
This paper cites A Guide on Logical Equivalence Checking - Flow, Challenges, and Bene- fits.
Aligning Netlist to Source Code using SynAlign A Guide on Logical Equivalence Checking - Flow, Challenges, and Bene- fits
Reference 43
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-10T22:42:43.647429Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation 9cf5f2ce-26a1-41b1-afc6-6301fc7e8368 · outbound
This paper cites Timothy Edwards, Russell Friesenhahn, Johan Eu- phrosine, Amr A.
Aligning Netlist to Source Code using SynAlign Timothy Edwards, Russell Friesenhahn, Johan Eu- phrosine, Amr A
Reference 44
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-10T22:42:43.633074Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation 381c2eef-dca3-4e40-aeea-fa3e6ee1fde2 · outbound
This paper cites There and Back Again: A Netlist's Tale with Much Egraphin'.
Aligning Netlist to Source Code using SynAlign There and Back Again: A Netlist's Tale with Much Egraphin'
Reference 45
- Resolution
- verified exact
- local_arxiv, observed 2026-08-10T22:42:43.493495Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation 34db841a-340a-4ddb-ae5a-482f87467c57 · outbound
This paper cites Design Compiler User Guide.
Aligning Netlist to Source Code using SynAlign Design Compiler User Guide
Reference 46
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-10T22:42:43.619241Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation dd296cac-5727-4d10-bae1-1d14c0c2bc69 · outbound
This paper cites Primetime static timing analysis.https://www.synopsys.
Aligning Netlist to Source Code using SynAlign Primetime static timing analysis.https://www.synopsys
Reference 47
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-10T22:42:43.605999Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation 8d0273fb-116e-4838-a6b3-516a997b41f0 · outbound
This paper cites The Verilog® hardware description language.
Aligning Netlist to Source Code using SynAlign The Verilog® hardware description language
Reference 48
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-10T22:42:43.592357Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation 090d4944-7a07-4fd2-aeb2-e3b8d165e039 · outbound
This paper cites LiveHD: A Productive Live Hardware Development Flow.
Aligning Netlist to Source Code using SynAlign LiveHD: A Productive Live Hardware Development Flow
Reference 49
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-10T22:42:43.578577Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation 67ec8cff-d6d1-4f7e-b6e1-baf939c64908 · outbound
This paper cites Yosys manual.
Aligning Netlist to Source Code using SynAlign Yosys manual
Reference 50
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-10T22:42:43.564295Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation e6a33ea7-aeef-4aca-9e65-7f455e9168cb · outbound
This paper cites Yosys Open SYnthesis Suite.
Aligning Netlist to Source Code using SynAlign Yosys Open SYnthesis Suite
Reference 51
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-10T22:42:43.550531Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation a056b89e-7388-4f31-92a3-b31803e86c09 · outbound
This paper cites Graph isomorphism problem.
Aligning Netlist to Source Code using SynAlign Graph isomorphism problem
Reference 52
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-10T22:42:43.537281Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation b5968cd4-074d-4f97-a944-0041eb9c8bd2 · outbound
This paper cites Final: Fast attributed network align- ment.
Aligning Netlist to Source Code using SynAlign Final: Fast attributed network align- ment
Reference 53
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-10T22:42:43.522892Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation 372adb4b-f7d0-425d-b722-e390f0c51885 · outbound
This paper cites Caper: Coarsen, align, project, refine-a general multilevel framework for network alignment.
Aligning Netlist to Source Code using SynAlign Caper: Coarsen, align, project, refine-a general multilevel framework for network alignment
Reference 54
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-10T22:42:43.508717Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation 23399769-933e-4351-85fa-cc6e3a807205 · outbound
This paper cites an unresolved cited work.
Aligning Netlist to Source Code using SynAlign Unresolved cited work
Reference 2022
- Resolution
- unresolved
- raw_fallback, observed 2026-08-10T22:42:44.128915Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Pith citing papers
No inbound Pith citation observations are available.