@techreport{oai:ipsj.ixsq.nii.ac.jp:00222427, author = {千田, 祐弥 and 細川, 利典 and 山崎, 浩二 and Yuya, Chida and Toshinori, Hosokawa and Kouji, Yamazaki}, issue = {8}, month = {Nov}, note = {故障診断において,高故障検出率かつ多数の故障ペアが識別可能であることが重要である.このことを実現するために,レジスタ転送レベル回路における故障診断容易化設計のためのコントローラの制御信号のドントケア割当て法が提案されている.しかしながら,診断容易化設計が適用されたレジスタ転送レベル回路を論理合成し,スキャン設計を施して生成された論理回路に対してテスト生成を実行しても,診断容易化設計での診断分解能向上の意図が考慮されていないため,必ずしも高い診断分解能が得られるとは限らない.本論文では,診断分解能向上のために診断容易化設計が施された回路に対して診断容易化設計情報を抽出した後,その情報を用いたテスト生成法を提案し,多数の故障ペアを識別可能なテスト集合が生成されることを示す., In fault diagnosis, it is important to achieve high fault coverage and to identify a large number of fault pairs. A don't-care filling method of control signals for controllers as design for diagnosability at register transfer level has been proposed to attain these goals. However, even if test generation is performed on logic circuits generated by applying logic synthesis and scan design to register transfer level circuits with design for diagnosability, the generated test set do not always obtain high diagnosis resolution. Because an ordinary test generation tool does not know the intention to improve diagnosis resolution at the design. In this paper, after extracting the design for diagnosability information from circuits with design for diagnosability, we propose a test generation method using the information and show that a generated test set can identify a large number of fault pairs.}, title = {RTL故障診断容易化設計に基づくテスト生成法}, year = {2022} }