%0 Journal Article
%T ChatModel: Automating Reference Model Design and Verification with LLMs
%A Ye, Jianmin
%A Liu, Tianyang
%A Tian, Qi
%A Su, Shengchu
%A Jiang, Zhe
%A Wang, Xi
%J Computing Research Repository
%V 2025
%N 2506
%D 2025-06-24
%~ DeepDyve