您当前的位置：
首页 >
文章列表页 >
使用局部建模的微处理器测试程序自动生成方法
使用局部建模的微处理器测试程序自动生成方法
Test Program Generation for Microprocessor Verification Using Local Modeling Strategy
- 电子学报 2011年39卷第7期 页码：1639-1644
移动端阅览
HTML全文
参考文献
出版信息
数据统计
63
浏览量
1306
下载量
0
CSCD
文章被引用时，请邮件提醒。
提交
工具集
- BibTeX下载
- Endnote下载
- RefMan 下载
- NoteExpress下载
- NoteFirst下载
相关文章
集成可编程光芯片的研究与功能验证
面向模型检验的跨时钟域设计电路 特性生成方法
面向SoC系统芯片中跨时钟域设计的 模型检验方法
面向模型检验的UML状态机语义
TF-PEFT：面向脑电基础模型的时频双流参数高效微调框架
相关作者
崔乃迪
冯靖
李智慧
梁宇鑫
范诗佳
廖海军
刘大鹏
程 旭
相关机构
联合微电子中心有限责任公司硅基光电子中心
北京大学微处理器研究与开发中心
南京大学计算机软件新技术国家重点实验室
南京大学计算机科学技术系
