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

模型检验中迁移关系的分组策略

邵明  李光辉  李晓维  
【摘要】:迁移关系的构建是基于BDD模型检验中的一个重要环节 ,而建立占内存尽可能小且运算高效的迁移关系一直是难点 ,通常做法是对迁移关系进行分割 提出一种的对按位分割后的迁移关系进行分组的方法 通过对IS CAS 89中时序电路的试验表明 ,该方法对其中部分电路是有效可行的

知网文化
【相似文献】
中国期刊全文数据库 前20条
1 王明全,于海斌;基于遗传禁忌混合策略的二叉判定图最小化算法研究[J];信息与控制;2005年02期
2 王明全,于海斌,王宏;二叉判定图最优化算法研究综述[J];信息与控制;2004年05期
3 黄健声;梁蓓;;MOS电流模逻辑标准单元设计方法[J];贵州大学学报(自然科学版);2007年02期
4 李绍荣;徐玉婷;;基于BDD的组合电路等价性检验[J];计算机科学;2007年03期
5 曾琼;闫炜;;组合电路等价性检验方法研究[J];计算机工程;2007年04期
6 郭建,韩俊刚;用VIS系统验证电路的实时特性的探讨[J];计算机工程与应用;2001年17期
7 冯毅;易江芳;刘丹;佟冬;程旭;;面向SoC系统芯片中跨时钟域设计的模型检验方法[J];电子学报;2008年05期
8 虞蕾;赵宗涛;;PSL的有界模型检验[J];电子学报;2009年03期
9 李鸿;;移位型计数器中反馈逻辑电路的设计[J];中国西部科技;2006年07期
10 李鸿;;移位型计数器中反馈逻辑电路的设计[J];山西电子技术;2006年03期
11 刘慧,朱明程;一种新型仿生硬件容错系统——胚胎电子系统[J];半导体技术;2002年05期
12 姚睿,王友仁,于盛林;胚胎型仿生硬件结构容错机制与设计方法研究[J];计算机测量与控制;2005年09期
13 王宁,刘慧,朱明程;基于SRAM FPGA的MuxTree结构模型的可容错全加器的设计[J];半导体技术;2003年05期
14 ;[J];;年期
15 ;[J];;年期
16 ;[J];;年期
17 ;[J];;年期
18 ;[J];;年期
19 ;[J];;年期
20 ;[J];;年期
中国重要会议论文全文数据库 前2条
1 赵阳;刘领一;李晓维;;基于BDD启发策略的门级电路前像计算方法[A];第四届中国测试学术会议论文集[C];2006年
2 杨军;葛海通;;基于BDD的时序电路等价性验证[A];第四届中国测试学术会议论文集[C];2006年
中国博士学位论文全文数据库 前1条
1 杨军;集成电路的逻辑等价性验证研究[D];浙江大学;2007年
中国硕士学位论文全文数据库 前7条
1 张泽恩;基于GSTE中的符号仿真设计与实现[D];电子科技大学;2012年
2 徐琳琳;模型检验器前端系统的设计与实现[D];电子科技大学;2007年
3 曹占涛;基于GSTE理论的反例研究[D];电子科技大学;2010年
4 刘辰;基于MDD和多值多位变量的GSTE算法实现[D];电子科技大学;2012年
5 祝睿;针对GSTE的电路模型抽取[D];电子科技大学;2010年
6 李智慧;基于BDD的逻辑电路验证[D];宁波大学;2009年
7 于建姝;铝互连线电迁移可靠性研究[D];天津大学;2010年
中国知网广告投放
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62982499
  • 010-62783978