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
Verification has become an increasingly important part of the hardware design process. One technique used to verify digital circuits is explicit state model checking. PHAST, a Pipelined Hardware Accelerated STate Checker, achieves a 30x speedup for explicit state model checking of Murϕ models over software implementations used in industry. PHAST is a(More)
  • 1