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

摘要

In a first stage an autonomous emulator (1) is set up which replaces a low level language integrated circuit (IC) model by a high level language model able to perfect an environment emulator (51) from bus (30) data. The emulator (1) includes a calculator (10), memory (2) containing high level specification response data (20) and program memory (9). The second stage checks the IC program model against the emulator (1) : An independent claim is also included for : A verification platform which enables customers to check outputs against inputs on special purpose ICs using a functional specification.