Automation of Processor Verification Using Recurrent Neural Networks.
Martin FajcikPavel SmrzMarcela ZachariásováPublished in: MTV (2017)
Keyphrases
- recurrent neural networks
- functional verification
- recurrent networks
- neural network
- echo state networks
- complex valued
- feed forward
- reservoir computing
- artificial neural networks
- model checking
- hidden layer
- high speed
- parallel processing
- neural model
- cascade correlation
- verification method
- feedforward neural networks
- instruction set
- distributed memory
- computer architecture
- probabilistic model
- data mining
- hebbian learning
- nonlinear dynamic systems
- rule base