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

来源 :电子科技 | 被引量 : 0次 | 上传用户:jhl1989
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
针对可逆逻辑综合在设计较大规模可逆逻辑电路中遇到的瓶颈,文中借助于硬件描述语言的高层次抽象描述能力以及现有EDA平台的仿真验证功能,通过在模块中添加辅助位的方法,使得模块在具有相应功能的同时具备可逆性,并对模块进行实例化,实现对可逆算术逻辑单元的描述与综合。仿真验证表明,该方法具有一定的可行性和有效性。
其他文献
KDP晶体超精密加工机床的加工精度与主轴系统的振动存在着密切的联系。为了解决KDP晶体超精密加工机床的加工稳定性差、精度难以保证的问题,利用ANSYS Workbench软件建立了主
肺癌是最常见的恶性肿瘤之一,主要临床症状为咳嗽、咯血、胸痛等。古无肺癌之名,其症状类似“肺积”。肺癌咯血系肺之络脉受损,其血由肺而来。癌肿腐蚀脉络时,可引起痰中带血,常反
目的 探讨基于微信平台的混合式教学对实习护生自主学习能力的影响。方法 随机将实习生分为对照组和观察组各30例,对照组采用常规护理带教,观察组在常规带教基础上实施基于微
近年来具有代表性的工作之一是Felzenszwalb等人提出的可变形部件模型。文中从可变形部件模型中存在的一些问题展开讨论,并提出了一种基于动态加权可变形部件模型的行人检测算法。在各个部件的检测中使用动态调整权值的方法获得更加准确的判断,从而识别处于复杂环境中的行人。实验结果表明,该方法能够有效识别复杂环境中传统DPM方法难以识别的行人。
ue*M#’#dkB4##8#”专利申请号:00109“7公开号:1278062申请日:00.06.23公开日:00.12.27申请人地址:(100084川C京市海淀区清华园申请人:清华大学发明人:隋森芳文摘:本发明属于生物技
2006年3月30日下午,由上海市政协教科文卫体委员会、上海音乐学院联合主办,上海高校音乐人类学E-研究院倡导并承办的“城市音乐人类学论坛:世博会与音乐艺术发展研讨会”在上
现研制出紧凑型重复频率的高压开关电源,该电源具有体积小、成本低等优点,设计指标是在70 kΩ负载阻抗上上升沿600 ns,半脉宽1.5μs,输出瞬时电压峰值30-210 k V可调且电压正