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]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.