Verificatore LFSR

Verificatore LFSR fornisce una validazione accurata delle configurazioni del registro a scorrimento con retroazione lineare utilizzato in crittografia leggera, generazione di numeri pseudo-casuali e progettazione hardware. Accetta la larghezza specificata dall'utente, taps (polinomio), stato iniziale e architettura (Fibonacci o Galois) per ragionare sull'evoluzione dello stato e sulle proprietà della sequenza. Il tool modella l'aggiornamento di stato come una funzione di transizione deterministica. Calcola i bit dello stato successivo, traccia le uscite e può enumerare l'intera sequenza fino a ripetizione o a una soglia fornita. Riporta la lunghezza del ciclo, se la configurazione raggiunge la lunghezza massima per la larghezza data e i taps effettivi che influenzano ogni bit. Rileva inoltre input non validi sin dall'inizio (seed nullo).
Tra le funzionalità principali ci sono il supporto per forme LFSR comuni, la validazione delle proprietà di periodo massimo e condizioni di fine configurabili. È utile per verificare parametri PRNG, ispezionare generatori legati alla crittografia o per esplorazioni didattiche dell'impatto della posizione dei taps su periodo e distribuzione dei bit. Risultati pensati per l'integrazione in API e pipeline di verifica o analisi offline.