DocumentCode

3295458

Title

Incremental Formal Design Verification

Author

Swamy, Gitanjali M. ; Brayton, Robert K.

fYear

1994

fDate

6-10 Nov 1994

Firstpage

458

Lastpage

465

Keywords

Algorithm design and analysis; Automata; Design methodology; Permission; Process design; Sequential circuits;

fLanguage

English

Publisher

ieee

Conference_Titel

Computer-Aided Design, 1994., IEEE/ACM International Conference on

ISSN

1063-6757

Print_ISBN

0-8186-3010-8

Type

conf

DOI

10.1109/ICCAD.1994.629843

Filename

629843