The SyReC hardware description language: Enabling scalable synthesis of reversible circuits | IEEE Conference Publication | IEEE Xplore