Title :
Incremental Formal Design Verification
Author :
Swamy, Gitanjali M. ; Brayton, Robert K.
Keywords :
Algorithm design and analysis; Automata; Design methodology; Permission; Process design; Sequential circuits;
Conference_Titel :
Computer-Aided Design, 1994., IEEE/ACM International Conference on
Print_ISBN :
0-8186-3010-8
DOI :
10.1109/ICCAD.1994.629843
