|The operation of the BS architecture at IC-level is by now
well understood, as well as the test protocol that enables the detection
of several types of faults in a BS board. However, and before a test
program may be written, we still need to develop a formal specification
"language" that allows us to code the necessary test protocol
steps. The BS test controller model presented in this chapter is the tool
that will enable us to specify test programs for real case studies.
The analysis of the basic test operations required to implement the three main phases of the test protocol for BS boards (integrity check of the BS architecture, test of interconnects and clusters, test of components) leads us to conclude that three main types of basic test operations are required. These operations will be detailed in the next sections and their objective is to control the BS infrastructure, to synchronise this infrastructure with external test resources and to control internal resources and test program flow.