LLM(Large Language Model)을 활용하여 자연어 명세로부터 System Verilog 어서션을 자동으로 생성하는 ChIRAAG 프레임워크를 제안한다. ChIRAAG는 명세를 표준화된 형식으로 체계적으로 분해하고, LLM을 활용하여 어서션을 생성한다. 또한 시뮬레이션 로그를 LLM에 자동으로 피드백하여 올바른 어서션을 생성할 수 있도록 한다.
