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

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

Browse the full ITC paper archive.