Test-oriented Approach to RT-level Behavior Abstraction and Implication
LI Xiao-wei · Journal of Tongji University · 2002
ion of RTL behaviors,this paper proposes a hierarchical and conditional representation method.Abstracted behaviors are test-oriented and simply represented,and can be conveniently implicated as well.Circuits described are modeled to behavior sets after abstraction,and can be replaced by their behavior sets during functional test vector generation procedures.Great efficiency is obtained when implication operations are widely used to simplify behaviors during test generation.