Bridging the Gap between Hardware Fuzzing and Industrial Verification

Documenti analoghi

• SimFuzz: Similarity-guided Block-level Mutation for RISC-V Processor Fuzzing
  di: Lyu, Hao, et al.
  Pubblicazione: (2026)
• SynFuzz: Leveraging Fuzzing of Netlist to Detect Synthesis Bugs
  di: Saravanan, Raghul, et al.
  Pubblicazione: (2025)
• Towards Closing the Performance Gap for Cryptographic Kernels Between CPUs and Specialized Hardware
  di: Zhang, Naifeng, et al.
  Pubblicazione: (2025)
• RTL2M$μ$PATH: Multi-$μ$PATH Synthesis with Applications to Hardware Security Verification
  di: Hsiao, Yao, et al.
  Pubblicazione: (2024)
• TroLL: Exploiting Structural Similarities between Logic Locking and Hardware Trojans
  di: Liu, Yuntao, et al.
  Pubblicazione: (2023)