Formal Verification and Analysis of a Pseudo Random Number Generator

David Selvakumar, J. Mervin, Shashikala Gunderao Pattanshetty, Vivian Desalphine. Formal Verification and Analysis of a Pseudo Random Number Generator. In 25th International Symposium on VLSI Design and Test, VDAT 2021, Surat, India, September 16-18, 2021. pages 1-6, IEEE, 2021. [doi]

Authors

David Selvakumar

This author has not been identified. Look up 'David Selvakumar' in Google

J. Mervin

This author has not been identified. Look up 'J. Mervin' in Google

Shashikala Gunderao Pattanshetty

This author has not been identified. Look up 'Shashikala Gunderao Pattanshetty' in Google

Vivian Desalphine

This author has not been identified. Look up 'Vivian Desalphine' in Google