所属索引
き
マルチプレクサの遷移故障検出のためのコントローラ拡大法
パーシャルMax-SATを用いた低消費電力指向ドントケア判定・割当て同時最適化法
ハードウェアテストスケジューリング情報に基づくテスト生成法
n回状態遷移被覆に基づく非スキャンベースオンラインテスト法
RTLにおけるアンチSATに基づくコントローラの論理暗号化の評価
遷移故障検出率向上のためのコントローラの無効状態設計と状態割当て法
ニューラルネットワークを用いた高消費電力FF組合せ集合の推定
UAV-LiDARを用いた台風による樹木被害状況の把握に関する研究