A general decomposition strategy for verifying register renaming.

Hazem I. Shehata Mark D. Aagaard

Published in: DAC (2004)

Keyphrases

special case
real time
neural network
three dimensional
closely related
databases
image processing
multimedia
face recognition
bayesian networks
objective function
wavelet packet