Más contenido sobre automoción 😀 En los coches modernos, la seguridad se rige tanto por funciones basadas en IA como por la lógica y el software tradicionales. ¿Cómo pueden estas funciones...?
Un blog de redes de Petri obtuvo la puntuación más alta en participación el año pasado. Este mes revisamos la aplicación de la técnica para validar una gama en expansión de...
Analizamos otro documento sobre la aceleración de cobertura basada en ML en abril de 2022. Aquí hay un ángulo diferente de IBM. Paul Cunningham (vicepresidente sénior/gerente general,...
La conectividad de red en chip (NoC) es omnipresente en los SoC, por lo que debería ser un vector de ataque atractivo. ¿Es posible probar la robustez contra un...
En busca de mejores formas de buscar un espacio de estado enorme en la comprobación de modelos, la optimización de colonias de hormigas (ACO) es un enfoque posible. Paul Cunningham (Senior...
¿Podemos solicitar pruebas de regresión para flujos de integración continua (CI), minimizando el tiempo entre confirmaciones de código y comentarios sobre fallas? Paul Cunningham (vicepresidente sénior/gerente general, verificación...
Modelar y verificar sistemas asíncronos es un desafío constante. Los modelos de redes de Petri pueden proporcionar una respuesta. Paul Cunningham (GM, Verificación en Cadencia), Raúl Camposano...
La verificación formal a nivel de SoC ha parecido durante mucho tiempo un requisito inalcanzable. Tal vez deberíamos cambiar nuestro enfoque. ¿Podría ser formal ser práctico en un...
El estancamiento artificial de rutas de datos y canales virtuales es un método creativo para descubrir errores de sincronización de casos de esquina. Un artículo de Nvidia describe un refinamiento para...
Este es otro vistazo a cómo refinar la precisión de la localización de fallas. Una vez que se ha detectado un error, estas técnicas tienen como objetivo precisar el...