@techreport{oai:ipsj.ixsq.nii.ac.jp:00218993, author = {豊岡, 雄大 and 渡辺, 悠樹 and 細川, 利典 and 吉村, 正義 and Yudai, Toyooka and Yuki, Watanabe and Toshinori, Hosokawa and Masayoshi, Yoshimura}, issue = {4}, month = {Jul}, note = {ミッションクリティカルなシステムに搭載されている VLSI は経年劣化による欠陥を検出するために,フィールドテストが必要とされている.しかしながら,電源オン/オフ時間のような短い時間に回路を網羅的にテストすることは困難な問題である.その問題を解決するためにコントローラ中のすべての状態遷移を n 回実行する状態信号系列を用いた非スキャンベースの組込み自己テスト手法が提案されている.しかしながら,その故障検出率は十分に高いわけではない.本論文では,コントローラ中のすべての k 連続状態遷移を n 回実行する状態信号系列生成手法を提案する.また提案した状態信号系列から生成される制御信号系列とレジスタ転送レベルでのデータパスの構造を用いた構造的記号シミュレーションを提案する.構造的記号シミュレーションを用いてデータパス中のハードウェア要素のテスト可能率と各ハードウェア要素のテスト実行回数を評価し,故障検出率とテスト可能率の関係を解析する., For VLSIs which are built in mission-critical systems field testing is required to detect defects caused by aging. However, it is a difficult problem to comprehensively test circuits in a short time such as time for power on / off. To solve this problem, a non-scan based built-in self test method using a status signal sequence which executes all state transitions in controllers n times has been proposed. However, the fault coverage is not high enough. In this paper, we propose a generation method of status signal sequences which execute all k continuous state transitions in controllers n times. We also propose structural symbolic simulation using control signal sequences generated from the status signal sequences and the structure of data-paths at register transfer level. We evaluate the testability ratio for hardware elements in data-paths and the number of test executions of each hardware element using structural symbolic simulation and analyze the relationship with the fault coverage and the testability ratio.}, title = {フィールドテストのためのk連続状態遷移に基づく状態信号系列を用いたフィールドテスタビリティの評価}, year = {2022} }