Taylor expansion diagrams: a new representation for RTL verification.

Maciej J. Ciesielski Priyank Kalla Zhihong Zeng Bruno Rouzeyre

Published in: HLDVT (2001)

Keyphrases

model checking
database
data sets
databases
information retrieval
artificial intelligence
database systems
multiscale
feature vectors
image representation
graphical representation
visual representation