Self-timed automatic test pattern generation for null convention logic.

Nastaran Nemati Mark C. Reed Sri Parameswaran Karl M. Fant

Published in: MWSCAS (2016)

Keyphrases

fully automatic
logic programming
semi automatic
modal logic
predicate logic
decision trees
computer vision
artificial neural networks
low power
automated reasoning
classical logic