面向RT级电路的分级模型判别技术
批准号：
60273011
项目类别：
面上项目
资助金额：
20.0 万元
负责人：
吴为民
依托单位：
学科分类：
计算机图形学与虚拟现实
结题年份：
2005
批准年份：
2002
项目状态：
已结题
项目参与者：
曹云、薛宏熙、朱明、周汉斌、李卓远、蒋俊寰、童琨、聂江波、王迪
关键词：
项目摘要
结项摘要
吴为民的其他基金
相似基金
相关文献
中文摘要
本课题针对寄存器传输(RT)级电路研究分级的模型判别问题。包括两个方面的内容,一是分级的有限状态自动机(FSM)的表示和提取方法,二是在分级FSM上的验证方法,本课题的研究成功将在空间需求和运行时间两方面大幅度提高模型判别的效率,大大提高模型判别工具的实用性.
英文摘要
RTL电路的混合可满足性求解和模型检验
-
批准号：60673034
-
项目类别：面上项目
-
资助金额：25.0万元
-
批准年份：2006
-
负责人：吴为民
-
依托单位：
国内基金
海外基金