Estamos buscando en el modelado y la comprobación de una simple tela de malla de coherencia de protocolo para la comprobación de RTL de simulación. En el pasado, hemos completamente aplastado nuestra propia solución para escuchar a los paquetes en la RTL y, a continuación, generar una respuesta esperada o varias posibles respuestas esperadas.
por ejemplo, para un flujo parecido a esto:
Core Memory Controller
| |
| Request $Line in E-state |
+------------------------->|
| |
| Data |
<--------------------------|
| |
El comprobador en el Controlador de Memoria necesita predecir que el Data paquete será devuelto a la centro y lo que la capacidad de carga de ese paquete sería.
¿Cuáles son los marcos disponibles para el modelado de estos flujos? Soy consciente de TLM y estoy buscando a ella. ¿Hay otros? Estoy abierto a cualquier idioma. ¿Hay alguna formales de verificación protocolo de herramientas que también puede generar fichas o afirmaciones?
