检索规则说明:AND代表“并且”;OR代表“或者”;NOT代表“不包含”;(注意必须大写,运算符两边需空一格)
检 索 范 例 :范例一: (K=图书馆学 OR K=情报学) AND A=范并思 范例二:J=计算机应用与软件 AND (U=C++ OR U=Basic) NOT M=Visual
作 者:R.Agalya R.Muthaiah D.Muralidharan
机构地区:[1]Junior Research Fellow,School of Computing,SASTRA Deemed University,Thirumalaisamudram,Thanjavur-613401,Tamilnadu,India [2]Associate Dean,School of Computing,SASTRA Deemed University,Thirumalaisamudram,Thanjavur-613401,Tamilnadu,India [3]Assistant Professor,School of Computing,SASTRA Deemed University,Thirumalaisamudram,Thanjavur-613401,Tamilnadu,India
出 处:《Computer Modeling in Engineering & Sciences》2019年第7期25-43,共19页工程与科学中的计算机建模(英文)
摘 要:In today’s modern design technology,post-silicon validation is an expensive and composite task.The major challenge involved in this method is that it has limited observability and controllability of internal signals.There will be an issue during execution how to address the useful set of signals and store it in the on-chip trace buffer.The existing approaches are restricted to particular debug set-up where all the components have equivalent prominence at all the time.Practically,the verification engineers will emphasis only on useful functional regions or components.Due to some constraints like clock gating,some of the regions can be ignored during execution.Likewise,some of these regions can be verified deeply and have minimum errors compared to other control regions.The proposed system focusses on random signals that identify more errors which are prone to signal selection technique with low area overhead.To enhance the observability,a machine learning technique is developed.Based on the training samples of smaller designs,a model is developed to find out the contiguous neighbours of each flip-flop.This can eliminate the obstacles of unknown signals.This system demonstrates using Opencores and ISCAS’89 benchmark circuits that result in easy and fast error detection compared to the state-of-theart of other methods.This is also verified using gate-level error models by cross-validation of each debug run.
关 键 词:CONTROLLABILITY error propagation machine learning OBSERVABILITY SIGNAL SELECTION
分 类 号:TP3[自动化与计算机技术—计算机科学与技术]
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在链接到云南高校图书馆文献保障联盟下载...
云南高校图书馆联盟文献共享服务平台 版权所有©
您的IP:3.21.125.194