EuroFach Electrónica - EF484

29 FPGA Cómo afrontar con éxito las complejidades para seguir innovando La optimización de los productos electrónicos conlleva la aplicación de nuevos algoritmos, cada vez más complejos, que exigen nuevas FPGAs, también más complejas y con mayor capacidad de procesado. Cadlog VERIFICACIÓN FPGA Y PRODUCTIVIDAD En el ámbito FPGA, se sigue innovando con el objetivo de aumentar la produc- tividad de los diseñadores para hacer frente al aumento de la complejidad de los elementos de hardware. Pero, por desgracia, el aumento de la pro- ductividad en el diseño no siempre significa que se pueda llegar antes al mercado. La complejidad de la verifi- cación aumenta exponencialmente al aumentar la complejidad del hardware y esto hace que aumente, a su vez, el tiempo necesario para llevarla a cabo. La verificación funcional, imprescindi- ble en el desarrollo de los diseños de hoy en día, se convierte, a menudo, en un cuello de botella. En ocasiones, se dedica hasta un 70% del tiempo de desarrollo del diseño a la verificación funcional. Es necesaria una evolución de la verificación para poder mante- ner el ritmo del resto del proceso y maximizar su potencial. ModelSim -de Siemens EDA- ofrece un entorno completo y fácil de usar con capacidades avanzadas de simu- lación y debug. Permite realizar una verificación basada en aserciones para mantener la productividad en fase de verificación y, de esta manera, ayuda a reducir los tiempos de entrega. La verificación basada en aserciones permite verificar una colección de especificaciones parciales de manera más eficiente. Aborda directamente las limitaciones de los flujos de veri- ficación actuales: • La OVL (Open Verification Library) define una biblioteca estándar de aserciones y permite que la ABV ocurra a varios niveles a lo largo del flujo de diseño. • Proporciona objetivos para la veri- ficación formal. • Las aserciones facilitan la reutilización del diseño por medio del código de autocomprobación. ANÁLISIS CODE COVERAGE PARA LAS CERTIFICACIONES Por otra parte, la seguridad es crítica en determinados ámbitos y los entes legales exigen la presentación de una serie de certificaciones. La simulación y valida- ciónmediante el análisis Code Coverage o de cobertura de código (obligatorio para la obtención de dichas certifica- ciones) puede realizarse de manera sencilla con ModelSim. La cobertura de código es una técnica automati- zada que identifica el código que no ha sido testado. No requiere un cambio respecto al actual enfoque de diseño y simulación. La herramienta permite al usuario estimar automáticamente la eficiencia del banco de pruebas. ModelSim, en conclusión, es una herra- mienta robusta y eficiente, con una historia relevante en el ámbito de las certificaciones. En Tecnobit, empresa tecnológica española -perteneciente al Grupo Oesía- lo tienen claro: ModelSim, en el ámbito de la simulación FPGA, “ha estado siempre por encima de la competencia”. Descubre más sobre las ventajas que ofrece ModelSim y cómo la utilizan en Tecnobit, en este caso de éxito: