面向RT级电路的分级模型判别技术
基本信息
批准号：60273011
项目类别：面上项目
资助金额：20.00
负责人：吴为民
学科分类：
依托单位：清华大学
批准年份：2002
结题年份：2005
起止时间：2003-01-01 - 2005-12-31
项目状态： 已结题
项目参与者：曹云,薛宏熙,朱明,周汉斌,李卓远,蒋俊寰,童琨,聂江波,王迪
关键词：
形式验证模型判别分级验证
结项摘要
本课题针对寄存器传输(RT)级电路研究分级的模型判别问题。包括两个方面的内容,一是分级的有限状态自动机(FSM)的表示和提取方法,二是在分级FSM上的验证方法,本课题的研究成功将在空间需求和运行时间两方面大幅度提高模型判别的效率,大大提高模型判别工具的实用性.
项目摘要
项目成果
{{index+1}}
{{i.achievement_title}}
{{i.achievement_title}}
DOI：{{i.doi}}
发表时间：{{i.publish_year}}
暂无此项成果
数据更新时间：2023-05-31
其他相关文献
1
一种基于多层设计空间缩减策略的近似高维优化方法
一种基于多层设计空间缩减策略的近似高维优化方法
DOI：10.1051/jnwpu/20213920292
发表时间：2021
2
二维FM系统的同时故障检测与控制
二维FM系统的同时故障检测与控制
DOI：10.16383/j.aas.c180673
发表时间：2021
3
扶贫资源输入对贫困地区分配公平的影响
扶贫资源输入对贫困地区分配公平的影响
DOI：
发表时间：2020
4
LTNE条件下界面对流传热系数对部分填充多孔介质通道传热特性的影响
LTNE条件下界面对流传热系数对部分填充多孔介质通道传热特性的影响
DOI：10.11949/0438-1157.20201662
发表时间：2021
5
基于两阶段TOPSIS-DEA模型的我国商业银行经营绩效评价
基于两阶段TOPSIS-DEA模型的我国商业银行经营绩效评价
DOI：
发表时间：2017
吴为民的其他基金
批准号：60673034
批准年份：2006
资助金额：25.00
项目类别：面上项目
相似国自然基金
1
面向部件级、芯片级集成电路软错误率评估模型及评估方法研究
批准号：61804180
批准年份：2018
负责人：宋睿强
学科分类：F0406
资助金额：24.00
项目类别：青年科学基金项目
2
面向SAR图像变化检测的稀疏判别学习模型与方法研究
批准号：61901297
批准年份：2019
负责人：王少娜
学科分类：F0113
资助金额：24.50
项目类别：青年科学基金项目
3
抗电路板级物理攻击的TEE防护技术研究
批准号：61802375
批准年份：2018
负责人：赵世军
学科分类：F0205
资助金额：23.00
项目类别：青年科学基金项目
4
单级可升压逆变电路拓扑形成理论和电抗源逆变电路关键技术研究
批准号：51477079
批准年份：2014
负责人：丁新平
学科分类：E0706
资助金额：82.00
项目类别：面上项目