可编程芯片(FPGA)EDA编译软件关键技术研究
批准号:
62172322
项目类别:
面上项目
资助金额:
59 万元
负责人:
段振华
依托单位:
学科分类:
计算机系统结构与硬件技术
结题年份:
--
批准年份:
2021
项目状态:
未结题
项目参与者:
段振华
C/Verilog程序的MSVL验证理论与方法
-
批准号:91418201
-
项目类别:重大研究计划
-
资助金额:160.0万元
-
批准年份:2014
-
负责人:段振华
-
依托单位:
开放软件系统的基础理论与关键技术
-
批准号:61133001
-
项目类别:重点项目
-
资助金额:270.0万元
-
批准年份:2011
-
负责人:段振华
-
依托单位:
基于FPGA的高可信嵌入式系统的基础研究
-
批准号:91018010
-
项目类别:重大研究计划
-
资助金额:50.0万元
-
批准年份:2010
-
负责人:段振华
-
依托单位:
组合Web服务的建模与验证
-
批准号:60873018
-
项目类别:面上项目
-
资助金额:36.0万元
-
批准年份:2008
-
负责人:段振华
-
依托单位:
框架时序逻辑程序设计
-
批准号:60433010
-
项目类别:重点项目
-
资助金额:180.0万元
-
批准年份:2004
-
负责人:段振华
-
依托单位:
国内基金
海外基金