RTL-FSMx: Fast and Accurate Finite State Machine Extraction at the RTL for Security Applications

ePrint Report: RTL-FSMx: Fast and Accurate Finite State Machine Extraction at the RTL for Security Applications

Rasheed Kibria, M. Sazadur Rahman, Farimah Farahmandi, Mark Tehranipoor

At the early stage of the design process, many security vulnerability assessment solutions require fast and precise extraction of the finite state machines (FSMs) present in the register-transfer level (RTL) description of the design. FSMs should be accurately extracted for watermark insertion, fault injection assessment of control paths in a system-on-chip (SoC), information leakage assessment, …

applications eprint report fast finite state machine security state