On using ABC for deriving distinguishing sequences for Verilog-descriptions. - Natalia Kushik; Nina Yevtushenko 001; Stanislav N. Torgaev; Nikita Shatilov (EWDTS, 2015)