Resumen

La verificación funcional se ha convertido en uno de los principales cuellos de botella en el diseño rentable de sistemas empotrados, sobre todo para multiprocesadores simétricos. Se calcula que la verificación en su totalidad supone hasta el 60% de los recursos de diseño, incluidos la duración, los recursos informáticos y el personal total. La verificación basada en simulación es un enfoque utilizado desde hace tiempo para localizar errores de diseño en la verificación de multiprocesadores simétricos. El mayor reto de la verificación basada en simulación es la creación del modelo de referencia del multiprocesador simétrico. En este artículo, proponemos un modelo de referencia de multiprocesador simétrico eficiente, Hybrid Model, escrito con SystemC. SystemC puede proporcionar un entorno de simulación de alto nivel y es más rápido que los lenguajes tradicionales de descripción de hardware. El Modelo Híbrido se ha implementado en una verificación eficiente de un multiprocesador simétrico de 32 bits. Los resultados experimentales muestran que nuestro modelo propuesto es un modelo de referencia de multiprocesador simétrico rápido, preciso y eficiente, y es capaz de ayudar a los diseñadores a localizar errores de diseño con facilidad y precisión.

• Materias:Ingeniería electrónica Comunicaciones Ópticas Redes Inalámbricas Procesamiento de señales asistido por computador Procesamiento de datos
• Subjects:Electronic engineering Optical communications Wireless Networks Signal processing computer-assisted Data processing
• Palabras claves:modelo de referencia de multiprocesador simétrico eficiente, verificación de multiprocesador simétrico, verificación, modelo híbrido, errores de diseño, lenguajes tradicionales de descripción de hardware, entorno de simulación de nivel, resultados experimentales, verificación funcional, systemc. systemc
• Keywords:efficient symmetric multiprocessor reference model, symmetric multiprocessor verification, verification, hybrid model, design errors, traditional hardware description languages, level simulation environment, experimental results, functional verification, systemc. systemc