Integrating logic simulation and dependency modeling

Simulatable logic models are used for design and test generation. Dependency models are developed independently to analyze inherent testability characteristics and generate test strategies for diagnosis. This paper describes a set of translation tools that convert logic models into dependency models. These tools reduce both the manual effort required and the chances of undetected errors, as well as streamline configuration management