数据通路型电路的形式化验证方法研究

数据通路型电路的形式化验证方法研究

出版年：2011

作者：陈博文

资源类型：图书

细分类型：学位论文

2浏览量

问图书管理员

点赞

收藏

访问借阅管理系统

面向航天SOPC软件的形式化验证方法研究与应用

作者：周珊
出版社：中国科学院空间应用工程与技术中心
出版年：2022

多核处理器任务调度算法及形式化验证方法研究

作者：谢盈
出版年：2018

数字硬件的形式化验证

作者：韩俊刚
ISBN：7301053320
出版社：北京大学出版社
出版年：2001

数字电路形式化验证技术及其实现

作者：毛维波
出版年：2005

数字集成电路功能验证的半形式化方法研究

作者：张弢
出版年：2010

一种新型形式化验证方法-理论与工具

作者：刘坚
出版社：中国科学院软件研究所
出版年：2019