Sateesh, Vadlamuri Venakta (2016) Development and Formal Verification of On-Chip Protocol Converter. MTech thesis.
