您当前的位置：
首页 >
文章列表页 >
面向SoC系统芯片中跨时钟域设计的 模型检验方法
面向SoC系统芯片中跨时钟域设计的 模型检验方法
Model Checking on Clock Domain Crossing Design of System-on-Chip
- 电子学报 2008年36卷第5期 页码：886-892
移动端阅览
HTML全文
参考文献
出版信息
数据统计
65
浏览量
1906
下载量
5
CSCD
文章被引用时，请邮件提醒。
提交
工具集
- BibTeX下载
- Endnote下载
- RefMan 下载
- NoteExpress下载
- NoteFirst下载
相关文章
面向模型检验的跨时钟域设计电路 特性生成方法
使用局部建模的微处理器测试程序自动生成方法
最小布尔不可满足子式的求解算法
智能合约的形式化验证方法研究综述
面向模型检验的UML状态机语义
相关作者
许经纬
王克义
程旭
佟冬
易江芳
张良
李思昆
沈胜宇
相关机构
北京大学深圳研究生院
北京大学微处理器研究开发中心
国防科学技术大学计算机学院
北京航空航天大学软件开发环境国家重点实验室
南京大学计算机软件新技术国家重点实验室
