A Novel SMT-Based Technique for LFSR Reseeding.

Sarvesh Prabhu, Michael S. Hsiao, Loganathan Lingappan, Vijay Gangaram

Browse the full VLSID paper archive.