Building coercive Lyapunov-Krasovskii functionals based on Razumikhin and Halanay approaches