Verifica della programmazione VoQ hardware su un NCS4K multicassis