Synthesis of Reversible Universal Logic around QCA with Online Testability | IEEE Conference Publication | IEEE Xplore