Top-level validation of system-on-chip in Esterel Studio. - Gérard Berry; Lionel Blanc; Amar Bouali; Jerome Dormoy (HLDVT, 2002)