On a Novel Self-test Approach to Digital Testing

On presente une nouvelle approche de verification numerique. Celle-ci est basee sur une technique de modelisation dynamique du systeme a verifier. La technique proposee consiste en une approche iterative d'autoverification qui s'est revelee applicable a l'analyse analogique des fautes. Un modele de connexion discrete des composants est presente comme base de l'analyse de modelisation. Les equations aux differences des connexions et des composants sont resolues simultanement. L'identification des fautes est accomplie par une partition en pseudo-systemes du systeme a verifier; un processus de decision est alors execute pour valider les resultats des essais. Le processus de decision est base sur une nouvelle technique booleenne de verification des resultats avec une borne pour les fautes. L'approche s'applique a la verification aussi bien que de la logique sequentielle que de la logique combinatoire. Analyse de la complexite de la technique; une reduction de la complexite s'obtient par la theorie des ensembles couvrants. Algorithmes