Automation of Processor Verification Using Recurrent Neural Networks

Martin Fajcik, Marcela Zachariasova, Pavel Smrz

When considering simulation-based verification of processors, the current trend is to generate stimuli using pseudorandom generators (PRGs), apply them to the processor inputs and…