Optima Design Automation, a leader in next-generation functional safety and IC-security verification, today announced its new hardware security verification solution, Optima-SECâ„¢. Optima-SECâ„¢ enables Pre-Silicon verification of Fault Injection Attacks and certifies the counter-measures adopted against such attacks, which target the extraction of secret information by side-channels.