Bit-Level Abstraction in the Verfication of Pipelined Microprocessors by Correspondence Checking.

Miroslav N. Velev Randal E. Bryant

Published in: FMCAD (1998)

Keyphrases

high level
database
neural network
data mining
machine learning
data flow
levels of abstraction
computing power