Architectural level test generation and fault simulation
Jaushin Lee · 1992
ion This work follows the circuit model and basic assumption shown in Figure 5.1. For a high level module in the data path, its control input lines usually come from the control machine so that the value codes on these lines depend on the control words or micro-orders of the machine instructions. However, values on bus lines would strongly depend on data path configurations which implicitly determine relations among buses. Based on this observation, the strategies used for global functional constraint abstraction should be different for control lines and bus lines. 9.3.1. Control constraints The control constraints can be derived in the following fashion. For each module of interest, we can simply traverse the high level module diagram to ensure the connection of control input lines with the control unit. If they are connected, record the valid control codes from the control words of each instruction, and put those codes into the Boolean cover of that module. If none of the control inp...