Automatic behavioral test pattern generation for digital circuits

As complexity of circuits has increased and design techniques have evolved, testing them has evolved as well. This evolution has led to take into account high-level behavioral descriptions of circuits for generating their test patterns. The authors explain the reasons which have motivated research laboratory to become interested in behavioral generation. Having surveyed the representative work of the domain, the authors present their approach for generating test patterns from high-level behavioral descriptions