Electronic Design, Test and Applications, IEEE International Workshop on (2002)
Christchurch, New Zealand
Jan. 29, 2002 to Jan. 31, 2002
Federici Dominique , Universit? de Corse
Bisgambiglia Paul , Universit? de Corse
Santucci Jean-François , Universit? de Corse
We present an original approach for performing Behavioral Fault Simulation (BFS). This approach involves three main steps: (i) the definition of an internal modeling of behavioral descriptions, and the determination of a Fault Model; (ii) the definition of a fault simulation technique ; (iii) the implementation of this technique. We give in this paper a description of the BFS software implementation. We point out how object oriented programming has been used for defining an evolutive and efficient tool. Finally, this paper deals with experiments conducted on ITC'99 benchmarks in order to validate a VHDL behavioral fault simulator (BFS). The effectiveness of the BFS software is clearly demonstrated through the obtained results.
B. Paul, S. Jean-François and F. Dominique, "Behavioral Fault Simulation: Implementation and Experiments Results," Electronic Design, Test and Applications, IEEE International Workshop on(DELTA), Christchurch, New Zealand, 2002, pp. 81.