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]
  • Formal verification by symbolic evaluation of partially-ordered trajectories [segar:fmsd:1995]