期刊文献+
共找到2篇文章
< 1 >
每页显示 20 50 100
一种在RTL测试模式生成中验证断言再用的方法(英文)
1
作者 马克西姆捷尼赫尼 捷安瑞克 +2 位作者 莱穆德俄巴尔 塔维维卢卡斯 藤原秀雄 《上海师范大学学报(自然科学版)》 2010年第5期441-447,共7页
在对设计的功能验证中,断言常被用于检测设计错误.针对制造业的测试模式生成,提出了在寄存器传输层(RTL)用于无扫描设计的断言再用方法.这种方法减少了顺序自动测试码生成程序(ATPG)的搜索空间,因而能加快测试生成过程,增加故障覆盖率.... 在对设计的功能验证中,断言常被用于检测设计错误.针对制造业的测试模式生成,提出了在寄存器传输层(RTL)用于无扫描设计的断言再用方法.这种方法减少了顺序自动测试码生成程序(ATPG)的搜索空间,因而能加快测试生成过程,增加故障覆盖率.通过实例分析,证明了该方法的可行性和效果. 展开更多
关键词 寄存器传输层 自动测试码生成程序 断言 无扫描设计
下载PDF
Graph Clustering Algorithm for RT Level ALU Technology Mapping
2
作者 周海峰 林争辉 曹炜 《Journal of Semiconductors》 EI CAS CSCD 北大核心 2002年第11期1162-1167,共6页
Register transfer level mapping (RTLM) algorithm for technology mapping at RT level is presented,which supports current design methodologies using high level design and design reuse.The mapping rules implement a sou... Register transfer level mapping (RTLM) algorithm for technology mapping at RT level is presented,which supports current design methodologies using high level design and design reuse.The mapping rules implement a source ALU using target ALU.The source ALUs and the target ALUs are all represented by the general ALUs and the mapping rules are applied in the algorithm.The mapping rules are described in a table fashion.The graph clustering algorithm is a branch and bound algorithm based on the graph formulation of the mapping algorithm.The mapping algorithm suits well mapping of regularly structured data path.Comparisons are made between the experimental results generated by 1 greedy algorithm and graphclustering algorithm,showing the feasibility of presented algorithm. 展开更多
关键词 high level synthesis technology mapping register transfer level arithmetic logic units graphclustering algorithm
下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部