Control-dominated architectures are usually specify, in a hardware description language (HDL), by means of a composition of FSMs. This paper presents two FSMs based models which can be extracted from a Statechart or a HDL description. Such models are compared to the description of the device at the different abstraction levels of a standard synthesis pow. This comparison simplifies the testing problem producing a complete testing strategy that uses functional information to perform scan insertion, redundancies removal and test pattern generation even for such devices which cannot be satisfactorily analyzed at the gate level.
File in questo prodotto:
Non ci sono file associati a questo prodotto.