Qihe: A General-Purpose Static Analysis Framework for Verilog

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Chen, Qinlin, Zhang, Nairen, Wang, Jinpeng, Cui, Jiacai, Tan, Tian, Ma, Xiaoxing, Xu, Chang, Lu, Jian, Li, Yue
Format:	Preprint
Publié:	2026
Sujets:	Programming Languages
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Internet

https://arxiv.org/abs/2601.11408