Formal-verification tools take on design-rule checking

Authors
Lipman, J
Citation
J. Lipman, Formal-verification tools take on design-rule checking, EDN, 44(8), 1999, pp. 13-13
Categorie Soggetti
Eletrical & Eletronics Engineeing
Journal title
EDN
ISSN journal
00127515 → ACNP
Volume
44
Issue
8
Year of publication
1999
Pages
13 - 13
Database
ISI
SICI code
0012-7515(19990415)44:8<13:FTTODC>2.0.ZU;2-W