• DocumentCode
    2559783
  • Title

    Multiple observation time single reference test generation using synchronizing sequences

  • Author

    Cho, Hyunwoo ; Jeong, Seh-Woong ; Somenzi, Fabio ; Pixley, Carl

  • Author_Institution
    Dept. of Electr. & Comput. Eng., Univ. of Colorado, Boulder, CO, USA
  • fYear
    1993
  • fDate
    22-25 Feb 1993
  • Firstpage
    494
  • Lastpage
    498
  • Abstract
    A synchronizing sequence drives a circuit from an arbitrary power-up state into a unique state. A framework and algorithms for test generation based on the multiple observation time strategy are developed by taking advantage of synchronizing sequences. Though it has been shown that the multiple observation time strategy can provide a higher fault coverage than the conventional single observation time strategy, until now the multiple observation time strategy has required a very complex tester operation model and its overhead. However, when a circuit is synchronizable, test generation can employ the multiple observation time strategy and provide better fault coverages, while using the conventional tester operation model. It is shown that the same fault coverage can be achieved in both tester operation models if the circuit under test generation is synchronizable. The authors investigate how a synchronizing sequence simplifies test generation and allows one to use the simpler tester operation model
  • Keywords
    automatic test software; circuit analysis computing; logic testing; sequential circuits; synchronisation; algorithm; binary decision diagrams; fault coverages; multiple observation time strategy; sequential circuits; single reference test generation; synchronizing sequences; tester operation model; Automata; Boolean functions; Circuit faults; Circuit testing; Contracts; Data structures; Drives; Laboratories; Power generation; Reachability analysis;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Design Automation, 1993, with the European Event in ASIC Design. Proceedings. [4th] European Conference on
  • Conference_Location
    Paris
  • Print_ISBN
    0-8186-3410-3
  • Type

    conf

  • DOI
    10.1109/EDAC.1993.386426
  • Filename
    386426