SPPV: a new formal verification environment
Michael Shute · Journal of computing sciences in colleges · 2002
The increasing complexity of hardware systems necessitates the development of new methods to test the correctness of their operation. Lately, Formal Verification has proven to be a powerful alternative to conventional simulation and testing methods. In this paper we present a formal verification software environment, SPPV, based on a formal verification technique referred to as Series-Parallel Poset Verification.