Symbolic trajectory evaluation

[Google Scholar] [Wikipedia]

Notes: CPU verification, RTL
Papers: segar:fmsd:1995, claessen:sfm:2006

An introduction to symbolic trajectory evaluation [claessen:sfm:2006]
Symbolic trajectory evaluation: The primary validation vehicle for next generation Intel processor graphics FPU [kirankumar:fmcad:2012]
GSTE is partitioned model checking [sebastiani:cav:2004]
Formal verification by symbolic evaluation of partially-ordered trajectories [segar:fmsd:1995]

The opinions expressed are my own views and not my employer’s.