Automation of Processor Verification Using Recurrent Neural Networks.
Martin FajcikMarcela ZachariásováPavel SmrzPublished in: CoRR (2018)
Keyphrases
- recurrent neural networks
- functional verification
- feed forward
- neural network
- recurrent networks
- model checking
- cascade correlation
- complex valued
- reservoir computing
- hidden layer
- long short term memory
- artificial neural networks
- echo state networks
- neural model
- feedforward neural networks
- parallel processing
- single chip
- verification method
- computational intelligence
- hebbian learning
- power consumption
- nonlinear dynamic systems
- back propagation
- high speed
- expert systems