Resumen de Un generador de vectores de test deterministas basado en autómatas celulares (CA)

María José González López , María de Mar Martínez Solórzano , Salvador Bracho del Pino

• En este trabajo planteamos un procedimiento para generar un conjunto de vectores de test deterministas, previamente calculado, utilizando uno o varios autómatas celulares (CA) híbridos. El comportamiento de un autómata celular (CA) puede representarse por la matriz de transición cuando se trata de un CA aditivo complementado o no, tanto regular como híbrido. Hemos realizado una herramienta que calcula el CA o los CAs necesarios para generar vectores de test deterministas utilizando la matriz de transición de un CA aditivo híbrido. Asimismo, planteamos el diseño de dos o más CAs, a veces necesario, minimizando el área de silicio que los CAs ocupan, de modo que compartan los flip-flops D y la lógica combinacional sea programable.