@techreport{weko_222427_1, author = "千田,祐弥 and 細川,利典 and 山崎,浩二", title = "RTL故障診断容易化設計に基づくテスト生成法", year = "2022", institution = "日本大学大学院生産工学研究科, 日本大学生産工学部, 明治大学情報コミュニケーション学部", number = "8", month = "nov" }