Hispanopedia WikiLa evaluación de trayectoria simbólica ( STE ) es una tecnología de verificación de modelos basada en retículas que utiliza una forma de simulación simbólica . La STE se utiliza esencialmente para hardware de computadoras, 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 del circuito. Fue desarrollada por primera vez por Carl Seger y Randy Bryant en 1995 como una alternativa a la verificación de modelos simbólicos "clásica" .
Referencias
- C.-JH Seger y RE Bryant, Verificación formal mediante evaluación simbólica de trayectorias parcialmente ordenadas, Métodos formales en diseño de sistemas, vol. 6, n.º 2 (marzo de 1995), págs. 147-190