Arama Sonuçları - Nimish Mathure

Rotational abstractions for verification of quantum Fourier transform circuits Yazar: Arun Govindankutty, Sudarshan K. Srinivasan, Nimish Mathure

Tam Metin Erişim

Invulnerability invariants for software controlled speculation Yazar: Nimish Mathure, Sudarshan K. Srinivasan, Kushal K. Ponugoti

Tam Metin Erişim

Verification of serialising instructions for security against transient execution attacks Yazar: Kushal K. Ponugoti, Sudarshan K. Srinivasan, Nimish Mathure

Tam Metin Erişim

Illegal Trojan design and detection in asynchronous NULL Convention Logic and Sleep Convention Logic circuits Yazar: Kushal K. Ponugoti, Sudarshan K. Srinivasan, Scott C. Smith, Nimish Mathure

Tam Metin Erişim