Formal verification by symbolic evaluation of partially-ordered trajectories

Carl-Johan H. Seger, Randal E. Bryant
[doi] [Google Scholar] [DBLP] [Citeseer] [url]

Formal Methods Syst. Des. 6(2)
Pages 147-189
1995
Note(s): Symbolic trajectory evaluation, CPU verification

Symbolic trajectory evaluation

  • Symbolic trajectory evaluation: The primary validation vehicle for next generation Intel processor graphics FPU [kirankumar:fmcad:2012]