【摘 要】
：
为了克服现有等价性验证技术难以快速验证复杂算术电路的局限性，提出了一种利用综合引擎分析并再现算术电路优化过程的算法．该算法结合了乘法器的编码方式识别技术、加法电路的
【机 构】
：
浙江大学超大规模集成电路设计研究所
【基金项目】
：
国家自然科学基金资助项目（90207002）.
论文部分内容阅读
为了克服现有等价性验证技术难以快速验证复杂算术电路的局限性，提出了一种利用综合引擎分析并再现算术电路优化过程的算法．该算法结合了乘法器的编码方式识别技术、加法电路的半加树提取技术和部分积加法电路的架构识别技术来提取乘法电路的实现结构，以此生成与实现电路结构相似且逻辑正确的网表．针对算术电路结构的相似性，仅分析低位输出的电路架构以降低算法复杂度．实验结果表明，与传统的算术电路验证算法相比，该算法可以明显提高算术电路的验证速度，并且可以直接结合到现有的寄存器传输级（RTL）和门级网表的验证流程中，从而提高了算
其他文献
在弯道技术教学中,对本校95级2个教学班采用两种不同的教法,实验结果表明,重视并加强学生对弯道平衡动作的掌握,可提高弯道教学效果。
<正> 四、直道技术身体姿势为了滑得快,运动员或者尽力减少阻力,或者增加推进力,或者同时采用以上两种方法。从力学的原理看,运动员只有掌握了正确的技术才能达到上述要求。
国家投资经营法的产生是市场经济体制下社会经济发展的必然产物。克服市场唯利性缺陷是国家投资经营法产生的经济基础。只要市场经济存在，市场唯性性缺陷也就必然存在，国家投资
通过对速度滑冰3种教学方法的比较分析,在实验的基础上,讨论其利弊,选择了打破班级界限,按学生的实际技术水平,进行跨班级联合的高效益的教学方法。
本文摘译自美国《越野滑雪训练的生理学指南》有关章节.作者B·沙克依博士,从运动生理学角度出发,结合美国越野滑雪队多年训练的成功经验,向教练员介绍了他是如何利用无
<正> 综括前两章,各项速滑比赛时男、女运动员的心率均在180～200次/分之间,平均速度为8～10米/秒。包括跳跃、旋转在内的花样滑冰单人自由滑,运动员的心率是180～190次/分,平均速
<正>当前,我国普通高校共计达到1553所。而在这千余所高校中,在校大学生总人数已经超过一千万。随着社会节奏的不断加快,社会竞争日趋激烈,大学生们所面临的心理健康问题成为
传统变压器变换速度慢,调节能力差,同时体积庞大增加占地面积。随着全控器件的发展,利用全控器件开关性能优良的特点,电力电子变压器也随之壮大发展起来,优势也很明显,电力电
针对JPEG2000标准建议的码率控制算法的计算复杂度高且占用存储空间大的问题，提出了一种基于线性预测的动态阈值截断的码率控制算法．通过分析小波变换特点及图像边缘和纹理特性
杠杆在金融领域中的使用日益频繁,在危机爆发后人们愈发认识到在杠杆作用下系统性风险带来的严重后果。而我国业已出现了风险铁三角现象:生产率下降、杠杆率上升、政策空间收窄,这严重影响到国民经济的稳健发展。其中企业部门杠杆上升最为显著,国民部门间出现了结构性杠杆失衡,导致风险积聚,因此企业部门亟需降杠杆。为研究如何有效的对企业部门进行降杠杆,首先需对企业部门高杠杆的形成原因进行梳理。根据数据分析并结合相关