Direct Test Methodology for HDL Verification.

Rados Dabic Sasa Jednak Ilija Adzic Dusko Stanic Aleksandar Mijatovic Stanislav Vuckovic

Published in: DDECS (2015)

Keyphrases

design methodology
test generation
neural network
search engine
database systems
face verification
data structure
expert systems
model checking
formal analysis