Automatic assertion extraction via sequential data mining of simulation traces | IEEE Conference Publication | IEEE Xplore