Typed states for the displayed outbound observations.
Source: paper_references, paper_reference_links, observed 2026-08-15T23:42:31.765853Z
Paper Citation Record · LEDGER
In-Situ Hardware Error Detection Using Specification-Derived Petri Net Models and Behavior-Derived State Sequences
As of 23 August 2026, this Paper Citation Record lists 50 of 50 outbound references and 0 inbound Pith citation observations for arXiv:2505.04108.
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-23T06:30:58.430688+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
50 of 50 outbound references displayed
- verified exact0
- verified fuzzy49
- unresolved1
- parse uncertain0
- malformed identifier0
- metadata mismatch0
External citation measurements
No source-named external measurement is stored.
Outbound references
Observation 239d6527-2b44-4791-86fe-5578370c482d · outbound
This paper cites Artificial Neural Networks for Space and Safety -Critical Appli- cations: Reliability Issues and Potential Solutions,.
In-Situ Hardware Error Detection Using Specification-Derived Petri Net Models and Behavior-Derived State Sequences Artificial Neural Networks for Space and Safety -Critical Appli- cations: Reliability Issues and Potential Solutions,
Reference 1
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-15T23:42:32.421101Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.
Observation ae967feb-22d9-4870-8f3c-cbaac8965035 · outbound
This paper cites ML-Based Fault Injection for Autonomous V ehicles: A Case for Bayesian Fault Injection,.
In-Situ Hardware Error Detection Using Specification-Derived Petri Net Models and Behavior-Derived State Sequences ML-Based Fault Injection for Autonomous V ehicles: A Case for Bayesian Fault Injection,
Reference 2
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-15T23:42:32.410000Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.
Observation 3c912837-258b-4f3f-ba24-defab0d8270d · outbound
This paper cites Single Event Upset tests and failure r ate estimation for a front-end ASIC adopted in high-flux-particle therapy appl ications,.
In-Situ Hardware Error Detection Using Specification-Derived Petri Net Models and Behavior-Derived State Sequences Single Event Upset tests and failure r ate estimation for a front-end ASIC adopted in high-flux-particle therapy appl ications,
Reference 3
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-15T23:42:32.398693Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.
Observation 7a80f6b0-2d64-497f-b909-fb92f443804f · outbound
This paper cites Impact of Neutron-Induced SEU in FPGA CRAM on Image-Based Lane Tracking for Autonomous Driving: From Bit Upset to SEFI and Erroneous Behavior,.
In-Situ Hardware Error Detection Using Specification-Derived Petri Net Models and Behavior-Derived State Sequences Impact of Neutron-Induced SEU in FPGA CRAM on Image-Based Lane Tracking for Autonomous Driving: From Bit Upset to SEFI and Erroneous Behavior,
Reference 4
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-15T23:42:32.387949Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.
Observation 645fb5a2-f46d-4091-a169-801aad15c6c2 · outbound
This paper cites Data Center Silent Data Errors: Impli cations to Artifi- cial Intelligence Workloads & Mitigations,.
In-Situ Hardware Error Detection Using Specification-Derived Petri Net Models and Behavior-Derived State Sequences Data Center Silent Data Errors: Impli cations to Artifi- cial Intelligence Workloads & Mitigations,
Reference 5
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-15T23:42:32.377949Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.
Observation 4fbc35af-1929-49d0-aa9b-c1f963fa1330 · outbound
This paper cites The Impact of Terrestrial Radiatio n on FPGAs in Data Centers,.
In-Situ Hardware Error Detection Using Specification-Derived Petri Net Models and Behavior-Derived State Sequences The Impact of Terrestrial Radiatio n on FPGAs in Data Centers,
Reference 6
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-15T23:42:32.367743Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.
Observation d2d13eff-a694-4d76-affd-1af7b41fef45 · outbound
This paper cites Exploration of Fault Identification an d Automatic Recovery in Cloud-based FPGA Systems,.
In-Situ Hardware Error Detection Using Specification-Derived Petri Net Models and Behavior-Derived State Sequences Exploration of Fault Identification an d Automatic Recovery in Cloud-based FPGA Systems,
Reference 7
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-15T23:42:32.357251Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.
Observation f049fde4-3ba6-4aa9-b9cd-5cf30b44c649 · outbound
This paper cites Soft Error and Its Countermeas ures in Terrestrial Environment,.
In-Situ Hardware Error Detection Using Specification-Derived Petri Net Models and Behavior-Derived State Sequences Soft Error and Its Countermeas ures in Terrestrial Environment,
Reference 8
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-15T23:42:32.346986Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.
Observation 212dbaef-54ba-4f91-bbb0-6db39a232d59 · outbound
This paper cites Temperature, V oltage, and Agi ng Effects in Ring Oscillator Physical Unclonable Function,.
In-Situ Hardware Error Detection Using Specification-Derived Petri Net Models and Behavior-Derived State Sequences Temperature, V oltage, and Agi ng Effects in Ring Oscillator Physical Unclonable Function,
Reference 9
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-15T23:42:32.336643Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.
Observation d85994d8-4e6e-4fd2-a9ce-90fb76791ac5 · outbound
This paper cites Trustworthy Integrated Circuits: Fro m Safety to Security and Beyond,.
In-Situ Hardware Error Detection Using Specification-Derived Petri Net Models and Behavior-Derived State Sequences Trustworthy Integrated Circuits: Fro m Safety to Security and Beyond,
Reference 10
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-15T23:42:32.325967Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.
Observation a7887114-1f96-4200-a8ea-6fcd73757ddd · outbound
This paper cites Reliability analysis on case-stud y traffic sign convolutional neural network on APSoC,.
In-Situ Hardware Error Detection Using Specification-Derived Petri Net Models and Behavior-Derived State Sequences Reliability analysis on case-stud y traffic sign convolutional neural network on APSoC,
Reference 11
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-15T23:42:32.314632Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.
Observation 8b657a41-d44d-4489-9775-4656fcd2da6c · outbound
This paper cites Ultrahigh Energy Heavy Ion Test Beam on Xi linx Kintex- 7 SRAM-Based FPGA,.
In-Situ Hardware Error Detection Using Specification-Derived Petri Net Models and Behavior-Derived State Sequences Ultrahigh Energy Heavy Ion Test Beam on Xi linx Kintex- 7 SRAM-Based FPGA,
Reference 12
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-15T23:42:32.302848Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.
Observation b53f1603-5642-452a-a903-526b6d5af535 · outbound
This paper cites SiFI-AI: A Fast and Flexible RTL Faul t Simulation Framework Tailored for AI Models and Accelerators,.
In-Situ Hardware Error Detection Using Specification-Derived Petri Net Models and Behavior-Derived State Sequences SiFI-AI: A Fast and Flexible RTL Faul t Simulation Framework Tailored for AI Models and Accelerators,
Reference 13
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-15T23:42:32.291665Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.
Observation dc44fb41-e459-4f6a-9f5a-3ae38b6d02da · outbound
This paper cites Reconfigurable Framework for Resil ient Semantic Segmentation for Space Applications,.
In-Situ Hardware Error Detection Using Specification-Derived Petri Net Models and Behavior-Derived State Sequences Reconfigurable Framework for Resil ient Semantic Segmentation for Space Applications,
Reference 14
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-15T23:42:32.280943Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.
Observation 98ea2fc8-1be2-489e-b1bd-4427d174af34 · outbound
This paper cites Microcontroller Compiler-Assiste d Software Fault Tolerance,.
In-Situ Hardware Error Detection Using Specification-Derived Petri Net Models and Behavior-Derived State Sequences Microcontroller Compiler-Assiste d Software Fault Tolerance,
Reference 15
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-15T23:42:32.270230Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.
Observation aab8915c-5bd7-401e-b957-af5f2211d957 · outbound
This paper cites A Triple Core Lock-Step (TCLS) ARM® C ortex®- R5 Processor for Safety-Critical and Ultra-Reliable Appli cations,.
In-Situ Hardware Error Detection Using Specification-Derived Petri Net Models and Behavior-Derived State Sequences A Triple Core Lock-Step (TCLS) ARM® C ortex®- R5 Processor for Safety-Critical and Ultra-Reliable Appli cations,
Reference 16
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-15T23:42:32.259154Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.
Observation fb0fb0bf-cf4f-418e-8f95-61e1a219f6a0 · outbound
This paper cites Lockstep Dual-Core ARM A9: Implem entation and Resilience Analysis Under Heavy Ion-Induced Soft Error s,.
In-Situ Hardware Error Detection Using Specification-Derived Petri Net Models and Behavior-Derived State Sequences Lockstep Dual-Core ARM A9: Implem entation and Resilience Analysis Under Heavy Ion-Induced Soft Error s,
Reference 17
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-15T23:42:32.248381Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.
Observation 5f1cfbc4-2ab7-4811-932b-2ae6cb76faaf · outbound
This paper cites Selective Hardening for Neural Netw orks in FPGAs,.
In-Situ Hardware Error Detection Using Specification-Derived Petri Net Models and Behavior-Derived State Sequences Selective Hardening for Neural Netw orks in FPGAs,
Reference 18
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-15T23:42:32.237233Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.
Observation 84118078-2585-4a8a-8acd-8f3ab47619c5 · outbound
This paper cites Fault-Tolerant Neural Network Ac celerators With Selective TMR,.
In-Situ Hardware Error Detection Using Specification-Derived Petri Net Models and Behavior-Derived State Sequences Fault-Tolerant Neural Network Ac celerators With Selective TMR,
Reference 19
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-15T23:42:32.225953Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.
Observation 41d72d82-d1f5-4c7c-919d-ddc6c6fa43c9 · outbound
This paper cites Improving the Reliability of TMR W ith Nontrip- licated I/O on SRAM FPGAs,.
In-Situ Hardware Error Detection Using Specification-Derived Petri Net Models and Behavior-Derived State Sequences Improving the Reliability of TMR W ith Nontrip- licated I/O on SRAM FPGAs,
Reference 20
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-15T23:42:32.215134Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.
Observation a3f23b91-92b6-479b-bdda-522d189a358a · outbound
This paper cites Soft Error Mitigation for Deep Convoluti on Neural Network on FPGA Accelerators,.
In-Situ Hardware Error Detection Using Specification-Derived Petri Net Models and Behavior-Derived State Sequences Soft Error Mitigation for Deep Convoluti on Neural Network on FPGA Accelerators,
Reference 21
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-15T23:42:32.204986Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.
Observation 0b06f19f-1233-46b9-96b9-e735bbbd659f · outbound
This paper cites Making Convolutions Resilient Vi a Algorithm- Based Error Detection Techniques,.
In-Situ Hardware Error Detection Using Specification-Derived Petri Net Models and Behavior-Derived State Sequences Making Convolutions Resilient Vi a Algorithm- Based Error Detection Techniques,
Reference 22
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-15T23:42:32.194303Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.
Observation 040949a5-da12-4b9d-88ad-3042b345504a · outbound
This paper cites Soft errors in DNN accelerators: A c omprehensive review,.
In-Situ Hardware Error Detection Using Specification-Derived Petri Net Models and Behavior-Derived State Sequences Soft errors in DNN accelerators: A c omprehensive review,
Reference 23
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-15T23:42:32.183012Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.
Observation f27c1f8e-b823-4dde-aa31-e08f3d28bfb2 · outbound
This paper cites Automated Selection of Assertions for Bit-Flip Detection During Post-Silicon V alidation,.
In-Situ Hardware Error Detection Using Specification-Derived Petri Net Models and Behavior-Derived State Sequences Automated Selection of Assertions for Bit-Flip Detection During Post-Silicon V alidation,
Reference 24
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-15T23:42:32.171695Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.
Observation 2f1ddbf7-0570-4179-9dcf-33f3e4c23a59 · outbound
This paper cites Assertion Checkers in V erification, S ilicon Debug and In-Field Diagnosis,.
In-Situ Hardware Error Detection Using Specification-Derived Petri Net Models and Behavior-Derived State Sequences Assertion Checkers in V erification, S ilicon Debug and In-Field Diagnosis,
Reference 25
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-15T23:42:32.160028Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.
Observation 631d3f0a-542c-4126-80e8-fae352848f95 · outbound
This paper cites Hardware Error Detection with In-Si tu Monitoring of Control Flow-Related Specifications,.
In-Situ Hardware Error Detection Using Specification-Derived Petri Net Models and Behavior-Derived State Sequences Hardware Error Detection with In-Si tu Monitoring of Control Flow-Related Specifications,
Reference 26
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-15T23:42:32.148118Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.
Observation 12909d2d-dccf-41c2-aa72-3d72f0154986 · outbound
This paper cites Light-Weight Soft-Errors Det ection Mecha- nism in High-Level Synthesis,.
In-Situ Hardware Error Detection Using Specification-Derived Petri Net Models and Behavior-Derived State Sequences Light-Weight Soft-Errors Det ection Mecha- nism in High-Level Synthesis,
Reference 27
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-15T23:42:32.136858Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.
Observation 1f606f82-7f83-464a-a689-7df9910aa628 · outbound
This paper cites Low-cost program-level detector s for reducing silent data corruptions,.
In-Situ Hardware Error Detection Using Specification-Derived Petri Net Models and Behavior-Derived State Sequences Low-cost program-level detector s for reducing silent data corruptions,
Reference 28
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-15T23:42:32.124798Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.
Observation 6a45b780-45f8-4701-936d-6f99f0fda9c0 · outbound
This paper cites Generic Soft Error Data and Contro l Flow Error Detection by Instruction Duplication,.
In-Situ Hardware Error Detection Using Specification-Derived Petri Net Models and Behavior-Derived State Sequences Generic Soft Error Data and Contro l Flow Error Detection by Instruction Duplication,
Reference 29
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-15T23:42:32.112722Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.
Observation dd9db73b-0949-4675-b5df-51e7a586dfb4 · outbound
This paper cites DeepVigor: VulnerabIlity V alue RanGes and FactORs for DNNs’ Reliability Assessment,.
In-Situ Hardware Error Detection Using Specification-Derived Petri Net Models and Behavior-Derived State Sequences DeepVigor: VulnerabIlity V alue RanGes and FactORs for DNNs’ Reliability Assessment,
Reference 30
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-15T23:42:32.100179Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.
Observation 35c378bd-c0b2-4096-883a-43321b17431a · outbound
This paper cites BinFI: an efficient fault injector for s afety-critical machine learning systems,.
In-Situ Hardware Error Detection Using Specification-Derived Petri Net Models and Behavior-Derived State Sequences BinFI: an efficient fault injector for s afety-critical machine learning systems,
Reference 31
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-15T23:42:32.086222Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.
Observation a950e21c-e1a7-4b12-b334-7bc28ccfa673 · outbound
This paper cites Reliability-aware register bi nding for control- flow intensive designs,.
In-Situ Hardware Error Detection Using Specification-Derived Petri Net Models and Behavior-Derived State Sequences Reliability-aware register bi nding for control- flow intensive designs,
Reference 32
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-15T23:42:32.074908Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.
Observation ff8f230e-cb62-4436-8ac8-3c8d0f7f5e53 · outbound
This paper cites StitchUp: Automatic con trol flow pro- tection for high level synthesis circuits,.
In-Situ Hardware Error Detection Using Specification-Derived Petri Net Models and Behavior-Derived State Sequences StitchUp: Automatic con trol flow pro- tection for high level synthesis circuits,
Reference 33
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-15T23:42:32.063151Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.
Observation 0c2eb558-99f5-4d7c-a0d1-31d779a188bb · outbound
This paper cites MLC: A Machine Learning Based Check er For Soft Error Detection In Embedded Processors,.
In-Situ Hardware Error Detection Using Specification-Derived Petri Net Models and Behavior-Derived State Sequences MLC: A Machine Learning Based Check er For Soft Error Detection In Embedded Processors,
Reference 34
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-15T23:42:32.050599Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.
Observation 3000940d-0ecf-4b54-8ce2-9a61de9526c7 · outbound
This paper cites An automated SA T-based method for the design of on-chip bit-flip detectors,.
In-Situ Hardware Error Detection Using Specification-Derived Petri Net Models and Behavior-Derived State Sequences An automated SA T-based method for the design of on-chip bit-flip detectors,
Reference 35
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-15T23:42:32.037841Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.
Observation 1250431f-6224-4b63-951b-0ea0073e8df5 · outbound
This paper cites Hardware Security Module Cryptosys tem Using Petri Net,.
In-Situ Hardware Error Detection Using Specification-Derived Petri Net Models and Behavior-Derived State Sequences Hardware Security Module Cryptosys tem Using Petri Net,
Reference 36
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-15T23:42:32.026321Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.
Observation 80c44e22-3022-4928-a8a1-ae74e63ed9f6 · outbound
This paper cites Monitor petri nets for security mon itoring,.
In-Situ Hardware Error Detection Using Specification-Derived Petri Net Models and Behavior-Derived State Sequences Monitor petri nets for security mon itoring,
Reference 37
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-15T23:42:32.015120Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.
Observation 89949f3c-466a-4d26-83a5-922a9ec53082 · outbound
This paper cites An improved petri net for fault analysis of an electronic system with hybrid fault of software and hardware,.
In-Situ Hardware Error Detection Using Specification-Derived Petri Net Models and Behavior-Derived State Sequences An improved petri net for fault analysis of an electronic system with hybrid fault of software and hardware,
Reference 38
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-15T23:42:32.003505Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.
Observation 02f86faf-d0ba-462d-9b34-dfa6d9765bde · outbound
This paper cites Fault Tolerance of Multiprocessor-St ructured Control System by Hardware and Software Reconfiguration,.
In-Situ Hardware Error Detection Using Specification-Derived Petri Net Models and Behavior-Derived State Sequences Fault Tolerance of Multiprocessor-St ructured Control System by Hardware and Software Reconfiguration,
Reference 39
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-15T23:42:31.989528Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.
Observation fd12c563-7322-4058-adb9-ff8b34307906 · outbound
This paper cites Automatic Assertion Generation for S imulation, Formal V erification and Emulation,.
In-Situ Hardware Error Detection Using Specification-Derived Petri Net Models and Behavior-Derived State Sequences Automatic Assertion Generation for S imulation, Formal V erification and Emulation,
Reference 40
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-15T23:42:31.976365Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.
Observation b0614163-2e0c-4370-a55f-93b752102947 · outbound
This paper cites HARM: A Hint-Based Assertion Mi ner,.
In-Situ Hardware Error Detection Using Specification-Derived Petri Net Models and Behavior-Derived State Sequences HARM: A Hint-Based Assertion Mi ner,
Reference 41
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-15T23:42:31.962467Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.
Observation bec44396-0ebb-4229-beb5-0d754e10c44b · outbound
This paper cites AssertLLM: Generating and evaluating hardware verification assertions from design specifications via mult i-LLMs,.
In-Situ Hardware Error Detection Using Specification-Derived Petri Net Models and Behavior-Derived State Sequences AssertLLM: Generating and evaluating hardware verification assertions from design specifications via mult i-LLMs,
Reference 42
- Resolution
- unresolved
- no resolver link, observed 2026-08-15T23:42:31.729296Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation dc64b36b-a510-4324-a880-23fa0e42d119 · outbound
This paper cites A High Performance Multi-Bit-Width B ooth V ector Systolic Accelerator for NAS Optimized Deep Learning Neura l Net- works,.
In-Situ Hardware Error Detection Using Specification-Derived Petri Net Models and Behavior-Derived State Sequences A High Performance Multi-Bit-Width B ooth V ector Systolic Accelerator for NAS Optimized Deep Learning Neura l Net- works,
Reference 43
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-15T23:42:31.950310Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.
Observation 36d135e2-7c9e-4d3d-9cf7-7c65e2783349 · outbound
This paper cites A Describing Method of An Image Pro cessing Software in C for A High-level Synthesis Considering A Funct ion Chaining,.
In-Situ Hardware Error Detection Using Specification-Derived Petri Net Models and Behavior-Derived State Sequences A Describing Method of An Image Pro cessing Software in C for A High-level Synthesis Considering A Funct ion Chaining,
Reference 44
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-15T23:42:31.937705Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.
Observation 06c9636f-d88d-4f0c-afd9-2ba0d665e906 · outbound
This paper cites V erilog Implementation of the Symmetric Bl ock Cipher AES (NIST FIPS 197),.
In-Situ Hardware Error Detection Using Specification-Derived Petri Net Models and Behavior-Derived State Sequences V erilog Implementation of the Symmetric Bl ock Cipher AES (NIST FIPS 197),
Reference 45
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-15T23:42:31.924312Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.
Observation fb50a65a-1a66-4524-8b15-9f52100f3e46 · outbound
This paper cites NoC Simulator for simulating intra-chip data flow in Neural Network Accelerator,.
In-Situ Hardware Error Detection Using Specification-Derived Petri Net Models and Behavior-Derived State Sequences NoC Simulator for simulating intra-chip data flow in Neural Network Accelerator,
Reference 46
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-15T23:42:31.912211Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.
Observation 4d099ffa-4db8-4c5f-9e57-464f79516026 · outbound
This paper cites Prediction router: Y et another l ow latency on- chip router architecture,.
In-Situ Hardware Error Detection Using Specification-Derived Petri Net Models and Behavior-Derived State Sequences Prediction router: Y et another l ow latency on- chip router architecture,
Reference 47
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-15T23:42:31.901240Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.
Observation db19e2f6-d638-4f71-ac9e-53560e737fb1 · outbound
This paper cites Simba: Scaling Deep-Learning Infer ence with Multi- Chip-Module-Based Architecture,.
In-Situ Hardware Error Detection Using Specification-Derived Petri Net Models and Behavior-Derived State Sequences Simba: Scaling Deep-Learning Infer ence with Multi- Chip-Module-Based Architecture,
Reference 48
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-15T23:42:31.889944Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.
Observation 7f643cc5-8b13-47b0-8a8c-02e16b72548c · outbound
This paper cites Goldmine: Automatic assertion g eneration using data mining and static analysis,.
In-Situ Hardware Error Detection Using Specification-Derived Petri Net Models and Behavior-Derived State Sequences Goldmine: Automatic assertion g eneration using data mining and static analysis,
Reference 49
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-15T23:42:31.878300Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.
Observation 0ecf7832-dfa9-480c-aa46-111cdfced564 · outbound
This paper cites Combinational profiles of sequentia l benchmark cir- cuits,.
In-Situ Hardware Error Detection Using Specification-Derived Petri Net Models and Behavior-Derived State Sequences Combinational profiles of sequentia l benchmark cir- cuits,
Reference 50
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-15T23:42:31.866057Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.
Pith citing papers
No inbound Pith citation observations are available.