Generation of Sensitizing Input-Pairs Having Multiple-Input Change

Bibliographic Information

Other Title
  • 複数の外部入力を変化させる活性化入力対の生成法について

Search this article

Description

In this paper, we propose a sensitizing input-pair having multiple-input change that sensitizes the path including the target line. We also describe the application of the set of sensitizing input-pairs generated by the proposed method to multiple stuck-at fault diagnosis. First, we propose a method of generating the sensitizing input-pairs that apply a transition value at only one primary input. Next we show an example of the checkpoint that can not be included by the sensitized paths generated by sensitizing input-pairs having a single-input change. We propose a method of generating the sensitizing input-pair having multiple-input Change that sensitizes the paths including the checkpoints described above. Our proposed method uses the new decision tree to assign values at the primary inputs. Finally, we show experimental results on the ISCAS benchmark circuits. Experimental results show that the proposed method generates the set of sensitizing input-pairs with high sensitized path coverage and that the set of sensitizing input-pairs is effective for the multiple fault diagnosls.

Journal

  • Technical report of IEICE. FTS

    Technical report of IEICE. FTS 96 (519), 97-104, 1997-02-13

    The Institute of Electronics, Information and Communication Engineers

Keywords

Details 詳細情報について

  • CRID
    1571135652353951872
  • NII Article ID
    110003193974
  • NII Book ID
    AN10012998
  • Text Lang
    ja
  • Data Source
    • CiNii Articles

Report a problem

Back to top