Desarrollamos un procedimiento de verificación formal para comprobar que los diseños de procesadores elásticos con pipelines implementan correctamente sus especificaciones de arquitectura de conjuntos de instrucciones (ISA). La noción de corrección que utilizamos se basa en el refinamiento. Las pruebas de refinamiento se basan en mapas de refinamiento que, en el contexto de este problema, son funciones que asignan estados del procesador elástico a estados del modelo de especificación ISA. El flujo de datos en arquitecturas elásticas se complica por la inserción de cualquier número de búferes en cualquier lugar del diseño, lo que dificulta la construcción sistemática de mapas de refinamiento para sistemas elásticos. Introducimos las funciones de finalización conscientes de los tokens, que incorporan un mecanismo para seguir el flujo de datos en los conductos elásticos, como un enfoque altamente automatizado y sistemático para construir mapas de refinamiento. Demostramos la eficacia del procedimiento general de verificación basado en funciones de finalización con reconocimiento de testigo utilizando seis modelos de procesadores elásticos en canalización basados en la arquitectura DLX.
Esta es una versión de prueba de citación de documentos de la Biblioteca Virtual Pro. Puede contener errores. Lo invitamos a consultar los manuales de citación de las respectivas fuentes.
Artículos:
Estudio de ondas solitarias ión-acústicas en un plasma magnetizado utilizando la ecuación Schamel-KdV fraccional tridimensional en tiempo-espacio.
Artículos:
Medida de Sincronización Basada en un Enfoque Geométrico para la Incrustación de Atractores Utilizando Ventanas de Observación Finitas
Artículos:
Detección MIMO iterativa y estimación de canal mediante entrenamiento conjunto superpuesto y asistido por piloto
Artículos:
Algoritmo de reconstrucción virtual en 3D de edificios antiguos de la dinastía Qing basado en secuencias de imágenes
Artículos:
Diseño de control en tiempo finito para sistemas estocásticos de Poisson con aplicaciones al dispositivo de colgado de ropa.
Artículos:
Comportamiento del aguacate Hass liofilizado durante la operación de rehidratación
Artículos:
Caracterización estructural de la materia orgánica de tres suelos provenientes del municipio de Aquitania-Boyacá, Colombia
Informes y Reportes:
Técnicas de recuperación de suelos contaminados
Artículos:
Una revisión de la etiopatogenia y características clínicas e histopatológicas del melanoma mucoso oral.