La evaluación de trayectoria simbólica ( STE ) es una tecnología de verificación de modelos basada en celosías 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" .