基于硬件描述语言的可逆逻辑描述与验证方法

梁晓雄，赵曙光，郭荣田

Reversible Logic Description and Verification Based on Hardware Description Language

LIANG Xiaoxiong, ZHAO Shuguang, GUO Rongtian

. 2016, (10): 1 .