A novel formal verification approach for RTL hardware IP cores. - Ridha Djemal; Ayoub Dhouib; Samuel Dellacherie; Rached Tourki (Comput. Stand. Interfaces, 2005)