[IEEE Comput. Soc. Press 1990 IEEE International Conference on Computer-Aided Design. Digest of Technical Papers - Santa Clara, CA, USA (11-15 Nov. 1990)] 1990 IEEE International Conference on Computer-Aided Design. Digest of Technical Papers - A unified framework for the formal verification of sequential circuits
Coudert, O., Madre, J.C.Year:
1990
DOI:
10.1109/iccad.1990.129859
File:
PDF, 404 KB
1990