Impact of hardware emulation on the verification quality improvement

— 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 qualificationdriven 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 simul...

• Type: Conference
• Year: 2007
• Where: VLSI
• Authors: Youssef Serrestou, Vincent Beroulle, Chantal Robach
• Keywords: Functional Verification, RTL Functional Verification, Simulation, Software Engineering, VLSI 2007