5 citations · 9 across the 38 of their papers we have counts for
1 paper · 2 filters
Hongqin Lyu, Yonghao Wang, Zhiteng Chao +2
Assertion-based Verification (ABV) is essential for ensuring that hardware designs conform to their intended specifications. However, existing automated assertion-generation approa…