Equivalence verification for NULL Convention Logic (NCL) circuits.

Vidura Wijayasekara, Sudarshan K. Srinivasan, Scott C. Smith

Browse the full ICCD paper archive.