A Novel SMT-Based Technique for LFSR Reseeding.

Sarvesh Prabhu Michael S. Hsiao Loganathan Lingappan Vijay Gangaram

Published in: VLSI Design (2012)

Keyphrases

statistical machine translation
shift register
random number generator
modulo theories
word alignment
information retrieval
decision trees
natural language processing
answer set programming