Ecco quello che mi è venuto in mente (comunque bel progetto, avrei una nixie anche io a casa, non chiedetemi come mai, ma preferisco un bel 7 segmenti
)
CITAZIONE
I pulsanti incrementano di "uno" i display di secondi/minuti/ore per regolare l'ora, sopra ai decoder i numeri indicano i numeri corrispondenti dei catodi di ciascuna nixie.
Nell'orologio ad integrati che avevo fatto io, per regolare le ore e i minuti facevo arrivare il clock di 1Hz, attraverso il pulsante e un mux, ai clock dei vari decoder, in modo da far avanzare velocemente il tutto e non dover stare lì a premere tante volte
CITAZIONE
Apparte al fatto che ho seri dubbi che i 4017 riescano a pilotare direttamente le nixie
Non so quanto chieda una nixie per funzionare, ma tutti i circuiti che ho visto avevano un BJT che pilotava il "qualcosa" dopo il decoder. Anche se era un 7segmenti.
CITAZIONE
prendere la frequenza di rete non so quanto sia pratico... consigli???
La frequenza di rete può essere l'idea migliore. Solo che ti servirebbe il divisore di frequenza x50, che è un po' rognoso perchè non è multiplo di 2, ma fattibile. Dovresti abbassare la tensione di rete con un trasformatorino, magari con quello che alimenta il tutto, e se la tensione è abbastanza bassa con delle CMOS risolvi.
Per il resto sembra ok.