Generating and checking control logic in the HDL-based design of reversible circuits | IEEE Conference Publication | IEEE Xplore