Paolo Camurati, Fulvio Corno, Paolo Prinetto, Catherine Bayol, Bernard Soulas
System-Level Modeling and Verification: a Comprehensive Design Methodology
DATE, 1994.
@inproceedings{EDAC-1994-CamuratiCPBS,
author = "Paolo Camurati and Fulvio Corno and Paolo Prinetto and Catherine Bayol and Bernard Soulas",
booktitle = "{Proceedings of the European Conference on Design Automation (EDAC), European Test Conference (ETC) and the European Event in ASIC Design (EUROASIC)}",
isbn = "0-8186-5410-4",
pages = "636--640",
publisher = "{IEEE Computer Society}",
title = "{System-Level Modeling and Verification: a Comprehensive Design Methodology}",
year = 1994,
}