Title: Synchronous circuit verifier (SCV) - an artificial intelligence approach to interactive incremental verification of sequential circuits