Mary Ellen Tie

We don’t have enough information about this author to calculate their statistics. If you think this is an error let us know.
Learn More
PHAST, a Pipelined Hardware Accelerated STate Checker, achieves a 30x end-to-end speedup of a large state space exploration application in the form of an explicit state model checker. PHAST is a re-implementation, to accommodate FPGA hardware, of the Murphi verifier developed at Stanford University. Explicit state model checking explores a large state space(More)
  • 1