@techreport{weko_28235_1, author = "的場,和男 and 横平,徳美 and 杉山,裕二 and 岡本卓爾", title = "命令実行によるプロセッサ制御回路の検査 -タイミングコントローラの検査を考慮したときのシーケンサ最小テスト集合の導出手続き-", year = "1990", institution = "岡山大学工学部, 岡山大学工学部, 岡山大学工学部, 岡山大学工学部", number = "81(1990-SLDM-054)", month = "oct" }