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