Topaz: Mining high-level safety properties from logic simulation traces. - Ahmed Nassar 001; Fadi J. Kurdahi; Salam R. Zantout (DATE, 2016)