FORMAL VERIFICATION - A REPLACEMENT FOR SIMULATION

Authors
CORMAN T
Citation
T. Corman, FORMAL VERIFICATION - A REPLACEMENT FOR SIMULATION, Electronic design, 43(26), 1995, pp. 48-48
Citations number
NO
Categorie Soggetti
Engineering, Eletrical & Electronic
Journal title
Electronic design → ACNP
ISSN journal
00134872
Volume
43
Issue
26
Year of publication
1995
Pages
48 - 48
Database
ISI
SICI code
0013-4872(1995)43:26<48:FV-ARF>2.0.ZU;2-R