Kan Shi

Identifiers

No identifiers captured yet.

Papers (1)

1. From Indiscriminate to Targeted: Efficient RTL Verification via Functionally Key Signal-Driven LLM Assertion Generation cs.AR · 2026 · author #9

Mentions

No mention provenance yet.

Frequent Coauthors

• Boling Chen 1 shared papers
• Feng Gu 1 shared papers
• Hongqin Lyu 1 shared papers
• Huawei Li 1 shared papers
• Jianan Mu 1 shared papers
• MinYang Bao 1 shared papers
• Tiancheng Wang 1 shared papers
• Wenchao Ding 1 shared papers
• Yonghao Wang 1 shared papers
• Zhiteng Chao 1 shared papers