Accelerating Hardware Verification with Graph Models | Paper Citation Record

Observation bc5eda2b-1f0e-43a6-8891-6426a227d3d4 · outbound

This paper cites Work- flow design and management for IC supply chain,.

Accelerating Hardware Verification with Graph Models Work- flow design and management for IC supply chain,

Reference 1

Resolution: unresolved; no resolver link, observed 2026-08-11T13:16:01.862588Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5f0e6a32-aaf9-47f3-99e5-f77f1447b67e · outbound

This paper cites Apple iPhone 15 Pro Teardown,.

Accelerating Hardware Verification with Graph Models Apple iPhone 15 Pro Teardown,

Reference 2

Resolution: unresolved; no resolver link, observed 2026-08-11T13:16:01.867484Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0c928acf-1d26-45d4-b4b8-9f9e3ba05c0b · outbound

This paper cites Broadpwn: Remotely compromising android and iOS via a bug in broadcom’s Wi-Fi chipsets,.

Accelerating Hardware Verification with Graph Models Broadpwn: Remotely compromising android and iOS via a bug in broadcom’s Wi-Fi chipsets,

Reference 3

Resolution: unresolved; no resolver link, observed 2026-08-11T13:16:01.871762Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0f5bf802-d6ca-46ee-a55b-0f660808c39a · outbound

This paper cites Silicon demonstration of hardware trojan design and detection in wireless cryptographic ICs,.

Accelerating Hardware Verification with Graph Models Silicon demonstration of hardware trojan design and detection in wireless cryptographic ICs,

Reference 4

Resolution: unresolved; no resolver link, observed 2026-08-11T13:16:01.876496Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 76294781-25d5-46b3-a085-6e235efdb2fb · outbound

This paper cites Meltdown: Reading kernel memory from user space,.

Accelerating Hardware Verification with Graph Models Meltdown: Reading kernel memory from user space,

Reference 5

Resolution: unresolved; no resolver link, observed 2026-08-11T13:16:01.881725Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation de590d2a-4f59-4370-8646-fb4ad42ec2a6 · outbound

This paper cites Spectre attacks: Exploiting speculative execution,.

Accelerating Hardware Verification with Graph Models Spectre attacks: Exploiting speculative execution,

Reference 6

Resolution: unresolved; no resolver link, observed 2026-08-11T13:16:01.887010Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9a5acbe4-e78b-4a60-99b8-e2616de7ae1f · outbound

This paper cites Foreshadow: Extracting the keys to the intel SGX kingdom with transient Out-of- Order execution,.

Accelerating Hardware Verification with Graph Models Foreshadow: Extracting the keys to the intel SGX kingdom with transient Out-of- Order execution,

Reference 7

Resolution: unresolved; no resolver link, observed 2026-08-11T13:16:01.891963Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9c64f1ac-0df0-41bd-b2af-2467de9bacd4 · outbound

This paper cites Zombieload: Cross-privilege-boundary data sampling,.

Accelerating Hardware Verification with Graph Models Zombieload: Cross-privilege-boundary data sampling,

Reference 8

Resolution: unresolved; no resolver link, observed 2026-08-11T13:16:01.896105Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 146e115b-ddd3-4333-ac77-4b6aec9e28c3 · outbound

This paper cites Breaking kernel address space layout randomization with intel TSX,.

Accelerating Hardware Verification with Graph Models Breaking kernel address space layout randomization with intel TSX,

Reference 9

Resolution: unresolved; no resolver link, observed 2026-08-11T13:16:01.900191Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9a7a79a2-efa0-463b-85cf-f3ae15fa73d7 · outbound

This paper cites Xen security advisory 7 (CVE-2012-0217) - PV privi- lege escalation,.

Accelerating Hardware Verification with Graph Models Xen security advisory 7 (CVE-2012-0217) - PV privi- lege escalation,

Reference 10

Resolution: unresolved; no resolver link, observed 2026-08-11T13:16:01.904860Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 54dc26a5-0dac-4b7b-8521-493b1c54025e · outbound

This paper cites A survey and perspective on electronic design automation tools for ensuring soc security,.

Accelerating Hardware Verification with Graph Models A survey and perspective on electronic design automation tools for ensuring soc security,

Reference 11

Resolution: unresolved; no resolver link, observed 2026-08-11T13:16:01.909169Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c952adbb-13d3-4156-bb25-e1102aae12dd · outbound

This paper cites Self- checking performance verification methodology for complex SoCs,.

Accelerating Hardware Verification with Graph Models Self- checking performance verification methodology for complex SoCs,

Reference 12

Resolution: unresolved; no resolver link, observed 2026-08-11T13:16:01.913670Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d1bb044c-fd12-40f3-9555-7819af41ca8a · outbound

This paper cites Seamless SoC verification using virtual platforms: An industrial case study,.

Accelerating Hardware Verification with Graph Models Seamless SoC verification using virtual platforms: An industrial case study,

Reference 13

Resolution: unresolved; no resolver link, observed 2026-08-11T13:16:01.917953Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5e4444ed-7842-4697-94a8-df5a2ab310f7 · outbound

This paper cites SoC trust validation using assertion-based security monitors,.

Accelerating Hardware Verification with Graph Models SoC trust validation using assertion-based security monitors,

Reference 14

Resolution: unresolved; no resolver link, observed 2026-08-11T13:16:01.922227Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 62830899-d074-438b-98c4-cb46b2719b6d · outbound

This paper cites Accelerating SoC security verification and vulnerability detection through symbolic execution,.

Accelerating Hardware Verification with Graph Models Accelerating SoC security verification and vulnerability detection through symbolic execution,

Reference 15

Resolution: unresolved; no resolver link, observed 2026-08-11T13:16:01.926920Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9b3efcfc-5298-4f7e-83c5-9b7867a30f62 · outbound

This paper cites Pre-silicon DFT verification on SoC slim model,.

Accelerating Hardware Verification with Graph Models Pre-silicon DFT verification on SoC slim model,

Reference 16

Resolution: unresolved; no resolver link, observed 2026-08-11T13:16:01.931773Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e9e29064-c16c-40d4-bd81-3c6e63248f06 · outbound

This paper cites An 80-tile sub-100-w ter- aFLOPS processor in 65-nm CMOS,.

Accelerating Hardware Verification with Graph Models An 80-tile sub-100-w ter- aFLOPS processor in 65-nm CMOS,

Reference 17

Resolution: unresolved; no resolver link, observed 2026-08-11T13:16:01.935887Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 82e11cb1-2466-4e65-87c4-b2bb172f2d86 · outbound

This paper cites Rethink- ing watermark: Providing proof of IP ownership in modern SoCs,.

Accelerating Hardware Verification with Graph Models Rethink- ing watermark: Providing proof of IP ownership in modern SoCs,

Reference 18

Resolution: unresolved; no resolver link, observed 2026-08-11T13:16:01.939958Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7f638bb9-16be-4d28-ad14-a4eb7aa5bad4 · outbound

This paper cites From cryptography to logic locking: A survey on the architecture evolution of secure scan chains,.

Accelerating Hardware Verification with Graph Models From cryptography to logic locking: A survey on the architecture evolution of secure scan chains,

Reference 19

Resolution: unresolved; no resolver link, observed 2026-08-11T13:16:01.943906Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 153a8557-6ee6-45d6-979f-1d97fe822454 · outbound

This paper cites Forte, S.

Accelerating Hardware Verification with Graph Models Forte, S

Reference 20

Resolution: unresolved; no resolver link, observed 2026-08-11T13:16:01.948021Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ec812bf6-47af-448e-b9c7-17f0b0248013 · outbound

This paper cites Security analysis of integrated circuit camouflaging,.

Accelerating Hardware Verification with Graph Models Security analysis of integrated circuit camouflaging,

Reference 21

Resolution: unresolved; no resolver link, observed 2026-08-11T13:16:01.952728Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c9968363-706b-4aa7-b9fe-6fa724c98173 · outbound

This paper cites Property learning techniques for efficient generation of directed tests,.

Accelerating Hardware Verification with Graph Models Property learning techniques for efficient generation of directed tests,

Reference 22

Resolution: unresolved; no resolver link, observed 2026-08-11T13:16:01.956836Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 87bb373d-bb01-4375-bea7-a45b3a2cd24c · outbound

This paper cites Hardware verification us- ing software analyzers,.

Accelerating Hardware Verification with Graph Models Hardware verification us- ing software analyzers,

Reference 23

Resolution: unresolved; no resolver link, observed 2026-08-11T13:16:01.960989Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation bb12dec4-86c6-4c0f-8a88-2b8d6fb01e33 · outbound

This paper cites Hardfails: Insights into software-exploitable hardware bugs,.

Accelerating Hardware Verification with Graph Models Hardfails: Insights into software-exploitable hardware bugs,

Reference 24

Resolution: unresolved; no resolver link, observed 2026-08-11T13:16:01.965227Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7cbc2935-4d8e-4c63-9304-f899a3c14c03 · outbound

This paper cites Phoenix: Detecting and recovering from permanent processor design bugs with programmable hardware,.

Accelerating Hardware Verification with Graph Models Phoenix: Detecting and recovering from permanent processor design bugs with programmable hardware,

Reference 25

Resolution: unresolved; no resolver link, observed 2026-08-11T13:16:01.969009Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9788507f-115e-4fd6-9c4b-3e08e2b049c6 · outbound

This paper cites Engineering trust with semantic guardians,.

Accelerating Hardware Verification with Graph Models Engineering trust with semantic guardians,

Reference 26

Resolution: unresolved; no resolver link, observed 2026-08-11T13:16:01.972654Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4f282f22-fc26-44d6-8ec6-89db9a4fed1a · outbound

This paper cites Tightly integrate dynamic verification with formal verification: a GSTE based approach,.

Accelerating Hardware Verification with Graph Models Tightly integrate dynamic verification with formal verification: a GSTE based approach,

Reference 27

Resolution: unresolved; no resolver link, observed 2026-08-11T13:16:01.976853Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1115b1a3-160c-41bd-8ea8-dd45cac8529a · outbound

This paper cites Transaction level stim- ulus optimization in functional verification using machine learning predictors,.

Accelerating Hardware Verification with Graph Models Transaction level stim- ulus optimization in functional verification using machine learning predictors,

Reference 28

Resolution: unresolved; no resolver link, observed 2026-08-11T13:16:01.980789Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 23dbb189-90ce-4382-9320-caf58b8c6858 · outbound

This paper cites Increasing the efficiency of simulation-based functional verification through unsuper- vised support vector analysis,.

Accelerating Hardware Verification with Graph Models Increasing the efficiency of simulation-based functional verification through unsuper- vised support vector analysis,

Reference 29

Resolution: unresolved; no resolver link, observed 2026-08-11T13:16:01.984312Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5a150f2a-8bda-4edb-a556-e3251cfa4ab9 · outbound

This paper cites Questa advanced verification,.

Accelerating Hardware Verification with Graph Models Questa advanced verification,

Reference 30

Resolution: unresolved; no resolver link, observed 2026-08-11T13:16:01.988201Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b2229da4-4e15-4734-9ac4-e4e832f026ff · outbound

This paper cites Symbiyosys documentation,.

Accelerating Hardware Verification with Graph Models Symbiyosys documentation,

Reference 31

Resolution: unresolved; no resolver link, observed 2026-08-11T13:16:01.991872Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7c3299ff-6f27-4bdc-88a6-d3b20659f9d1 · outbound

This paper cites of California Berkley, “ABC,” last Accessed : 6/1/2024.

Accelerating Hardware Verification with Graph Models of California Berkley, “ABC,” last Accessed : 6/1/2024

Reference 32

Resolution: unresolved; no resolver link, observed 2026-08-11T13:16:01.995607Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 485263d6-549d-4571-85ac-c783d0d0a042 · outbound

This paper cites Smt attack: Next generation attack on obfuscated circuits with capabilities and performance beyond the sat attacks,.

Accelerating Hardware Verification with Graph Models Smt attack: Next generation attack on obfuscated circuits with capabilities and performance beyond the sat attacks,

Reference 33

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T13:16:03.538629Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation 8dc86596-7e9a-41f2-8a28-2bf81cc3107a · outbound

This paper cites Nngsat: Neural network guided sat attack on logic locked complex structures,.

Accelerating Hardware Verification with Graph Models Nngsat: Neural network guided sat attack on logic locked complex structures,

Reference 34

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T13:16:03.524994Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation 81240182-84c0-4a99-a2db-091d1cbbc148 · outbound

This paper cites Warm up before circuit de-obfuscation? an exploration through bounded- model-checkers,.

Accelerating Hardware Verification with Graph Models Warm up before circuit de-obfuscation? an exploration through bounded- model-checkers,

Reference 35

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T13:16:03.511979Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation 742ccaf9-96a2-4879-9dad-39bf8325e4b1 · outbound

This paper cites Towards prop- erty driven hardware security,.

Accelerating Hardware Verification with Graph Models Towards prop- erty driven hardware security,

Reference 36

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T13:16:03.498824Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation ab57ff94-8c16-4035-b24a-04be4adf76f1 · outbound

This paper cites Enforcing information flow guarantees in reconfigurable systems with mix-trusted ip,.

Accelerating Hardware Verification with Graph Models Enforcing information flow guarantees in reconfigurable systems with mix-trusted ip,

Reference 37

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T13:16:03.485487Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation 682ff4d7-d793-4bf7-846d-746334b8669a · outbound

This paper cites Gate level information flow analysis for multi-valued logic system,.

Accelerating Hardware Verification with Graph Models Gate level information flow analysis for multi-valued logic system,

Reference 38

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T13:16:03.472987Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation 5d8a7d75-e551-4d8d-aaad-f47c025af993 · outbound

This paper cites Ac- celerating coverage directed test generation for functional verification: A neural network-based framework,.

Accelerating Hardware Verification with Graph Models Ac- celerating coverage directed test generation for functional verification: A neural network-based framework,

Reference 39

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T13:16:03.460130Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation 3ef3d215-c0d5-4988-8c92-5aab4439d913 · outbound

This paper cites Crafting a usable micro- kernel, processor, and I/O system with strict and provable information flow security,.

Accelerating Hardware Verification with Graph Models Crafting a usable micro- kernel, processor, and I/O system with strict and provable information flow security,

Reference 40

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T13:16:03.446231Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation 79969948-9476-4a03-95d7-8e1a7c42aef8 · outbound

This paper cites Register transfer level information flow tracking for provably secure hardware design,.

Accelerating Hardware Verification with Graph Models Register transfer level information flow tracking for provably secure hardware design,

Reference 41

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T13:16:03.432628Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation 35416ec1-9baf-42f6-a6d0-0f15ce57de2d · outbound

This paper cites Caisson: A hardware description language for secure information flow,.

Accelerating Hardware Verification with Graph Models Caisson: A hardware description language for secure information flow,

Reference 42

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T13:16:03.418619Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation 032643ea-51ff-40c5-9d12-15612a599fc6 · outbound

This paper cites Sap- per: A language for hardware-level security policy enforcement,.

Accelerating Hardware Verification with Graph Models Sap- per: A language for hardware-level security policy enforcement,

Reference 43

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T13:16:03.405473Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation b6ba4388-b408-4e10-8c2c-9e6a42c594f7 · outbound

This paper cites A hardware design language for timing-sensitive information-flow security,.

Accelerating Hardware Verification with Graph Models A hardware design language for timing-sensitive information-flow security,

Reference 44

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T13:16:03.391185Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation 9f6c673c-ad3f-4e0d-8c93-bbc7ab89e01b · outbound

This paper cites RTL-contest: Concolic testing on RTL for detecting security vulnerabilities,.

Accelerating Hardware Verification with Graph Models RTL-contest: Concolic testing on RTL for detecting security vulnerabilities,

Reference 45

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T13:16:03.377766Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation 9f419bec-00ab-42ba-a6bd-7c89fe97974c · outbound

This paper cites RFUZZ: Coverage-directed fuzz testing of rtl on fpgas,.

Accelerating Hardware Verification with Graph Models RFUZZ: Coverage-directed fuzz testing of rtl on fpgas,

Reference 46

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T13:16:03.364465Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation d1758b9e-7066-4738-bf37-a126aea571bd · outbound

This paper cites Symbolic simulation enhanced coverage-directed fuzz testing of RTL design,.

Accelerating Hardware Verification with Graph Models Symbolic simulation enhanced coverage-directed fuzz testing of RTL design,

Reference 47

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T13:16:03.349896Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation cd234f92-d615-4a70-b1a2-e769e1ee2fef · outbound

This paper cites DifuzzRTL: Differential fuzz testing to find CPU bugs,.

Accelerating Hardware Verification with Graph Models DifuzzRTL: Differential fuzz testing to find CPU bugs,

Reference 48

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T13:16:03.336476Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation f884c8c6-42f5-424d-abc9-5492626af4c3 · outbound

This paper cites Fuzzing hardware like software,.

Accelerating Hardware Verification with Graph Models Fuzzing hardware like software,

Reference 49

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T13:16:03.323137Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation 0a3b3da2-24d9-4b3c-b899-20e8d1b837b8 · outbound

This paper cites Hyperfuzzing for SoC security validation,.

Accelerating Hardware Verification with Graph Models Hyperfuzzing for SoC security validation,

Reference 50

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T13:16:03.309648Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation 7ce110bd-0f4d-4839-a0fb-1eb041a52150 · outbound

This paper cites Effec- tive processor verification with logic fuzzer enhanced co-simulation,.

Accelerating Hardware Verification with Graph Models Effec- tive processor verification with logic fuzzer enhanced co-simulation,

Reference 51

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T13:16:03.297479Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation 3dc220c9-2fe6-428e-ba8c-1eccd43bf701 · outbound

This paper cites TheHuzz: Instruction fuzzing of processors using Golden-Reference models for finding Software-Exploitable vulnerabil- ities,.

Accelerating Hardware Verification with Graph Models TheHuzz: Instruction fuzzing of processors using Golden-Reference models for finding Software-Exploitable vulnerabil- ities,

Reference 52

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T13:16:03.285167Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation ba0aba40-ce63-410c-af4a-b8c809fed78d · outbound

This paper cites The fuzz odyssey: A survey on hardware fuzzing frameworks for hardware design verifica- tion,.

Accelerating Hardware Verification with Graph Models The fuzz odyssey: A survey on hardware fuzzing frameworks for hardware design verifica- tion,

Reference 53

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T13:16:03.272427Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation 44f5fc06-7d6c-4a98-bcee-905e15e1e13a · outbound

This paper cites Special ses- sion: Detecting and defending vulnerabilities in heterogeneous and monolithic systems: Current strategies and future directions,.

Accelerating Hardware Verification with Graph Models Special ses- sion: Detecting and defending vulnerabilities in heterogeneous and monolithic systems: Current strategies and future directions,

Reference 54

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T13:16:03.258992Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation fe920f8a-081a-41ab-8da0-78d769bc0f5d · outbound

This paper cites Exploring coverage metrics in hardware fuzzing: A comprehensive analysis,.

Accelerating Hardware Verification with Graph Models Exploring coverage metrics in hardware fuzzing: A comprehensive analysis,

Reference 55

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T13:16:03.244582Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation ea8672c6-fa24-4b11-a84e-9caae82a6ed4 · outbound

This paper cites The Emergence of Hardware Fuzzing: A Critical Review of its Significance.

Accelerating Hardware Verification with Graph Models The Emergence of Hardware Fuzzing: A Critical Review of its Significance

Reference 56

Resolution: verified exact; local_arxiv, observed 2026-08-11T13:16:02.395143Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation 58b36d10-37b2-4c49-8d39-08d8eeadb681 · outbound

This paper cites OSS-Fuzz - google’s continuous fuzzing service for open source software,.

Accelerating Hardware Verification with Graph Models OSS-Fuzz - google’s continuous fuzzing service for open source software,

Reference 57

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T13:16:03.230952Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation a6570431-0447-43cb-b5ae-ca049d0f8346 · outbound

This paper cites Microsoft security risk detection,.

Accelerating Hardware Verification with Graph Models Microsoft security risk detection,

Reference 58

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T13:16:03.217315Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation 7696a40a-8323-4243-b602-7d3fb95065cf · outbound

This paper cites Americal fuzzy loop,.

Accelerating Hardware Verification with Graph Models Americal fuzzy loop,

Reference 59

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T13:16:03.204156Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation 4c21abb2-88c6-48eb-87ad-402a4004d0ed · outbound

This paper cites HyPFuzz: Formal-Assisted processor fuzzing,.

Accelerating Hardware Verification with Graph Models HyPFuzz: Formal-Assisted processor fuzzing,

Reference 60

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T13:16:03.190807Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation 19559e08-43bd-4cc7-beaa-7354c328b7d7 · outbound

This paper cites Processorfuzz: Processor fuzzing with control and status registers guidance,.

Accelerating Hardware Verification with Graph Models Processorfuzz: Processor fuzzing with control and status registers guidance,

Reference 61

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T13:16:03.175932Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation 2d826571-2f7b-4555-b92a-61c2fb020b9b · outbound

This paper cites [Online].

Accelerating Hardware Verification with Graph Models [Online]

Reference 62

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T13:16:03.161357Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation ba231fb9-f684-4558-886d-9d11e324a0f0 · outbound

This paper cites an unresolved cited work.

Accelerating Hardware Verification with Graph Models Unresolved cited work

Reference 63

Resolution: unresolved; raw_fallback, observed 2026-08-11T13:16:03.148437Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation a3d6fdbd-ceed-4e08-9295-0e0f8681457c · outbound

This paper cites Openrisc,.

Accelerating Hardware Verification with Graph Models Openrisc,

Reference 64

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T13:16:03.135252Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation 15708446-a765-43df-b3c6-d150f89a1e9b · outbound

This paper cites mor1kx - an openrisc processor IP core,.

Accelerating Hardware Verification with Graph Models mor1kx - an openrisc processor IP core,

Reference 65

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T13:16:03.123136Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation f921ffc8-a7b2-4d70-9037-2cfcb2f8da07 · outbound

This paper cites Sigfuzz: A framework for discovering microarchitectural timing side channels,.

Accelerating Hardware Verification with Graph Models Sigfuzz: A framework for discovering microarchitectural timing side channels,

Reference 66

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T13:16:03.110501Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation 387af419-d366-40d6-82a0-cd517aad8d07 · outbound

This paper cites Directfuzz: Automated test generation for rtl designs using directed graybox fuzzing,.

Accelerating Hardware Verification with Graph Models Directfuzz: Automated test generation for rtl designs using directed graybox fuzzing,

Reference 67

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T13:16:03.096925Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation 9253a65f-9a46-46db-bdc5-dcb7b552cc0e · outbound

This paper cites Hyperproperties,.

Accelerating Hardware Verification with Graph Models Hyperproperties,

Reference 68

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T13:16:03.083277Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation d8fb054e-8731-47f2-be3a-90237f0dc93c · outbound

This paper cites Towards automatic property generation for soc security verification,.

Accelerating Hardware Verification with Graph Models Towards automatic property generation for soc security verification,

Reference 69

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T13:16:03.069816Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation 63751ee2-12b2-4ad8-8f6a-2e777bcedde7 · outbound

This paper cites SoC security verification using property checking,.

Accelerating Hardware Verification with Graph Models SoC security verification using property checking,

Reference 70

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T13:16:03.056518Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation 235609b2-8e6b-4d41-9d63-d513ee90934d · outbound

This paper cites Opentitan,.

Accelerating Hardware Verification with Graph Models Opentitan,

Reference 71

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T13:16:03.042095Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation 5d918161-b24a-4532-9e09-2c1c5652dda2 · outbound

This paper cites Oss-fuzz,.

Accelerating Hardware Verification with Graph Models Oss-fuzz,

Reference 72

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T13:16:02.937800Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation ee7b00e5-41f9-454d-be29-e9fb5ccadc5d · outbound

This paper cites an unresolved cited work.

Accelerating Hardware Verification with Graph Models Unresolved cited work

Reference 73

Resolution: unresolved; raw_fallback, observed 2026-08-11T13:16:02.925065Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation 6a2556e7-2b8c-490c-b483-a0d07a22fc5d · outbound

This paper cites an unresolved cited work.

Accelerating Hardware Verification with Graph Models Unresolved cited work

Reference 74

Resolution: unresolved; raw_fallback, observed 2026-08-11T13:16:02.912441Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation 378032d2-be94-48b5-ba81-8ebbeb1b8712 · outbound

This paper cites SPECS: A lightweight runtime mechanism for protecting software from security- critical processor bugs,.

Accelerating Hardware Verification with Graph Models SPECS: A lightweight runtime mechanism for protecting software from security- critical processor bugs,

Reference 75

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T13:16:02.899337Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation 8cf0e714-0c48-4b9f-8409-b50406e6f7cb · outbound

This paper cites Automatic code converter enhanced pch framework for soc trust verification,.

Accelerating Hardware Verification with Graph Models Automatic code converter enhanced pch framework for soc trust verification,

Reference 76

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T13:16:02.886036Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation 3c630328-039d-41c8-9b9e-bd36e2f8b000 · outbound

This paper cites Pch framework for ip runtime security verification,.

Accelerating Hardware Verification with Graph Models Pch framework for ip runtime security verification,

Reference 77

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T13:16:02.872451Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation 4eb9e6a6-965a-444d-9e5e-7f09da4e75cb · outbound

This paper cites Eliminating the hardware-software boundary: A proof-carrying approach for trust evaluation on computer systems,.

Accelerating Hardware Verification with Graph Models Eliminating the hardware-software boundary: A proof-carrying approach for trust evaluation on computer systems,

Reference 78

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T13:16:02.858915Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation 3c54f49d-4549-4a6f-b47c-37016bb08840 · outbound

This paper cites Trojan localization using symbolic algebra,.

Accelerating Hardware Verification with Graph Models Trojan localization using symbolic algebra,

Reference 79

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T13:16:02.845178Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation 99c92341-8f90-408e-a769-62b799982e96 · outbound

This paper cites Bounded model checking,.

Accelerating Hardware Verification with Graph Models Bounded model checking,

Reference 80

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T13:16:02.831347Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation 77804070-eb15-45b6-b53e-69ce245d2401 · outbound

This paper cites Proof-carrying hardware: Runtime formal verification for secure dynamic reconfiguration,.

Accelerating Hardware Verification with Graph Models Proof-carrying hardware: Runtime formal verification for secure dynamic reconfiguration,

Reference 81

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T13:16:02.818336Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation 8e76bbbd-0314-4115-916d-46d5fdc637fd · outbound

This paper cites Z3: An Efficient SMT Solver,.

Accelerating Hardware Verification with Graph Models Z3: An Efficient SMT Solver,

Reference 82

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T13:16:02.805109Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation b44db794-7e38-4d4f-bcbb-27684b47b7df · outbound

This paper cites Welcome to verilator,.

Accelerating Hardware Verification with Graph Models Welcome to verilator,

Reference 83

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T13:16:02.792440Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation 73eda52c-8626-4c4b-b875-2ee6d9c0235c · outbound

This paper cites WhisperFuzz: White-Box Fuzzing for Detecting and Locating Timing Vulnerabilities in Processors.

Accelerating Hardware Verification with Graph Models WhisperFuzz: White-Box Fuzzing for Detecting and Locating Timing Vulnerabilities in Processors

Reference 84

Resolution: verified exact; local_arxiv, observed 2026-08-11T13:16:02.374563Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation 5340faf6-f610-4104-b8d6-390145f2845c · outbound

This paper cites Synopsys webpage,.

Accelerating Hardware Verification with Graph Models Synopsys webpage,

Reference 85

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T13:16:02.780462Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation 3f5680d8-6a5b-4c30-b236-d0abb27c3e40 · outbound

This paper cites Security-aware fsm design flow for identifying and mitigating vulnerabilities to fault attacks,.

Accelerating Hardware Verification with Graph Models Security-aware fsm design flow for identifying and mitigating vulnerabilities to fault attacks,

Reference 86

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T13:16:02.767030Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation b4d7fad7-35f1-4f70-b225-960efe3bc1f9 · outbound

This paper cites Designing trusted embedded systems from finite state machines,.

Accelerating Hardware Verification with Graph Models Designing trusted embedded systems from finite state machines,

Reference 87

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T13:16:02.753702Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation 0654537e-9635-4803-a46a-0d3dedaa3353 · outbound

This paper cites Cascade: Cpu fuzzing via intricate program generation,.

Accelerating Hardware Verification with Graph Models Cascade: Cpu fuzzing via intricate program generation,

Reference 88

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T13:16:02.740217Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation a90630b8-cbb7-4e5f-88cf-6904a15e20d5 · outbound

This paper cites Analyzing circuit vulnerability to hardware trojan insertion at the behavioral level,.

Accelerating Hardware Verification with Graph Models Analyzing circuit vulnerability to hardware trojan insertion at the behavioral level,

Reference 89

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T13:16:02.725423Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation c53e1b36-9486-4788-a201-168cae009d5f · outbound

This paper cites Kaeslin, Digital Integrated Circuit Design: From VLSI Architectures to CMOS Fabrication , 2008.

Accelerating Hardware Verification with Graph Models Kaeslin, Digital Integrated Circuit Design: From VLSI Architectures to CMOS Fabrication , 2008

Reference 90

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T13:16:02.711907Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation 7ce7e258-2dc4-4dae-ad1e-c09d2e32ca88 · outbound

This paper cites Multi-objective hypergraph parti- tioning algorithms for cut and maximum subdomain degree minimiza- tion,.

Accelerating Hardware Verification with Graph Models Multi-objective hypergraph parti- tioning algorithms for cut and maximum subdomain degree minimiza- tion,

Reference 91

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T13:16:02.698589Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation 9f4fa7d0-eb4f-4c3c-9005-2f2220d83042 · outbound

This paper cites Congestion-constrained layer assign- ment for via minimization in global routing,.

Accelerating Hardware Verification with Graph Models Congestion-constrained layer assign- ment for via minimization in global routing,

Reference 92

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T13:16:02.684177Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation 9599e7fb-c0d4-4c49-a8da-b13e825153f5 · outbound

This paper cites Inductive representation learning on large graphs,.

Accelerating Hardware Verification with Graph Models Inductive representation learning on large graphs,

Reference 93

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T13:16:02.670489Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation 70bdbac7-05d1-4ab6-a8b1-29a85890b5ba · outbound

This paper cites Graph convolutional neural networks for web-scale recommender systems,.

Accelerating Hardware Verification with Graph Models Graph convolutional neural networks for web-scale recommender systems,

Reference 94

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T13:16:02.657678Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation a7b62604-11db-4ed1-b1ba-3e3a9ef33fc5 · outbound

This paper cites Learning- based power/performance optimization for many-core systems with extended-range voltage/frequency scaling,.

Accelerating Hardware Verification with Graph Models Learning- based power/performance optimization for many-core systems with extended-range voltage/frequency scaling,

Reference 95

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T13:16:02.644430Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation 2018cbd1-1862-41a2-a46d-d0b1682d3b12 · outbound

This paper cites Cross-layer optimization for high speed adders: A pareto driven machine learning approach,.

Accelerating Hardware Verification with Graph Models Cross-layer optimization for high speed adders: A pareto driven machine learning approach,

Reference 96

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T13:16:02.630508Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation bdbbcb48-781b-4bb6-8dfd-5f8beab70a0b · outbound

This paper cites Deep learning for logic optimization algorithms,.

Accelerating Hardware Verification with Graph Models Deep learning for logic optimization algorithms,

Reference 97

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T13:16:02.616857Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation 19f75099-8fdd-4cb0-998e-678a64fc1484 · outbound

This paper cites Routenet: Routability prediction for mixed-size designs using convolutional neural network,.

Accelerating Hardware Verification with Graph Models Routenet: Routability prediction for mixed-size designs using convolutional neural network,

Reference 98

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T13:16:02.603659Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation 7df6f2cf-e162-4caa-ad49-db39d2567d2f · outbound

This paper cites BEOL stack-aware routability prediction from placement using data mining techniques,.

Accelerating Hardware Verification with Graph Models BEOL stack-aware routability prediction from placement using data mining techniques,

Reference 99

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T13:16:02.590193Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation cc332561-7734-4584-887b-b9ee152a72c0 · outbound

This paper cites A comprehensive survey of graph embedding: Problems, techniques, and applications,.

Accelerating Hardware Verification with Graph Models A comprehensive survey of graph embedding: Problems, techniques, and applications,

Reference 100

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T13:16:02.576658Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Coverage vector

Reference resolution

Outbound references

Pith citing papers