Formal Analysis of Security Data Paths in RTL Design. - Jamil Mazzawi; Ziyad Hanna (Haifa Verification Conference, 2012)