Rotational abstractions for verification of quantum Fourier transform circuits
Govindankutty, Arun, Srinivasan, Sudarshan K., Mathure, Nimish
Published in IET quantum communication (01.06.2023)
Published in IET quantum communication (01.06.2023)
Get full text
Journal Article
Formal Verification For Cyclic Quantum Walk Circuits
Sitou Campbell, Benedicto James, Srinivasan, Sudarshan K.
Published in 2024 IEEE International Symposium on Circuits and Systems (ISCAS) (19.05.2024)
Published in 2024 IEEE International Symposium on Circuits and Systems (ISCAS) (19.05.2024)
Get full text
Conference Proceeding
Modeling and Analysis of State-of-the-art VM-based Cloud Management Platforms
Malik, Saif U. R., Khan, Samee U., Srinivasan, Sudarshan K.
Published in IEEE transactions on cloud computing (01.01.2013)
Published in IEEE transactions on cloud computing (01.01.2013)
Get full text
Journal Article
Formal Verification of Completion-Completeness for NCL Circuits
Le, Son N., Srinivasan, Sudarshan K., Smith, Scott C.
Published in 2020 IEEE 63rd International Midwest Symposium on Circuits and Systems (MWSCAS) (01.08.2020)
Published in 2020 IEEE 63rd International Midwest Symposium on Circuits and Systems (MWSCAS) (01.08.2020)
Get full text
Conference Proceeding
A Formal Verification Methodology for FPGA-Based Stepper Motor Control
Jabeen, Shaista, Srinivasan, Sudarshan K., Shuja, Sana, Dubasi, Mohana Asha Latha
Published in IEEE embedded systems letters (01.09.2015)
Published in IEEE embedded systems letters (01.09.2015)
Get full text
Journal Article
Formal Verification Approach to Detect Always-On Denial of Service Trojans in Pipelined Circuits
Ponugoti, Kushal K., Srinivasan, Sudarshan K., Mathure, Nimish
Published in 2021 28th IEEE International Conference on Electronics, Circuits, and Systems (ICECS) (28.11.2021)
Published in 2021 28th IEEE International Conference on Electronics, Circuits, and Systems (ICECS) (28.11.2021)
Get full text
Conference Proceeding
A Formal Verification Approach for Detecting Opcode Trojans
Mathure, Nimish, Srinivasan, Sudarshan K., Ponugoti, Kushal K., Malik, Akansha, Quanbeck, Samuel
Published in 2020 27th IEEE International Conference on Electronics, Circuits and Systems (ICECS) (23.11.2020)
Published in 2020 27th IEEE International Conference on Electronics, Circuits and Systems (ICECS) (23.11.2020)
Get full text
Conference Proceeding
A Parameterized Benchmark Suite of Hard Pipelined-Machine-Verification Problems
Manolios, Panagiotis, Srinivasan, Sudarshan K.
Published in Correct Hardware Design and Verification Methods (2005)
Published in Correct Hardware Design and Verification Methods (2005)
Get full text
Book Chapter
Conference Proceeding