Title :
An approach to mapping the timing behavior of VLSI circuits on emulators
Author :
Sabet, Pirouz Bazargan ; Vuillemin, Laurent
Author_Institution :
Paris VI Univ., France
Abstract :
The time spent in simulation grows in an exponential form with the complexity of the circuit. Therefore, improving the simulation speed can represent a significant profit regarding the verification time. Several approaches can be used to speedup the simulation. These recent years, FPGAs have been used to develop emulators. These systems are composed of several thousands of FPGAs connected together through a programmable network. Although this approach seems very attractive with regard to the speedup, all the information included in a circuit description cannot be mapped on the emulator. In this paper, we propose a method to reproduce the timing behavior of the circuit on an emulator
Keywords :
VLSI; circuit complexity; field programmable gate arrays; formal verification; timing; FPGAs; VLSI circuits; emulators; mapping; timing behavior; verification time; Circuit simulation; Computational modeling; Computer simulation; Costs; Distributed computing; Emulation; Field programmable gate arrays; Hardware; Timing; Very large scale integration;
Conference_Titel :
Rapid System Prototyping, 12th International Workshop on, 2001.
Conference_Location :
Monterey, CA
Print_ISBN :
0-7695-1206-2
DOI :
10.1109/IWRSP.2001.933856