METHOD FOR FUNCTIONALLY CHECKING AN INTEGRATED CIRCUIT MODEL TO CONSTITUTE 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.