Abstraction techniques for verification of multiple tightly coupled counters, registers and comparators.

Yee-Wing Hsieh Steven P. Levitan

Published in: HLDVT (2000)

Keyphrases

tightly coupled
fine grained
loosely coupled
general purpose
neural network
high level
database
data sets
artificial intelligence
image sequences
model checking
data abstraction
hardware designs