• DocumentCode
    2161647
  • Title

    Discrete event system approach for delay fault analysis in digital circuits

  • Author

    Westerman, Glenn ; Kumar, Ratnesh ; Stroud, Charles ; Heath, J. Robert

  • Author_Institution
    Lexmark Int. Inc., Lexington, KY, USA
  • Volume
    1
  • fYear
    1998
  • fDate
    21-26 Jun 1998
  • Firstpage
    239
  • Abstract
    This paper presents the application of discrete event system (DES) techniques to delay fault modeling and analysis. DES is a dynamical system that evolves according to asynchronous occurrence of certain discrete changes, called events. An integrated circuit (chip) may be considered as a discrete event system. DES modeling techniques are used for delay fault analysis of a chip design. This formal analysis technique may help avoid some of the large cost of simulation, DES delay gate models and circuit path delay models are developed as well as algorithms that provide design testability evaluation and robust delay fault test generation
  • Keywords
    delays; design for testability; digital integrated circuits; discrete event systems; fault diagnosis; formal verification; integrated circuit testing; logic testing; DES techniques; IC; asynchronous occurrence; circuit path delay models; delay fault analysis; delay gate models; design testability evaluation; digital circuits; discrete event system techniques; fault modeling; integrated circuit; robust delay fault test generation; Algorithm design and analysis; Analytical models; Chip scale packaging; Circuit faults; Circuit simulation; Circuit testing; Costs; Delay systems; Discrete event systems; Robustness;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    American Control Conference, 1998. Proceedings of the 1998
  • Conference_Location
    Philadelphia, PA
  • ISSN
    0743-1619
  • Print_ISBN
    0-7803-4530-4
  • Type

    conf

  • DOI
    10.1109/ACC.1998.694667
  • Filename
    694667