Towards Accelerating Assertion Coverage Using Surrogate Logic Models.

Tun Li Mingchuan Shi Hongji Zou Wanxia Qu

Published in: ISCAS (2023)

Keyphrases

parameter estimation
databases
information retrieval
information systems
three dimensional
multi agent
probabilistic model
statistical model
experimental data