Micro-Architecture Verification for Microprocessors.

Eyal Bin Laurent Fournier

Published in: MTV (2004)

Keyphrases

instruction set
real time
model checking
genetic algorithm
social networks
computer science
management system
reference model
computing power
data sets
low cost
software architecture
conceptual model
distributed architecture
master slave