¿Cuántas señales observables bajas en los puntos de referencia ISCAS tenemos? Por ejemplo, en c17, c432, .... Quiero decir, en un circuito hay algunas señales que no las vemos, por ejemplo, el 99% de las veces en la salida, y las vemos solo por ejemplo el 1% de las veces en la salida. ¿Conoce alguna herramienta para encontrar señales observables bajas en un código VHDL?
¿Conoces alguna herramienta para encontrar señales de observables bajos en un código VHDL?
Suponiendo que está hablando de troyanos HW y otros circuitos malintencionados y cómo detectarlos, como se explica en este (y otros documentos que encontré según sus referencias): enlace
En su mayoría, las herramientas formales se utilizan para (tratar de) detectar troyanos HW. Hay compañías como One-Spin, Real-Intent y Mentor (probablemente Cadence y Synopsys también) que tienen herramientas dedicadas a marcar "circuitos sospechosos" dentro de sus conjuntos de herramientas formales. También existen herramientas más centradas en HW-CyberSecurity, así como otras en desarrollo por parte de ciertas agencias de gobierno de EE. UU. De 3 letras (puedes adivinar a los jugadores, estoy seguro).
Habiendo dicho esto, también se utiliza la verificación funcional aleatoria restringida, utilizando la cobertura funcional y la cobertura de código. Aunque seguramente se superponen con los resultados Formales, cada uno se considera un complemento del otro. Y, antes de que tenga esperanzas, no existe ninguna herramienta que extraiga de forma autónoma los troyanos HW u otros circuitos maliciosos directamente. El rol del ingeniero es más crucial en este espacio de problemas de infinidad que en términos de diseño o requisitos, o verificar dichos requisitos, ya que ahora está tratando de verificar que no haga nada que no deba ... en mejor tendrás un éxito vacuo cuando "hecho". Las técnicas se están desarrollando constantemente como disertaciones doctorales, etc., ya que esto es lo que consideraría un campo de estudio "muy abierto" en el que el problema está superando la solución, y para el cual, especialmente nuevo en ingeniería, podría hacer una carrera lucrativa.
Tortuga Logic viene a la mente como una compañía que está desarrollando una herramienta dedicada a la Ciberseguridad de HW.
Eche un vistazo a Florida Institute of CyberSecurity (FICS) enlace y tal vez utilícelo como punto de partida para encontrar más información.
Lea otras preguntas en las etiquetas vhdl