Use of structural tests in RTL verification

Automatic verification methodology based on structural test patterns

“…In [11], we showed based on experimental results that dark corners are a subset of hard faults and, that the use of structural test patterns in the RT level verification could help improve the nodes' controllability/observability and cover the dark corners.…”

“…This model is based on the stuck at model but takes transition propagation into account. In [11] we justified our choice for the transition fault model (launch on capture) as the model to generate the test patterns.…”

“…To our knowledge, such a concept has never been used before. In [11] we described the mapping between RT and gate levels despite the weak correlation between them, in order to transform structural test patterns into RTL verification patterns.…”

A Novel RTL ATPG Model Based on Gate Inherent Faults (GIF-PO) of Complex Gates

“…Hobeika et al establish in [5] the relationship between existing dark corners in functional verification and hard to detect stuck-at faults. Based on this relation, they explore the use of structural test patterns in the verification process and compare the results to well-known verification techniques.…”

“…[7] uses RTL stuck-at fault injection and [10] uses error injection, whereas the proposed flow in this paper works without an injection based technique. [5] concentrates on dark corners of the design, this paper targets 100% GIF-PO coverage of the complete design.…”