CorrectHDL: Agentic HDL Design with LLMs Leveraging High-Level Synthesis as Reference