硬件设计的形式验证
基本信息
批准号：68973020
项目类别：面上项目
资助金额：1.50
负责人：韩俊岗
学科分类：
依托单位：西安电子科技大学
批准年份：1989
结题年份：1991
起止时间：1990-01-01 - 1991-12-31
项目状态： 已结题
项目参与者：陈通照,雷振甲,吴文华
关键词：
硬件验证计算机辅助设计时态逻辑
结项摘要
项目摘要
项目成果
{{index+1}}
{{i.achievement_title}}
{{i.achievement_title}}
DOI：{{i.doi}}
发表时间：{{i.publish_year}}
暂无此项成果
数据更新时间：2023-05-31
其他相关文献
1
WMTL-代数中的蕴涵滤子及其应用
WMTL-代数中的蕴涵滤子及其应用
DOI：10.11897/SP.J.1016.2018.00886
发表时间：2018
2
A Fast Algorithm for Computing Dominance Classes
A Fast Algorithm for Computing Dominance Classes
DOI：
发表时间：2016
3
再议科学发现的逻辑 ———从“鸟粪掺杂石墨烯实验”事件说开去
再议科学发现的逻辑 ———从“鸟粪掺杂石墨烯实验”事件说开去
DOI：
发表时间：2021
4
Ordinal space projection learning via neighbor classes representation
Ordinal space projection learning via neighbor classes representation
DOI：https://doi.org/10.1016/j.cviu.2018.06.003
发表时间：2018
5
基于纳米铝颗粒改性合成稳定的JP-10基纳米流体燃料
基于纳米铝颗粒改性合成稳定的JP-10基纳米流体燃料
DOI：
发表时间：2021
韩俊岗的其他基金
相似国自然基金
1
VLSI设计形式验证理论的研究
批准号：69476018
批准年份：1994
负责人：刘明业
学科分类：F0402
资助金额：6.00
项目类别：面上项目
2
混合系统的形式验证
批准号：60373103
批准年份：2003
负责人：段振华
学科分类：F0214
资助金额：24.00
项目类别：面上项目
3
VLSI硬件逻辑功能验证理论和测试策略
批准号：68976033
批准年份：1989
负责人：刘泽坚
学科分类：F0402
资助金额：2.50
项目类别：面上项目
4
形式模型驱动的人机协作机器人设计与验证方法研究
批准号：61877040
批准年份：2018
负责人：王瑞
学科分类：F0311
资助金额：48.00
项目类别：面上项目