An efficient observability evaluation algorithm based on Factored Use-Def chains

Coverage evaluation is indispensable for simulate modern designs. In this paper, we present an efficient algorithm to evaluate observability coverage, which is based on Factored Use-Def chains (FUD chains), a data-flow analysis technique in compilers. With the strategy of enhanced FUD chains and event-driven analysis, this method has three advantages. First, it is significantly more computationally efficient than prior efforts to assess observability information. Secondly, it could be easily integrated into hardware description language (HDL) compilers or simulators. Finally, it is universal, and can be combined with controllability metrics, such as statement coverage metric (SCM).

[1]  Kurt Keutzer,et al.  An observability-based code coverage metric for functional simulation , 1996, Proceedings of International Conference on Computer Aided Design.

[2]  Ian G. Harris,et al.  A data flow fault coverage metric for validation of behavioral HDL descriptions , 2000, IEEE/ACM International Conference on Computer Aided Design. ICCAD - 2000. IEEE/ACM Digest of Technical Papers (Cat. No.00CH37140).

[3]  Kurt Keutzer,et al.  An observability-based code coverage metric for functional simulation , 1996, ICCAD 1996.

[4]  Giovanni Squillero,et al.  High-level observability for effective high-level ATPG , 2000, Proceedings 18th IEEE VLSI Test Symposium.

[5]  Michael Wolfe,et al.  High performance compilers for parallel computing , 1995 .