电子科技2016，Vol.29Issue(10)：1-3,8,4.DOI:10.16180/j.cnki.issn1007-7820.2016.10.001
基于硬件描述语言的可逆逻辑描述与验证方法
Reversible Logic Description and Verification Based on Hardware Description Language
摘要
关键词
可逆逻辑电路/硬件描述语言/可逆算术逻辑单元/仿真验证分类
信息技术与安全科学引用本文复制引用
梁晓雄,赵曙光,郭荣田..基于硬件描述语言的可逆逻辑描述与验证方法[J].电子科技,2016,29(10):1-3,8,4.基金项目
国家自然科学基金资助项目(61272224) （61272224）
