ARC-FSM-G: Automatic Security Rule Checking for Finite State Machine at the Netlist Abstraction

ePrint Report: ARC-FSM-G: Automatic Security Rule Checking for Finite State Machine at the Netlist Abstraction

Rasheed Kibria, Farimah Farahmandi, Mark Tehranipoor

Modern system-on-chip (SoC) designs are becoming
prone to numerous security threats due to their critical applications and ever-growing complexity and size. Therefore, the
early stage of the design flow requires comprehensive security
verification. The control flow of an SoC, generally implemented
using finite state machines (FSMs), is not an exception to this
requirement. Any deviations from the desired flow …

abstraction applications arc automatic chip complexity critical eprint report finite state machine mark report security security threats size soc stage state system threats