fermat test says :
if $a^{N-1} \equiv 1 \pmod N$, then N is probably prime number, but according to pocklington primality test if:
$3^{N-1} \equiv 1 \pmod N $, then N is proven prime, where $N=2p+1$, and p is prime, proof :
if $N=2p+1$ then gcd$(3^{\frac{N-1}{p}} -1,N)=1$, but $3^{N-1} \equiv 1 \pmod N $, then $N$ is prime by pocklington primality test.
but my question is, is there any deterministic versions of fermat test except this one ?