C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Hardware Verification: Techniques, Methodology and Solutions.
Sharad Malik
Published in:
TACAS (2008)
Keyphrases
</>
low cost
real time
image processing
databases
hardware designs
neural network
model checking
information retrieval
search engine
video sequences
solution space
hardware implementation
computing power
formal verification