ハードウェアトロイに含まれるネットに着目したハードウェアトロイ検出手法

摘要

近年チップの製造をサードパーティに外注するようになり，ハードウェアトロイが挿入される可能性が高まってきた．特に設計段階では簡単にハードウェアトロイを挿入することができる．ゲートレベルのネットリストに対してハードウェアトロイ検出手法を適用する場合，我々はGoldenネットリストを持っておらず，挿入されているハードウェアトロイを活性化するという条件下でハードウェアトロイを検出する手法が存在するのみである．本稿では，Goldenネットリストが無く，ハードウェアトロイを活性化させなくてもハードウェアトロイを検出する手法として，低スイッチング確率のネット（LSLGネットと呼ぶ）の検出を通じてハードウェアトロイを検出する手法を提案する．LSLGネットはネットリストに含まれるネットの数％であるにも関わらず，Trust-HUBのAbstraction Gate Levelで公開されているハードウェアトロイが挿入されている全てのゲートレベルのネットリストに対して，ハードウェアトロイの一部を検出することに成功した．提案手法にかかる時間は高々十数分程度である．