ゲートレベルネットリストを対象としたスコアに基づくハードウェアトロイ識別手法

摘要

近年，企業はデジタルICの製造コストを削減するために，チップの製造をサードパーティに外注するようになった．サードパーティが製造に関わるようになり，ハードウェアトロイ（HTs）の挿入が問題視されるようになった．設計段階ではRegister Transfer Level（RTL）やゲートレベルのネットリストが1つだけ生成されるため，Goldenネットリストを仮定することはできない．以上の背景から生成されたネットリストにHTsが挿入されているか否かを識別するのは極めて困難である．本稿では，Goldenネットリストを使わずにゲートレベルのネットリストに対してスコアに基づいたHTsの有無を識別する手法を提案する．提案手法は，HTsに含まれるネット（トロイネットと呼ぶ）の特徴に注目し，トロイネットを検出することでHTsを検出する．提案手法はTrust-HUBのAbstraction Gate Levelで公開されている全てのゲートレベルのネットリストに対してHTsの有無を分類することに成功した．提案手法にかかる時間は高々数時間程度である．