Publication
IEEE TC
Paper

RIDDLE: A Foundation for Test Generation on a High-Level Design Description

View publication

Abstract

We present a formal approach to the analysis of a combi- national circuit described at the high level, which produces information conducive to the acceleration of test generation algorithms. This analysis yields as its main product, information which can be used to reduce the amount of effort expended during backtracing, by guiding this process towards decisions (assignments) less likely to cause conflicts, and minimizing the amount of work between backtracks. RIDDLE, an algorithm which performs this analysis in time linear in the number of signals, is introduced. Experimental results for the special case of combinational gate level designs are also given. © 1991 IEEE

Date

Publication

IEEE TC

Authors

Share