Equivalence verification for NULL Convention Logic (NCL) circuits - researchr publication related

researchr

You are not signed in
Sign in
Sign up

Vidura Wijayasekara, Sudarshan K. Srinivasan, Scott C. Smith. Equivalence verification for NULL Convention Logic (NCL) circuits. In 32nd IEEE International Conference on Computer Design, ICCD 2014, Seoul, South Korea, October 19-22, 2014. pages 195-201, IEEE, 2014. [doi]

The following publications are possibly variants of this publication:

Designing Asynchronous Circuits using NULL Convention Logic (NCL)Scott C. Smith, Jia Di. Synthesis Lectures on Digital Circuits and Systems, Morgan & Claypool Publishers, 2009. [doi]

Combining Relaxation With NCL_X for Enhanced Optimization of Asynchronous Null Convention Logic CircuitsDanylo Khodosevych, Alexander C. Bodoh, Ashiq A. Sakib, Scott C. Smith. access, 11:104688-104699, 2023. [doi]

An Equivalence Verification Methodology for Asynchronous Sleep Convention Logic CircuitsMousam Hossain, Ashiq A. Sakib, Sudarshan K. Srinivasan, Scott C. Smith. iscas 2019: 1-5 [doi]

Design of an FPGA Logic Element for Implementing Asynchronous NULL Convention Logic CircuitsScott C. Smith. tvlsi, 15(6):672-683, 2007. [doi]

Exploiting Dual-Rail Register Invariants for Equivalence Verification of NCL CircuitsSon N. Le, Sudarshan K. Srinivasan, Scott C. Smith. mwscas 2020: 21-24 [doi]

runs on WebDSL