A Novel SMT-Based Technique for LFSR Reseeding

Sarvesh Prabhu, Michael S. Hsiao, Loganathan Lingappan, Vijay Gangaram. A Novel SMT-Based Technique for LFSR Reseeding. In Vishwani D. Agrawal, Srimat T. Chakradhar, editors, 25th International Conference on VLSI Design, VLSID 2012, Hyderabad, India, January 7-11, 2012. pages 394-399, IEEE, 2012. [doi]

@inproceedings{PrabhuHLG12,
  title = {A Novel SMT-Based Technique for LFSR Reseeding},
  author = {Sarvesh Prabhu and Michael S. Hsiao and Loganathan Lingappan and Vijay Gangaram},
  year = {2012},
  doi = {10.1109/VLSID.2012.103},
  url = {http://doi.ieeecomputersociety.org/10.1109/VLSID.2012.103},
  researchr = {https://researchr.org/publication/PrabhuHLG12},
  cites = {0},
  citedby = {0},
  pages = {394-399},
  booktitle = {25th International Conference on VLSI Design, VLSID 2012, Hyderabad, India, January 7-11, 2012},
  editor = {Vishwani D. Agrawal and Srimat T. Chakradhar},
  publisher = {IEEE},
  isbn = {978-1-4673-0438-2},
}