Sequential circuits--Verification

found: Work cat.: State enumeration with abstract descriptions of state machines, 1995:p. 12 (Conclusion. We have proposed a notion of abstract descriptions of state machines as a theoretical foundation for a verification methodology that makes it possible to verify sequential circuits automatically ... )

found: OCLC, Jan. 29, 2007(titles: Automatic verification of sequential circuits using temporal logic; A general framework for verification of sequential circuits; Verification of interacting sequential circuits)