Efficient Microprocessor Verification using Antecedent Conditioned Slicing.

Shobha Vasudevan Vinod Viswanath Jacob A. Abraham

Published in: VLSI Design (2007)

Keyphrases

functional verification
neural network
databases
database
real time
data sets
search engine
website
high speed
lightweight
model checking
design methodology
instruction set