位置：立项数据库 > 立项详情页
基于多项式符号代数的系统芯片DA新方法研究
  • 项目名称：基于多项式符号代数的系统芯片DA新方法研究
  • 项目类别：面上项目
  • 批准号：60273081
  • 申请代码：F020507
  • 项目来源：国家自然科学基金
  • 研究期限：2003-01-01-2005-12-01
  • 项目负责人：马光胜
  • 负责人职称：教授
  • 依托单位：哈尔滨工程大学
  • 批准年度：2002
中文摘要：

拓展多项式符号代数理论与运算，研究多项式符号代数与波形多项式的理论融合，研究以该数学理论为基础的SoC设计自动化新模型、新方法和新算法。本项目研究的用多项式符号代数描述的模型可以实现系统芯片从系统级到逻辑级的统一描述。主要研制适应多设计层次的综合新方法和形式验证新方法。

中文主题词： 多项式符号代数；WGL；形式验证；版图设计；SoC与IP重用
结论摘要：

英文主题词polynomial symbolic algebra；WGL；formal verification；layout；SoC and IP reuse

成果综合统计
成果类型
数量
  • 期刊论文
  • 会议论文
  • 专利
  • 获奖
  • 著作
  • 36
  • 6
  • 0
  • 0
  • 1
期刊论文
基于多项式符号运算的时钟周期确定新方法
A New Model for Verification
含有分支电路的多项式表示
动态串扰优化的开关盒布线
信号相关的串扰优化详细布线
基于多目标演化算法的SOC设计空间搜索策略
一种检测电路中关键路径的新方法
定点数据通路的等价验证
资源约束的高层次数据流调度方法
可逆电路的符号综合方法
求解SAT问题的退火遗传算法
一种应用加权相容图的可测性寄存器分配算法
VLSI设计中容性交叉耦合对时序分析的影响
新型的高层次测试综合方法
时间约束的高层次数据流调度方法
复杂数据流多项式新模型K＊TDG及搜索算法
基于全局伪路径的时钟特性分析新方法
基于WGLs的字级描述的形式验证
面向控制流密集型电路的高层次低功耗方法
一种基于可测性和低功耗的高层次综合方法
高层次数据通路的等价性验证方法
基于多项式符号代数方法的高层次数据通路的等价验证
应用吴方法进行高层次定界模型检验
定点算术数据通路的等价性检验方法
NoC处理单元随机舍入的启发式应用映射
基于相关系数-海森矩阵的漏功耗分析
高层次数据流的多电压低功耗综合方法
SoC测试调度的进程代数模型
可满足性求解器中一种可观无关性利用方法
考虑测试功耗的扫描链划分新方法
考虑多字长环境的高层次测试综合方法
Mapping of Irregular IP onto NoC Architecture with Optimal Energy Consumption
A Novel Register Allocation Algorithm for Testability
一种兼顾可测性和互连造价的资源分配算法
一种基于遗传算法的高层次测试综合方法
考虑串扰因素的可逆电路的符号综合方法
会议论文
Web-based Cooperative Design for SoC and Improved Architecture Exploration Algorithm
Dynamic Crosstalk Optimizing on Critical Paths for Detailed Routing
Application of Shifted Popov Form in High-level Synthesis and Verification for Reconfigurable Archit
Grobner Basis and Its application in Component Matching
GA-Based and Signal-Related Crosstalk Optimizing for Automatic Channel Routing
A WGL Verification Approach Based on Polynomial Symbolic Manipulations
著作
SoC设计与IP重用技术
相关项目
下一代网络协议的形式验证和测试方法的研究
期刊论文 26
EDA形式验证中可满足性(SAT)问题的算法研究
期刊论文 7 会议论文 3
携带模型代码MCC方法中的几个关键问题研究
期刊论文 12 会议论文 4 著作 6
基于下一代验证引擎的事务级形式验证方法的研究
期刊论文 6 会议论文 13
面向对象软件规格说明的形式化验证与确认
期刊论文 36 会议论文 17 著作 4
Java构件的组合模型检验技术研究
期刊论文 9 会议论文 3
基于BIP的嵌入式多核软硬件系统建模及其设计方法
期刊论文 14 会议论文 3
阳极注入效率可控的(IEC)GCT新结构及其关键技术研究
期刊论文 5 会议论文 2 专利 1
可信网络软件的形式验证
期刊论文 32 会议论文 22 专利 1 著作 1
马光胜的项目
Boole过程论中高速ASIC设计自动化新方法研究
期刊论文 15 会议论文 3