Impact of Hardware Emulation on the verification quality improvement - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2007

Impact of Hardware Emulation on the verification quality improvement

Résumé

Software simulation remains the most used method for VHDL RTL functional verification. The functional verification process essentially consists of two parts. The first one is the functional qualification; the second one is the qualification- driven stimuli generation. Currently, the qualification and the generation tasks are iterative processes based on VHDL simulation which is dramatically time consuming. The simulation time increases with the circuits' size and the required level of quality. In our previous works, we have proposed some approaches based on the mutation testing technique to evaluate and to improve functional validation quality. Now, to reduce this simulation time, we propose in this paper a new approach based on FPGA emulation. So, an hardware-software platform called “Meta-Mutant Testbench” is used to emulate mutants. Experimental results for some ITC'99 benchmark circuits show that our mutation emulator is about 20 times faster than classical software simulators; this speedup increases with the circuits' size.
Fichier non déposé

Dates et versions

hal-00218169 , version 1 (25-01-2008)

Identifiants

  • HAL Id : hal-00218169 , version 1

Citer

Youssef Serrestou, Vincent Beroulle, Chantal Robach. Impact of Hardware Emulation on the verification quality improvement. Very Large Scale Integration, 2007. VLSI - SoC 2007. IFIP International Conference on, Oct 2007, Atlanta, United States. pp.218-223, ISBN: 978-1-4244-1710-0. ⟨hal-00218169⟩

Collections

UGA LCIS
26 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More