DERECK: un Efficiente Verificatore di Layout