Implicit deductive fault simulation for complex delay fault models.

This paper introduces an implicit version of the well-known deductive fault simulation technique suitable to delay fault models with an exponential number of faults. The proposed method calculates the fault coverage by generating lists of entities for each line during a single topological circuit tr...

全面介绍

书目详细资料
发表在:IEEE Transactions on VLSI systems 12, 6 (2004).
主要作者: Deodhar, J.V
格式: 文件
语言:英语
主题: