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]
Abstract is missing.