[IEEE Comput. Soc. Press 7th International Symposium on High-Level Synthesis - Niagara-on-the-Lake, Ont., Canada (18-20 May 1994)] Proceedings of 7th International Symposium on High-Level Synthesis - H/W-S/W co-verification in ATMMancini, G. · 1994