NSF SHF:Small:GOALI:Formal Equivalence Checking for Quasi-Delay-Insensitive Circuits

Publications

Kushal K. Ponugoti, Sudarshan K. Srinivasan, Scott C. Smith, and Nimish Mathure: Illegal Trojan Design and Detection in Asynchronous NULL Convention Logic and Sleep Convention Logic Circuits. IET Computer & Digital Techniques (2022), pages 10. [Scripts+Benchmarks]

Son Le, Sudarshan K. Srinivasan, and Scott C. Smith: Exploiting Dual-Rail Register Invariants for Equivalence verification of NCL Circuits. IEEE 63rd International Midwest Symposium on Circuits & Systems (MWSCAS 2020), pages 4. [Scripts+Benchmarks]

Son Le, Sudarshan K. Srinivasan, and Scott Smith: Formal verification of Completion-Completeness for NCL Circuits. IEEE 63rd International Midwest Symposium on Circuits & Systems (MWSCAS 2020), pages 4 [Scripts+Benchmarks]

Kushal K. Ponugoti, Sudarshan K. Srinivasan, and Scott C. Smith: Hardware Trojan Design and Detection in Asynchronous NCL Circuits. 27th IEEE International Conference on Electronics, Circuits & Systems (ICECS 2020), pages 4. [Scripts+Benchmarks]

Mousam Hossain, Ashiq A. Sakib, Sudarshan K. Srinivasan, and Scott C. Smith: An Equivalence verification Methodology for Asynchronous Sleep Convention Logic Circuits. IEEE International Symposium on Circuits and Systems (ISCAS 2019), pages:1-5. [Scripts+Benchmarks]

Ashiq Sakib, Son Le, Scott C. Smith, and Sudarshan Srinivasan: Book Chapter Title: Formal verification of NCL circuits. Book Title: Asynchronous Circuit Applications. The Institution of Engineering and Technology, London, United Kingdom, 2019. [Scripts+Benchmarks]

Ashik A. Sakib, Scott C. Smith, and Sudarshan K. Srinivasan Formal Modeling and verification of PCHB Asynchronous Circuits IEEE Transactions on Very Large Scale Integration (VLSI) Systems, vol. 27, no. 12, pp. 2911-2924 (2019) [Scripts+Benchmarks]

Son Le, Sudarshan K. Srinivasan, and Scott Smith Automated verification of input completeness for NCL circuits IET Electronic Letters, 54(20), pages 1158-1160 (2018). [Scripts+Benchmarks]

Ashiq A. Sakib, Scott C. Smith, and Sudarshan K. Srinivasan An Equivalence verification Methodology for Combinational Asynchronous PCHB Circuits IEEE 61st International Midwest Symposium on Circuits and Systems (MWSCAS 2018), pages 767-770. [Scripts+Benchmarks]