プログラマブル電気ルールチェック(PERC)は、デザイン・ルール・チェック (DRC)やレイアウトvsスケマティック (LVS)ではチェックできない、集積回路(IC) 設計の信頼性に関する問題を検証するための手法です。 これらの信頼性チェックは、静電気放電(ESD)に関連するものが多く見られますが、電気的過負荷(EOS)や絶縁破壊など、その他のチェックにも範囲を広げることができます。これらのルールには、接続性やネットリスト情報が関与しますが、設計ごとに完全にカスタマイズできることも必要とされており、これはプログラム可能な特性によって実現されています。
PERCのチェック項目は、主に4つのカテゴリーに分類されます:
チェックには4種類あるため、チェックの種類によってデータフローが異なります。PERCにおいて最も基本的な構成要素は「ネットリスト解析エンジン」です。 このモジュールはすべてのフローにおいて最初に実行され、PERCという名称の由来となったプログラム可能な部分です。この段階では、ネットリストが読み込まれ、顧客がそのネットリストについて知りたいと思われるあらゆる事項について分析が行われます。その結果、チェックの種類に応じて、エラーが報告されたり、後続のモジュールに情報が渡されたりします。
これを、以下の簡単なブロック図で示します:
解析対象のネットリストがレイアウトから取得される場合、そのネットリストを生成するために「LVS Extract」を実行する必要がありますが、この手順は上記には記載されていません。これらのPERCフローでは、「LVS Compare」は使用されません。
PERCはプログラム可能なソリューションであるため、その用途や応用範囲は広範です。設計者がネットリストやそれに対応する形状について知りたいと思うことは、すべてプログラムで実現可能です。
問題領域を区分する方法はいくつかあります。最も一般的なのは、ESDアプリケーションと非ESDアプリケーションに区分する方法です。
ESD用途は、PERCの使用量においてかなりの割合を占めています。ESDチェックでは、4種類のチェック(ネットリスト、ネットリスト駆動レイアウト、電流密度、ポイント・トゥ・ポイント抵抗)すべてが活用されます。 ネットリストチェックは、ESD保護回路の存在を確認するものであり、回路図または抽出されたレイアウトのネットリスト上で実行できます。ネットリスト駆動型レイアウト、電流密度、およびポイント間抵抗のチェックには、いずれもレイアウトデータが必要です。また、電流密度およびポイント間抵抗のチェックでは、R値の抽出にStarRC が活用されます。
ESD以外の用途は、概して「方法論チェック」というカテゴリーに分類されます。これは、顧客がPERCタイプのチェック機能を利用して、その他幅広い分析を行っていることを示す、包括的な表現です。ネットリストチェックのカテゴリーには、以下のようなものが含まれます:
ネットリスト駆動型のレイアウトチェックにおいて、ESD以外の用途として最も一般的なのは電圧依存間隔ですが、幾何学的対称性のチェックやその他の用途にも利用できます。電流密度や点間抵抗はほぼ完全にESDのチェックに用いられるため、ここではその他の用途については触れません。
シノプシス「IC Validator 」の物理検証機能は、デザイン・ルール・チェック (DRC)、レイアウトvsスケマティック (LVS)、フィル機能などを含む包括的なサインオフソリューションです。