所属索引

営業列車の車体振動加速度を用いた軌道状態の監視に関する研究

遅延値を考慮したSATを用いた抵抗性オープン故障のテスト生成法

低消費電力指向静的テスト圧縮法

SATを用いた到達不能状態判定法

故障シミュレータとSATエンジンを用いた遷移故障テスト生成の評価

演算器並列テストのためのRTLテスト容易化設計法

順序回路のkサイクルテスト集合に対するドントケア判定法

IP保護のための論理暗号化の評価