A Hierarchical Test Generation Using High Level primitives
Didier Crestani, A. Aguila, L. Eudeline, M.-H. Gentil, C. Durante · 2005
This paper proposes a hierarchical test methodology using a high level knowledge. After a partitioning, the test information generated at low level are propagated from the partition ports to the primary pins with the help of generic behavioural rules and testabiliv measures. In case of a conflict, a dependency directed backtracking is used. This methodology has been implemented with an Qert System Generator tool.