[time-nuts] 10MHz to 80MHz frequency multiplier suggestions

[Elio Corbolante]

I'd like to convert the 10MHz output of a Thunderbolt to 80MHz: it should be
used as a 3.3V clock for an A/D converter.
Even if I have already taken a look to documentation from KO4BB and Wenzel
regarding frequency multiplier,
I'm asking if you have some more references or even better, some schematics
of a working 8x multiplier.

.     thanks in advance
_        Elio Corbolante.