La evaluación de trayectoria simbólica (STE) es una tecnología de verificación de modelos basada en celosía que utiliza una forma de simulación simbólica . STE se utiliza esencialmente para hardware informático, es decir , verificación de circuitos . La técnica utiliza abstracción , lo que significa que los detalles del comportamiento del circuito se eliminan del modelo de circuito. Fue desarrollado por primera vez por Carl Seger y Randy Bryant en 1995 como una alternativa a la verificación de modelos simbólicos "clásicos" .
Referencias
- C.-JH Seger y RE Bryant, Verificación formal por evaluación simbólica de trayectorias parcialmente ordenadas , Métodos formales en el diseño de sistemas, vol. 6, No. 2 (marzo de 1995), págs. 147–190