Tun Li, Mingchuan Shi, Hongji Zou, WanXia Qu. Towards Accelerating Assertion Coverage Using Surrogate Logic Models. In IEEE International Symposium on Circuits and Systems, ISCAS 2023, Monterey, CA, USA, May 21-25, 2023. pages 1-5, IEEE, 2023. [doi]
Abstract is missing.