FPGA podría conectarse a muchos dispositivos como dispositivos de memoria (SRAM, SDRAM, DDR RAM), convertidores de datos y varios otros circuitos integrados complejos. ¿Es una práctica normal modelarlos en un banco de pruebas para que la verificación esté "completa"? Supongo que hacerlo al menos requerirá un modelo de comportamiento preciso para el ciclo.
Tomemos un ejemplo de SRAM o SDRAM, ¿es una práctica normal usar algún tipo de modelo de ciclo preciso de estos dispositivos de memoria en un banco de pruebas?