Towards Accelerating Assertion Coverage Using Surrogate Logic Models.

Tun Li, Mingchuan Shi, Hongji Zou, Wanxia Qu

Browse the full ISCAS paper archive.