Nothing Special   »   [go: up one dir, main page]

skip to main content
10.1145/337292.337777acmconferencesArticle/Chapter ViewAbstractPublication PagesdacConference Proceedingsconference-collections
Article
Free access

A switch level fault simulation environment

Published: 01 June 2000 Publication History

Abstract

This paper presents a fault simulation environment which accepts pure switch level or mixed switch/RT level descriptions of the design under test. Switch level fault injection strategies for the stuck-at, transition and logic bridge models are presented. A fault simulation algorithm is presented, along with design issues and optimizations. The fault simulation algorithm places no restrictions on the circuit styles used to implement designs. Mixed level simulation issues are discussed. Fault simulation performance numbers on large industrial benchmarks are reported.

References

[1]
R. Bryant, D. Beatty, K. Brace, K. Cho, and T. Sheffler. COSMOS: A Compiled Simulator for MOS circuits. In Proceedings of the 24th Design Automation Conference, pages 9-16, 1987.
[2]
J. Casas, H. Yang, M. Khaira, M. Joshi, T. Tetzlaff, S. Otto, and E. Seligman. Logic Verification of Very Large Circuits using Shark. In Proceedings of VLSI Design Conference, pages 310-317, 1999.
[3]
K.-T. Cheng. Transition Fault Testing for Sequential Circuits. IEEE Trans. Comput., 12(12):1971-1983, December 1993.
[4]
W.-T. Cheng and M.-L. Yu. Differential Fault Simulation- A Fast Method Using Minimal Memory. In Proceedings of the 26th ACM/IEEE Design Automation Conference, pages 424-428, 1989.
[5]
F. J. Ferguson. Inductive Fault Analysis of VLSI Circuits. PhD thesis, Carnegie Mellon University, Department of Electrical and Computer Engineering, October 1987.
[6]
S. Karthik, M. Aitken, G. Martin, S. Pappula, B. Stettler, E Vishakantaiah, M. d'Abreu, and J. A. Abraham. Distributed Mixed Level Logic and Fault Simulation on the Pentium Pro Microprocessor. In Proceedings IEEE Int' l Test Conference, pages 160-166, October 1996.
[7]
T. M. Niermann, W.-T. Cheng, and J. H. Patel. PROOFS: A Fast Memory-Efficient Sequential Circuit Fault Simulator. IEEE Transactions on Computer-Aided Design, II(2):1908-207, February 1992.
[8]
C.-J. H. Seger. Voss - a formal hardware verification system user's guide. Technical Report TR-93-45, Department of Computer Science, University of British Columbia, 1993.
[9]
E. Vandris and G. Sobelman. Algorithms for Fast, Memory Efficient Switch Level Fault Simulation. In Proceedings of the 28th ACM/IEEE Design Automation Conference, pages 138-143, 1993.

Cited By

View all
  • (2013)A Novel Simulation Fault Injection using Electronic Systems Level Simulation ModelsIEEE Design & Test10.1109/MDT.2009.128(1-1)Online publication date: 2013
  • (2009)A Novel Simulation Fault Injection Method for Dependability AnalysisIEEE Design & Test of Computers10.1109/MDT.2009.13526:6(50-61)Online publication date: Nov-2009
  • (2009)Multi-valued logic mapping of resistive short and open delay-fault testing in deep sub-micron technologiesMicroelectronics Reliability10.1016/j.microrel.2008.11.01049:2(178-185)Online publication date: Mar-2009
  • Show More Cited By

Recommendations

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

cover image ACM Conferences
DAC '00: Proceedings of the 37th Annual Design Automation Conference
June 2000
819 pages
ISBN:1581131879
DOI:10.1145/337292
Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Sponsors

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 01 June 2000

Permissions

Request permissions for this article.

Check for updates

Qualifiers

  • Article

Conference

DAC00
Sponsor:
DAC00: ACM/IEEE-CAS/EDAC Design Automation Conference
June 5 - 9, 2000
California, Los Angeles, USA

Acceptance Rates

Overall Acceptance Rate 1,770 of 5,499 submissions, 32%

Upcoming Conference

DAC '25
62nd ACM/IEEE Design Automation Conference
June 22 - 26, 2025
San Francisco , CA , USA

Contributors

Other Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

  • Downloads (Last 12 months)32
  • Downloads (Last 6 weeks)8
Reflects downloads up to 24 Sep 2024

Other Metrics

Citations

Cited By

View all
  • (2013)A Novel Simulation Fault Injection using Electronic Systems Level Simulation ModelsIEEE Design & Test10.1109/MDT.2009.128(1-1)Online publication date: 2013
  • (2009)A Novel Simulation Fault Injection Method for Dependability AnalysisIEEE Design & Test of Computers10.1109/MDT.2009.13526:6(50-61)Online publication date: Nov-2009
  • (2009)Multi-valued logic mapping of resistive short and open delay-fault testing in deep sub-micron technologiesMicroelectronics Reliability10.1016/j.microrel.2008.11.01049:2(178-185)Online publication date: Mar-2009
  • (2008)Extraction and simulation of potential bridging faults and open defects affecting standard cell libraries2008 2nd International Conference on Signals, Circuits and Systems10.1109/ICSCS.2008.4746914(1-6)Online publication date: Nov-2008
  • (2008)Voltage-based fault path tracing by transistor operating point analysisMicroelectronics Reliability10.1016/j.microrel.2008.07.05548:8-9(1533-1538)Online publication date: Aug-2008
  • (2007)Testing for systematic defects based on DFM guidelines2007 IEEE International Test Conference10.1109/TEST.2007.4437603(1-10)Online publication date: Oct-2007
  • (2006)Improving Precision Using Mixed-level Fault Diagnosis2006 IEEE International Test Conference10.1109/TEST.2006.297661(1-10)Online publication date: Oct-2006
  • (2006)Verification and fault synthesis algorithm at switch-levelMicroprocessors and Microsystems10.1016/j.micpro.2005.12.00230:4(199-208)Online publication date: Jun-2006
  • (2003)Switch-level emulationProceedings of the 40th annual Design Automation Conference10.1145/775832.775996(644-649)Online publication date: 2-Jun-2003
  • (2003)IC bridge fault modeling for IP blocks using neural network-based VHDL saboteursIEEE Transactions on Computers10.1109/TC.2003.123452652:10(1285-1297)Online publication date: 1-Oct-2003
  • Show More Cited By

View Options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Get Access

Login options

Media

Figures

Other

Tables

Share

Share

Share this Publication link

Share on social media