Resumen de Un generador de vectores de test deterministas basado en autómatas celulares (CA)
M. J. López, M. Martínez, Salvador Bracho
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.
