Designing and Verifying Embedded Microprocessors.

Al Crouch Jeff Freeman

Published in: IEEE Des. Test Comput. (1997)

Keyphrases

computing power
embedded systems
model checking
neural network
artificial intelligence
expert systems
genetic algorithm
social networks
metadata
website
case study
relational databases
hidden markov models
personal computer