Towards a Design Flow for Reversible Logic