Synchronous circuit verifier (SCV) - an artificial intelligence approach to interactive incremental verification of sequential circuits.
Published: 1989
Language: eng
Number of pages: 89