Equivalence verification for NULL Convention Logic (NCL) circuits

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]

Authors

Vidura Wijayasekara

This author has not been identified. Look up 'Vidura Wijayasekara' in Google

Sudarshan K. Srinivasan

This author has not been identified. Look up 'Sudarshan K. Srinivasan' in Google

Scott C. Smith

This author has not been identified. Look up 'Scott C. Smith' in Google