数字硬件的形式化验证

数字硬件的形式化验证

出版社：北京大学出版社

ISBN：7301053320

出版年：2001

作者：韩俊刚

学科：电技术、电子技术

资源类型：图书

细分类型：中文文献

1浏览量

问图书管理员

点赞

收藏

访问借阅管理系统

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

作者：毛维波
出版年：2005

AACS安全协议的形式化验证

作者：王薇
出版年：2009

数字集成电路设计验证 :量化评估、激励生成、形式化验证

作者：李晓维
ISBN：9787030276094
出版社：科学出版社
出版年：2010

抗侧信道掩码防护的形式化验证研究

作者：周锋
出版社：中国科学院软件研究所
出版年：2023

分数阶系统高阶逻辑形式化验证

作者：赵春娜
ISBN：9787030622068
出版社：科学出版社
出版年：2023

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

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