Automation of Processor Verification Using Recurrent Neural Networks

Martin Fajcik, Pavel Smrz, Marcela Zachariásová. Automation of Processor Verification Using Recurrent Neural Networks. In 18th International Workshop on Microprocessor and SOC Test and Verification, MTV 2017, Austin, TX, USA, December 11-12, 2017. pages 15-20, IEEE Computer Society, 2017. [doi]

Authors

Martin Fajcik

This author has not been identified. Look up 'Martin Fajcik' in Google

Pavel Smrz

This author has not been identified. Look up 'Pavel Smrz' in Google

Marcela Zachariásová

This author has not been identified. Look up 'Marcela Zachariásová' in Google