Design Automation of Invertible Logic Circuit from a Standard HDL Description