中国科学院机构知识库网格系统: 检索

机构

采集方式

_filter

筛选

浏览/检索结果: 共2条，第1-2条

帮助

条数/页：排序方式：
	基于覆盖率模型的AMBA接口随机验证方法期刊论文 OAI收割计算机应用研究, 2008, 卷号: 25.0, 期号: 007, 页码: 2078 作者: 许彤; 吕涛 \| 收藏 \| 浏览/下载：1/0 \| 提交时间：2023/12/04 覆盖率模型约束化随机测试 AMBAAHB 龙芯1号IP核片上系统设计重用
	基于约束的处理器接口随机测试模型期刊论文 OAI收割计算机工程, 2007, 卷号: 33.0, 期号: 015, 页码: 227 作者: 郇丹丹; 李祖松; 刘志勇 \| 收藏 \| 浏览/下载：2/0 \| 提交时间：2023/12/04 接口功能验证仿真约束随机测试覆盖率龙芯2号