DSVD: Dynamic Self-Verify Decoding for Faithful Generation in Large Language Models