Rajkumar Gajavelly

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
Symbolic trajectory evaluation (STE) is a model checking technique that has been successfully used to verify industrial designs. Existing implementations of STE, however, reason at the level of bits, allowing signals to take values in {0, 1, X}. This limits the amount of abstraction that can be achieved, and presents inherent limitations to scaling. The(More)
  • 1