ROA brick topology supplies PVT-robust 2.31 GHz SHIL that preserves 93-97% accuracy in 324-node OIM max-cut while ROSC-SHIL loses locking.
June 2025
2 Pith papers cite this work. Polarity classification is still indexing.
2
Pith papers citing it
years
2026 2verdicts
UNVERDICTED 2representative citing papers
ATLAS uses large language models to automatically generate formal security properties from threat models and vulnerability databases, detecting 39 of 48 CWEs and producing correct assertions for 33 on three HACK@DAC benchmarks.
citing papers explorer
-
ROA-Based Subharmonic Injection Locking for Oscillator-Based Ising Machines
ROA brick topology supplies PVT-robust 2.31 GHz SHIL that preserves 93-97% accuracy in 324-node OIM max-cut while ROSC-SHIL loses locking.
-
ATLAS: AI-Assisted Threat-to-Assertion Learning for System-on-Chip Security Verification
ATLAS uses large language models to automatically generate formal security properties from threat models and vulnerability databases, detecting 39 of 48 CWEs and producing correct assertions for 33 on three HACK@DAC benchmarks.