Automation of Processor Verification Using Recurrent Neural Networks | IEEE Conference Publication | IEEE Xplore