Design and Testing of Reversible Logic (2020)