ChatModel: Automating Reference Model Design and Verification with LLMs