CoverAssert: Iterative LLM Assertion Generation Driven by Functional Coverage via Syntax-Semantic Representations

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Wang, Yonghao, Yin, Yang, Lyu, Hongqin, Zhou, Jiaxin, Chao, Zhiteng, Shi, Mingyu, Ding, Wenchao, Du, Yunlin, Ye, Jing, Wang, Tiancheng, Li, Huawei
Formato:	Preprint
Publicado:	2026
Materias:	Hardware Architecture
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Internet

https://arxiv.org/abs/2604.06607