Tag: BMC
Logic Locking at the RTL, Leveraging The Behavioral State Transition Coding For Obfuscation (University of Florida)
A new technical paper titled “ReTrustFSM: Toward RTL Hardware Obfuscation-A Hybrid FSM Approach” was published by researchers at University of Florida, Gainesville, FL. Abstract:“Hardware obfuscating is a [more…]