Journal of Computer Science and Technology

, Volume 20, Issue 2, pp 175–186 | Cite as

VFSim: Concurrent Fault Simulation at Register Transfer Level



VLSI testing is being pushed to the high-level based technology. In this paper a Verilog Register transfer level Model (VRM) for integrated circuits is proposed. The model provides a text format file, which is convenient and more practical for developing succeeding Register Transfer Level (RTL) test tools, such as fault simulation, test pattern generation and so forth. Based on the VRM, an RTL concurrent fault simulation approach is presented. After RTL fault models and super faults defined, the concurrent fault simulation algorithm is given. The corresponding RTL concurrent fault simulator, VFSim, was implemented. The initial experiments show that the RTL fault simulator is efficient for VLSI circuits.


high-level testing Verilog RTL circuit modeling fault model concurrent fault simulation 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [1]
    Fallah F, Ashar P, Devadas S. Simulation vector generation from HDL descriptions for observability-enhanced statement coverage. In Proc. Design Automation Conf., June 1999, pp.666–671.Google Scholar
  2. [2]
    F Corno, M Sonza Reorda, G Squillero. RT-level ITC’99 benchmarks and first ATPR results. IEEE Design & Test of Computer, July-August 2000, pp.44–53.Google Scholar
  3. [3]
    Levendel Y H, Menon P R. Test generation for computer hardware description language. IEEE Trans. Computers, July 1982, C-31(7): 577–588.Google Scholar
  4. [4]
    Murray B T, Hayes J P. Hierarchical test generation using pre-computed tests for modules. IEEE Trans. Computer-Aided Design of Integrated Circuits and Systems, June 1990, 9(6): 594–603.Google Scholar
  5. [5]
    Roy K, Abraham J A. High-level test generation using data flow descriptions. In Proc. Eur. Conf. Design Automation, Mar. 1990, pp.480–484.Google Scholar
  6. [6]
    Ferrandi F, Fummi F, Sciuto D. Implicit test generation for behavioral VHDL model. In Proc. Int. Test Conference, Oct. 1998, pp.587–596.Google Scholar
  7. [7]
    Bhatia S, Jha N K. Integration of hierarchical test generation with behavioral synthesis of controller and data path circuits. IEEE Trans. VLSI Systems, Dec. 1998, 6(4): 608–619.Google Scholar
  8. [8]
    Ghosh I, Fujita M. Automatic test generation for functional register-transfer level circuits using assignment decision diagrams. IEEE Trans. Computer-Aided Design of Integrated Circuits and Systems, March 2001, 20(3): 402–415.Google Scholar
  9. [9]
    Williams S. The ICARUS Verilog compilation system.
  10. [10]
    F Corno, G Cumani, M Sonza Reorda, G Squillero. RT-level fault simulation techniques based on simulation command scripts. In XV Conf. Design of Circuits and Integrated Systems, Le Corum, Montpellier, Nov. 21-24, 2000, pp.825–830.Google Scholar
  11. [11]
    Breuer M A, Friedman A D. Diagnosis & Reliable Design of Digital Systems. Computer Science Press, USA, 1976.Google Scholar
  12. [12]
    Niermann M, Cheng W T, Patel J H. PROOFS: A fast, memory-efficient sequential circuit fault simulator. IEEE Trans. Computer-Aided Design of Integrated Circuits and Systems, Feb. 1992, 11(2): 198–207.Google Scholar
  13. [13]
    Lee H K, Ha D S. HOPE: An efficient parallel fault simulator for synchronous sequential circuits. IEEE Trans. Computer-Aided Design of Integrated Circuits and Systems, Feb. 1996, 15(9): 1048–1058.Google Scholar
  14. [14]
    Reorda M S, Corno F, Squillero G. ITC’99 benchmarks.
  15. [15]
    CMU Lower Power Group. CMU-DSP Benchmarks.∼lowpower/benchmarks.html
  16. [16]
    Bhasker J. A Verilog HDL Primer (Second Edition). Star Galaxy Publishing, USA, 1999.Google Scholar
  17. [17]
    Yinghua Min. Why RTL ATPG. Journal of Computer Science and Technology, 2002, 17(2): 113–117.Google Scholar
  18. [18]
    Thaker P A, Agrawal V D, Zaghloul M E. A test evaluation technique for vlsi circuits using register-transfer level fault modeling. IEEE Trans. Computer-Aided Design of Integrated Circuits and Systems, Aug. 2003, 22(8): 1104–1113.Google Scholar
  19. [19]
    Yin Z, Min Y, Li X. An approach to RTL fault extraction and test generation. In Proc. 10th Asian Test Symposium, 2001, pp. 219–224.Google Scholar

Copyright information

© Springer Science + Business Media, Inc. 2005

Authors and Affiliations

  1. 1.Institute of Computing TechnologyChinese Academy of SciencesBeijingP.R. China

Personalised recommendations