收藏本站
收藏 | 手机打开
二维码
手机客户端打开本文

算术电路的等价性验证

翁延玲  严晓浪  葛海通  郑飞君  
【摘要】:本文提出了一种利用综合引擎重现算术电路的优化过程的算法,提高了等价性验证效率。ZDFV的综合引擎首先识别乘法器的编码方式,提取部分积的加法树实现方案;然后根据这些信息生成与实现电路结构相似且逻辑正确的网表。本算法可直接结合到现有的 RTL和门级网表的验证流程中,从而提高算术电路的验证能力。

知网文化
【相似文献】
中国期刊全文数据库 前20条
1 彭骏;耿亦兵;;随书光盘的综合管理与利用[J];图书馆杂志;2004年01期
2 ;中国重点高校综合竞争力排行榜[J];评价与管理;2005年02期
3 线东升;;大比例尺数字地形图缩编方法的研究[J];测绘与空间地理信息;2009年06期
4 高睿华;Mentor EDA系统对VHDL语言的模拟、综合、优化及FPGA设计[J];航空计算技术;1998年01期
5 唐林燕;如何构造复杂系统──谈谈OORAM方法中的模型综合[J];现代计算机;1999年08期
6 张萌,吴自信,刘昊,陆生礼;基于FPGA的DES算法实现[J];电子器件;2002年03期
7 涂卫平,文贵华,丁月华,范崇贵;创新设计中的多视点需求分析方法[J];计算机应用研究;2003年01期
8 袁本荣 ,刘万春 ,贾云得 ,朱玉文;用Verilog HDL进行FPGA设计的一些基本方法[J];微计算机信息;2004年06期
9 聂翔;王春侠;;基于FSM的电梯控制系统的设计与实现[J];微计算机信息;2006年25期
10 高明伦;许海辉;张多利;;一种多位计数器的设计方法[J];电子测量与仪器学报;2007年03期
11 张巍;白天明;孟士超;;XST综合中的器件冗余及其程序优化[J];计算机与数字工程;2009年05期
12 刘峰山;;几种有限状态机的设计方法及其比较[J];科技信息;2010年29期
13 黄明和;钟元生;邓少敏;;过河算法的综合[J];计算机研究与发展;1992年04期
14 毛锁方,宋文东,孙金伦;宽带光纤传送网的层间综合自愈策略[J];光通信研究;1998年06期
15 俞冠生;如何用Verilog HDL来设计数字系统[J];雷达科学与技术;1999年02期
16 赵友林;刘向《别录》编纂的条件及原因初探[J];聊城师范学院学报(哲学社会科学版);2000年04期
17 葛晨阳;视频增强处理芯片设计[J];电子技术;2001年10期
18 孙富明 ,李笑盈;基于多种EDA工具的FPGA设计[J];电子技术应用;2002年01期
19 张彩珍,陈永刚;EDA的发展及组成[J];兰州铁道学院学报;2002年06期
20 吴悦,聂新义,杨洪斌,唐毅;VHDL顺序语句的元件划分及其抽象电路结构的生成[J];计算机辅助设计与图形学学报;2003年09期
中国重要会议论文全文数据库 前10条
1 翁延玲;严晓浪;葛海通;郑飞君;;算术电路的等价性验证[A];第四届中国测试学术会议论文集[C];2006年
2 张华;王勇;丁振宇;;E面耦合窄带波导滤波器的快速设计方法[A];2007年全国微波毫米波会议论文集(下册)[C];2007年
3 赵庆;;基于verilog的数字可综合电路设计[A];中国电子学会第十五届信息论学术年会暨第一届全国网络编码学术年会论文集(下册)[C];2008年
4 刘公致;;基于通用实验平台的积木式加宝塔式电子系统综合实验箱设计[A];全国高等学校电子技术研究会2008年年会论文集[C];2008年
5 屠文震;;中西医综合分期疗法治疗系统性硬皮病临床体会[A];海峡两岸中医药发展大会风湿论文集[C];2009年
6 罗左毅;;论外语教学中的跨文化因素导入机制[A];第六届中国跨文化交际研究会年会论文摘要汇编[C];2005年
7 线东升;李文东;;大比例尺数字地形图缩编方法的研究[A];吉林省测绘学会2008年学术年会论文集(上)[C];2008年
8 贺宝通;张郎;;紫花苜蓿大田病虫害综合防治技术[A];中国草业可持续发展战略论坛论文集[C];2004年
9 李天荣;任李心;张广微;吴洋;李宇;;颈椎病基础理论及治疗原则的探讨[A];中华中医药学会针刀医学分会二○○九年度学术会议论文集[C];2009年
10 费秋林;;钻研教材是新课程改革成功的根——浅谈新课程理念下小学语文老师如何钻研教材?[A];江苏省教育学会2005年小学语文优秀论文集[C];2005年
中国博士学位论文全文数据库 前10条
1 潘卫红;康德的先验想象力研究[D];中国人民大学;2006年
2 肖爱民;综合的时代[D];吉林大学;2005年
3 王雯静;柔顺机构动力学分析与综合[D];北京工业大学;2009年
4 毛睿杰;高性能小型化平面滤波器设计与应用研究[D];电子科技大学;2007年
5 孙秀莉;基于动作细化的异步电路自动综合[D];中国科学院研究生院(成都计算机应用研究所);2005年
6 付广;泥质岩盖层对各种相态天然气封闭机理及其定量研究[D];大庆石油学院;2006年
7 卢永江;超大规模集成电路形式验证的方法研究[D];浙江大学;2005年
8 杨军;集成电路的逻辑等价性验证研究[D];浙江大学;2007年
9 翁延玲;RTL到门级设计的等价性验证的研究[D];浙江大学;2008年
10 郑飞君;基于布尔可满足性的逻辑电路等价性验证和测试生成技术研究[D];浙江大学;2008年
中国硕士学位论文全文数据库 前10条
1 段会亮;论专利侵权中的等同原则[D];山东大学;2005年
2 孙晓岩;蒸汽动力和压缩制冷系统的综合与模拟[D];青岛科技大学;2005年
3 梁敏;试论提升广西糖业的综合竞争力[D];广西大学;2005年
4 王清泉;中学历史教材的沿革与改革对策研究[D];云南师范大学;2005年
5 宋云博;国内综合自由贸易区法律问题研究[D];郑州大学;2006年
6 周宁;集成电路等价性验证系统设计及其实现[D];兰州大学;2007年
7 武华锋;矩形波导E面膜片带通滤波器的研究与设计[D];西安电子科技大学;2006年
8 赵佳媚;一款通信芯片的逻辑综合和等价性验证[D];西安电子科技大学;2009年
9 胡万梅;综合的结晶:巴思的《迷失在开心馆》的主题分析[D];兰州大学;2007年
10 唐平波;广西各级综合档案馆利用工作研究[D];广西民族大学;2007年
中国知网广告投放
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62982499
  • 010-62783978