@inproceedings{DBLP:conf/eurodac/NguyenTDTV94,
author = {Huy Nam Nguyen and
J. P. Tual and
L. Ducousso and
M. Thill and
P. Vallet},
title = {Logic Synthesis and Verification of the CPU and Caches of
a Mainframe System},
booktitle = {EDAC-ETC-EUROASIC},
year = {1994},
pages = {60-64},
crossref = {DBLP:conf/eurodac/1994edac},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/eurodac/1994edac,
editor = {Robert Werner},
title = {EDAC - The European Conference on Design Automation, ETC
- European Test Conference, EUROASIC - The European Event
in ASIC Design, Proceedings, February 28 - March 3, 1994,
Paris, France},
booktitle = {EDAC-ETC-EUROASIC},
publisher = {IEEE Computer Society},
year = {1994},
isbn = {0-8186-5410-4},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Last update 2009-06-09 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page