首页>
外国专利>
Method and system for functional safety verification using fault relation rules
Method and system for functional safety verification using fault relation rules
展开▼
机译:使用故障关系规则功能安全验证的方法和系统
展开▼
页面导航
摘要
著录项
相似文献
摘要
A computer implemented method for functional safety verification includes simulating SA0 and/or SA1 faults at a Q output port of each sequential element in a first representation of an electronic design, to determine whether any of the simulated faults is detectable by a safety mechanism, determining, based on one or more fault relation rules and based on a second gate-level representation of the electronic design, whether any of the faults is also detectable by the safety mechanism if occurred at one or more input ports of the respective sequential element or one or more input ports of a clockgate of the respective sequential element, and identifying a remainder of input ports and input ports of a clockgate of each of the sequential elements at which the faults are not determined to be detectable by the safety mechanism based on the one or a plurality of fault relation rules.
展开▼