中文版 | English

在结果中检索

CSpace

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

限定条件        
已选(0)清除 条数/页：   排序方式：
基于EraSoC的模块级验证平台的设计 期刊论文
微电子学与计算机, 2008, 卷号: 25.0, 期号: 1.0, 页码: 181
作者:  龚艳丽;  张志敏;  傅亮
收藏  |  浏览/下载：5/0  |  提交时间：2023/12/04
事务验证平台  功能覆盖率  断言  约束随机  
存储约束条件下的序列联配算法 期刊论文
微电子学与计算机, 2002, 卷号: 19.0, 期号: 006, 页码: 1
作者:  李昭;  杨琪;  祝明发
收藏  |  浏览/下载：5/0  |  提交时间：2023/12/04
存储约束条件  序列联配算法  生物信息处理  Hirschberg算法  动态规划算法  线性空间  计算机