EP1387304A1 - Method for functional verification of an integrated circuit model for building a verification platform, emulator equipment and verification platform