New paper and code on gate-level Trojan detection, also picked up by SemiIPHub

Navid’s new paper on gate-level Trojan detection from RTL is available on ArXiv. We report near-perfect score based on the setup of the ICCAD 2025 contest Problem A, organized by Cadence. The code is also available on GitHub. SemiIPHub also posted about this work.