基于多项式符号代数的系统芯片DA新方法研究
【项目名称】 基于多项式符号代数的系统芯片DA新方法研究
【项目编号】 60273081
【项目目标】
【项目关键词】 系统芯片 多项式表示 多项式 形式验证 符号 代数 新方法研究 无关项 分支电路 字级 数据通路 电路 除法运算 HDL描述 分支函数 模运算 不连续函数 结构描述 VHDL 条件控制 操作符 验证过程 不连续点 硬件描述语言 指令集 HDL 举例说明 计算过程 高层 分支 函数 核心 概念 ?
【项目承办单位】 哈尔滨工程大学;
【项目负责人】 马光胜;
【项目来源】 国家自然科学基金项目
【涉及学科】 无线电电子学
【科研经费】 20万
【所属大项目】
【项目参与研究人员】
    【项目参与研究机构】
    【项目成果摘要】
    【发布单位】 国家自然科学基金委员会
    【发布时间】 2001-12-04
    【申请截止时间】 2002-03-31
    【立项时间】 2003-01
    【完成时间】 2005-12
    【申请条件】
    【联系方式】
    【项目信息来源】 https://isis.nsfc.gov.cn/portal/proj_search.asp
    加载本项目科研成果产出报表....
    加载本项目科研成果....
    加载项目负责人以往科研成果....
    加载同类科研项目成果比较....
    加载本项目科研成果引证文献....
    加载学术文献....
    加载所属大项目下的其它项目....
    加载相关研究人员....
    加载相关研究机构....