Enviar aquest missatge de text: On using ABC for deriving distinguishing sequences for Verilog-descriptions