Hardware and firmware verification and validation: an algorithm-to-firmware development methodology.
Henry CoxHarry H. ChenPublished in: DATE (2019)
Keyphrases
- learning algorithm
- computational complexity
- experimental evaluation
- times faster
- operating system
- high accuracy
- matching algorithm
- computer systems
- improved algorithm
- power consumption
- optimal solution
- cost function
- np hard
- neural network
- computationally efficient
- data processing
- computational cost
- search space
- preprocessing
- worst case
- real time
- search algorithm
- verification method
- vlsi implementation
- hardware architecture
- hardware implementation
- hardware and software
- bayesian networks
- objective function
- expectation maximization
- probabilistic model
- simulated annealing
- low cost