Publications

Observability Analysis of Embedded Software for Coverage-Directed Validation

AuthID
P-001-1M3

Author(s)

Costa, JC

Devadas, S

Monteiro, JC

Document Type

Proceedings Paper

Year published

2000

Published

in ICCAD - 2000 : IEEE/ACM INTERNATIONAL CONFERENCE ON COMPUTER AIDED DESIGN, ISSN: 1092-3152

Pages: 27-32 (6)

Conference

Ieee/Acm International Conference on Computer Aided Design (Iccad-2000), Date: NOV 05-09, 2000, Location: SAN JOSE, CA, Sponsors: IEEE, Circut Soc, IEEE, Comp Soc DATC, Assoc Comp Machinery/SIGDA, Special Intrest Grp Design Automat, IEEE Inc, Electron Devices Soc

Indexing