当前位置：
数字出版物超市 >> 
RTL电路的混合可满足性求解和模型检验
RTL电路的混合可满足性求解和模型检验
【项目名称】 RTL电路的混合可满足性求解和模型检验
【项目编号】 60673034
【项目目标】
【项目关键词】 可满足性 RTL 模型检验 形式验证 电路 寄存器传输级 模理论 开销 定理证明 求解 显式模型 集成电路 设计项目 大规模电路 发展报告 状态迁移图 前集 验证者 验证工作 设计资源 搜索 验证过程 大类 约束信息 逻辑推理 模拟验证 世纪 验证技术 半导体技术 典型研究 SMT 集成?
【项目承办单位】 清华大学;
【项目负责人】 吴为民;
【项目来源】 国家自然科学基金项目
【涉及学科】 无线电电子学
【科研经费】 25万
【所属大项目】
【项目参与研究人员】
    【项目参与研究机构】
    【项目成果摘要】
    【发布单位】 国家自然科学基金委员会
    【发布时间】 2005-12-30
    【申请截止时间】 2006-03-27
    【立项时间】 2007-01
    【完成时间】 2009-12
    【申请条件】
    【联系方式】
    【项目信息来源】 https://isis.nsfc.gov.cn/portal/proj_search.asp
    加载本项目科研成果产出报表....
    加载本项目科研成果....
    加载项目负责人以往科研成果....
    加载同类科研项目成果比较....
    加载本项目科研成果引证文献....
    加载学术文献....
    加载所属大项目下的其它项目....
    加载相关研究人员....
    加载相关研究机构....