Topaz: Mining high-level safety properties from logic simulation traces.

Ahmed Nassar, Fadi J. Kurdahi, Salam R. Zantout

Browse the full DATE paper archive.