(57)【要約】【課題】膨大な数のトランジスタが配置されていても、トランジスタの配置位置を検証することができるレイアウトパターン検証装置を得る。【解決手段】ＲＯＭビットマップファイル作成部４５により作成されたＲＯＭビットマップファイル４６が示すトランジスタ１３の配置位置とネットリストファイル４７に記述されているトランジスタ１３の接続情報を参照して、レイアウトパターンファイル４３に記述されているトランジスタ１３の配置位置を検証する。【選択図】　　　　図１
2004038399.tif 000002
【特許請求の範囲】
【請求項１】
マスクＲＯＭに対する論理素子の配置条件を参照して、レイアウトパターンファイルに記述されている論理素子の配置位置を特定し、その配置位置を示すＲＯＭビットマップファイルを作成するＲＯＭビットマップファイル作成手段と、上記ＲＯＭビットマップファイル作成手段により作成されたＲＯＭビットマップファイルが示す論理素子の配置位置とネットリストファイルに記述されている論理素子の接続情報を参照して、そのレイアウトパターンファイルに記述されているトランジスタの配置位置を検証する検証手段とを備えたレイアウトパターン検証装置。
【請求項２】
検証手段は、ＲＯＭビットマップファイルが示す論理素子の配置位置とネットリストファイルに記述されている論理素子の接続情報とを入力条件にして論理シミュレーションを実行し、そのシミュレーション結果が期待値と一致しているか否かを検証することを特徴とする請求項１記載のレイアウトパターン検証装置。
【請求項３】
検証手段はさらに、マスクＲＯＭに格納するプログラムコードに応じた論理素子の配置位置を示す検証用ビットマップファイルが作成されると、その検証用ビットマップファイルが示す論理素子の配置位置とネットリストファイルに記述されている論理素子の接続情報を参照して、上記マスクＲＯＭに対する論理素子の配置条件を検証することを特徴とする請求項１記載のレイアウトパターン検証装置。
【請求項４】
検証手段はさらに、検証用ビットマップファイルが示す論理素子の配置位置とネットリストファイルに記述されている論理素子の接続情報とを入力条件にして論理シミュレーションを実行し、そのシミュレーション結果が期待値と一致しているか否かを検証することを特徴とする請求項３記載のレイアウトパターン検証装置。
【請求項５】
マスクＲＯＭに対する論理素子の配置条件を参照して、そのマスクＲＯＭに格納するプログラムコードに応じた論理素子の配置位置を特定し、その配置位置に基づいて論理素子の接続関係を示す検証用ネットリストファイルを作成する検証用ネットリストファイル作成手段と、レイアウトパターンファイルに記述されている論理素子と配線を認識して、その論理素子の接続関係を示すＲＯＭネットリストファイルを作成するＲＯＭネットリストファイル作成手段と、上記検証用ネットリストファイル作成手段により作成された検証用ネットリストファイルと上記ＲＯＭネットリストファイル作成手段により作成されたＲＯＭネットリストファイルを比較する比較手段とを備えたレイアウトパターン検証装置。
【請求項６】
検証用ネットリストファイル作成手段は、プログラムコードに応じた論理素子の配置位置に基づいて回路図データを生成し、その回路図データから論理素子の接続関係を示す検証用ネットリストファイルを作成することを特徴とする請求項５記載のレイアウトパターン検証装置。
【請求項７】
マスクＲＯＭに対する論理素子の配置条件を参照して、そのマスクＲＯＭに格納するプログラムコードに応じた論理素子の配置位置を特定し、その配置位置を示す検証用ビットマップファイルを作成する検証用ビットマップファイル作成手段と、上記マスクＲＯＭに対する論理素子の配置条件を参照して、レイアウトパターンファイルに記述されている論理素子の配置位置を特定し、その配置位置を示すＲＯＭビットマップファイルを作成するＲＯＭビットマップファイル作成手段と、上記検証用ビットマップファイル作成手段により作成された検証用ビットマップファイルと上記ＲＯＭビットマップファイル作成手段により作成されたＲＯＭビットマップファイルを比較する比較手段とを備えたレイアウトパターン検証装置。
【発明の詳細な説明】
【０００１】
【発明の属する技術分野】
この発明は、マスクＲＯＭを内蔵するＬＳＩの製造に必要なレイアウトパターンファイルを検証するレイアウトパターン検証装置に関するものである。
【０００２】
【従来の技術】
図１１は従来のレイアウトパターン検証装置を示す構成図であり、図において、１はマスクＲＯＭに対するトランジスタの配置条件（配列規則、座標）が記述されているＲＯＭ構造ファイル、２はＲＯＭ構造ファイル１に記述されているトランジスタの配置条件を読み込むＲＯＭ構造ファイル読込部、３はマスクＲＯＭに格納するプログラムコード（以下、ＲＯＭコードという）が記述されているＲＯＭコードファイル、４はＲＯＭコードファイル３に記述されているＲＯＭコードを読み込むＲＯＭコードファイル読込部である。
【０００３】
５はＲＯＭ構造ファイル読込部２により読み込まれたトランジスタの配置条件を参照して、ＲＯＭコードファイル読込部４により読み込まれたＲＯＭコードにしたがってマスクＲＯＭに対するトランジスタの物理的な位置を特定して、レイアウトパターンファイル６を作成するレイアウトパターンファイル作成部、６はマスクＲＯＭに対するトランジスタの物理的な位置が記述されているレイアウトパターンファイル、７はトランジスタの物理的な位置を表示する画面表示部である。
【０００４】
図１２はマスクＲＯＭの論理回路を示す回路図であり、図において、１１はアドレス信号線Ａ０〜Ａ３が接続され、アドレス信号線Ａ０〜Ａ３のアドレスビット値に応じて列方向の信号線Ｘ０〜Ｘ７を選択するＸアドレスデコーダ、１２はアドレス信号線Ａ４〜Ａ７が接続され、アドレス信号線Ａ４〜Ａ７のアドレスビット値に応じて行方向の信号線Ｙ０〜Ｙ７を選択するＹアドレスデコーダ、１３は信号線Ｘ０〜Ｘ７と信号線Ｙ０〜Ｙ７の交点に配置されるトランジスタである。ただし、全ての交点にトランジスタ１３が配置されるわけではなく、マスクＲＯＭに格納するＲＯＭコードに応じてトランジスタ１３が配置される。
【０００５】
図１３はマスクＲＯＭに対するトランジスタの物理的な位置関係等を説明する説明図であり、図において、１４はアドレス信号線Ａ０〜Ａ３のアドレスビット値、１５はアドレス信号線Ａ４〜Ａ７のアドレスビット値、１６は１つのトランジスタ１３が占有する領域（以下、配置領域という）の幅、１７はトランジスタ１３の配置領域の高さ、１８は配置領域の列方向のピッチ、１９は配置領域の行方向のピッチ、２０はトランジスタ１３を配置する上で基準となる配置領域の位置（以下、オフセット位置という）である。
【０００６】
図１４はＲＯＭ構造ファイル１の記述内容を示す説明図であり、図において、２１はオフセット位置のＸ座標、２２はオフセット位置のＹ座標、２３は配置領域の幅、２４は配置領域の高さ、２５は配置領域の列方向のピッチ、２６は配置領域の行方向のピッチ、２７は列方向のアドレスビットのビット名、２８は列方向のアドレスビットのビット値、２９は行方向のアドレスビットのビット名、３０は行方向のアドレスビットのビット値である。
【０００７】
図１５はＲＯＭコードファイル３の記述内容を示す説明図であり、図において、３１はトランジスタ１３の配置位置を示すアドレス、３２はＲＯＭコードであり、この例では、ＲＯＭコード３２が“１”のときはアドレス３１が示す配置領域にトランジスタ１３を配置することを示しており、ＲＯＭコード３２が“０”のときはアドレス３１が示す配置領域にトランジスタ１３を配置しないことを示している。
なお、図１６はレイアウトパターンファイル６の記述内容を示す説明図であり、図１７は従来のレイアウトパターン検証装置の処理内容を示すフローチャートである。
【０００８】
次に動作について説明する。
まず、ＲＯＭ構造ファイル読込部２は、図１４に示すようなＲＯＭ構造ファイル１からトランジスタの配置条件（オフセット位置のＸ・Ｙ座標、配置領域の幅・高さ、列方向及び行方向のピッチ、列方向及び行方向のアドレスビットのビット名・ビット値）の読み込みを行う（ステップＳＴ１）。
次に、ＲＯＭコードファイル読込部４は、図１５に示すようなＲＯＭコードファイル３から１アドレス分のＲＯＭコードの読み込みを行う（ステップＳＴ２）。即ち、一対のアドレス３１とＲＯＭコード３２の読み込みを行う。
【０００９】
レイアウトパターンファイル作成部５は、ＲＯＭコードファイル読込部４により読み込まれたＲＯＭコード３２が“１”の場合、ＲＯＭコードファイル読込部４により読み込まれたアドレス３１から、何行何列目の配置領域にトランジスタ１３を配置するかを特定する。例えば、アドレス３１が１６進数表現で“００１０”の場合、図１３において、網掛表示されている配置領域にトランジスタ１３を配置する。
【００１０】
そして、レイアウトパターンファイル作成部５は、トランジスタ１３を配置する配置領域を特定すると、ＲＯＭ構造ファイル読込部２により読み込まれたトランジスタの配置条件を参照して、その配置領域の座標を算出する（ステップＳＴ３）。
なお、この例では、ＲＯＭコードファイル読込部４により読み込まれたＲＯＭコード３２が“０”の場合、トランジスタ１３を配置する必要がないので、配置領域の特定処理や座標の算出処理は行われない。
レイアウトパターンファイル作成部５は、トランジスタ１３の配置領域の座標を算出すると、図１６に示すように、その座標上にトランジスタ１３を配置したレイアウトパターンファイル６を作成する（ステップＳＴ４）。
【００１１】
ＲＯＭコードファイル３に記述されている全てのＲＯＭコード３２に対する処理が終了するまで、ステップＳＴ２〜ＳＴ４の処理が繰り返し実行されて、レイアウトパターンファイル６が更新される（ステップＳＴ５）。
画面表示部７は、レイアウトパターンファイル作成部５によるレイアウトパターンファイル６の作成が完了すると、そのレイアウトパターンファイル６に記述されているトランジスタの配置位置（図１６を参照）を表示する（ステップＳＴ６）。
これにより、オペレータが目視によってレイアウトパターンファイル６が適正に作成されているか否かを確認する。
【００１２】
【発明が解決しようとする課題】
従来のレイアウトパターン検証装置は以上のように構成されているので、トランジスタ１３の配置数が少ない場合には、速やかにトランジスタ１３の配置位置を検証することができる。しかし、トランジスタ１３の配置数は極めて多いため（通常、数千から数万）、オペレータによる目視の確認では、全てのトランジスタ１３の配置位置を検証することは不可能に近く、マスクＲＯＭに不具合のあるＬＳＩ製品を出荷することがある課題があった。
【００１３】
この発明は上記のような課題を解決するためになされたもので、膨大な数のトランジスタが配置されていても、トランジスタの配置位置を検証することができるレイアウトパターン検証装置を得ることを目的とする。
【００１４】
【課題を解決するための手段】
この発明に係るレイアウトパターン検証装置は、マスクＲＯＭに対する論理素子の配置条件を参照して、レイアウトパターンファイルに記述されている論理素子の配置位置を特定し、その配置位置を示すＲＯＭビットマップファイルを作成するＲＯＭビットマップファイル作成手段と、上記ＲＯＭビットマップファイル作成手段により作成されたＲＯＭビットマップファイルが示す論理素子の配置位置とネットリストファイルに記述されている論理素子の接続情報を参照して、そのレイアウトパターンファイルに記述されているトランジスタの配置位置を検証する検証手段とを設けたものである。
【００１５】
この発明に係るレイアウトパターン検証装置は、ＲＯＭビットマップファイルが示す論理素子の配置位置とネットリストファイルに記述されている論理素子の接続情報とを入力条件にして論理シミュレーションを実行し、そのシミュレーション結果が期待値と一致しているか否かを検証するようにしたものである。
【００１６】
この発明に係るレイアウトパターン検証装置は、検証用ビットマップファイルが示す論理素子の配置位置とネットリストファイルに記述されている論理素子の接続情報を参照して、マスクＲＯＭに対する論理素子の配置条件を検証するようにしたものである。
【００１７】
この発明に係るレイアウトパターン検証装置は、検証用ビットマップファイルが示す論理素子の配置位置とネットリストファイルに記述されている論理素子の接続情報とを入力条件にして論理シミュレーションを実行し、そのシミュレーション結果が期待値と一致しているか否かを検証するようにしたものである。
【００１８】
この発明に係るレイアウトパターン検証装置は、マスクＲＯＭに対する論理素子の配置条件を参照して、そのマスクＲＯＭに格納するプログラムコードに応じた論理素子の配置位置を特定し、その配置位置に基づいて論理素子の接続関係を示す検証用ネットリストファイルを作成する検証用ネットリストファイル作成手段と、レイアウトパターンファイルに記述されている論理素子と配線を認識して、その論理素子の接続関係を示すＲＯＭネットリストファイルを作成するＲＯＭネットリストファイル作成手段と、上記検証用ネットリストファイル作成手段により作成された検証用ネットリストファイルと上記ＲＯＭネットリストファイル作成手段により作成されたＲＯＭネットリストファイルを比較する比較手段とを設けたものである。
【００１９】
この発明に係るレイアウトパターン検証装置は、プログラムコードに応じた論理素子の配置位置に基づいて回路図データを生成し、その回路図データから論理素子の接続関係を示す検証用ネットリストファイルを作成するようにしたものである。
【００２０】
この発明に係るレイアウトパターン検証装置は、マスクＲＯＭに対する論理素子の配置条件を参照して、そのマスクＲＯＭに格納するプログラムコードに応じた論理素子の配置位置を特定し、その配置位置を示す検証用ビットマップファイルを作成する検証用ビットマップファイル作成手段と、上記マスクＲＯＭに対する論理素子の配置条件を参照して、レイアウトパターンファイルに記述されている論理素子の配置位置を特定し、その配置位置を示すＲＯＭビットマップファイルを作成するＲＯＭビットマップファイル作成手段と、上記検証用ビットマップファイル作成手段により作成された検証用ビットマップファイルと上記ＲＯＭビットマップファイル作成手段により作成されたＲＯＭビットマップファイルを比較する比較手段とを設けたものである。
【００２１】
【発明の実施の形態】
以下、この発明の実施の一形態を説明する。
実施の形態１．
図１はこの発明の実施の形態１によるレイアウトパターン検証装置を示す構成図であり、図において、４１はマスクＲＯＭに対するトランジスタ（論理素子）の配置条件が記述されているＲＯＭ構造ファイル（図１４を参照）、４２はＲＯＭ構造ファイル４１に記述されているトランジスタの配置条件を読み込むＲＯＭ構造ファイル読込部、４３はマスクＲＯＭに対するトランジスタの物理的な位置が記述されているレイアウトパターンファイル（図１６を参照）、４４はレイアウトパターンファイル４３の記述内容を読み込むレイアウトパターンファイル読込部である。
【００２２】
４５はＲＯＭ構造ファイル読込部４２により読み込まれたトランジスタの配置条件を参照して、レイアウトパターンファイル４３に記述されているトランジスタの配置位置を特定し、その配置位置を示すＲＯＭビットマップファイル４６を作成するＲＯＭビットマップファイル作成部（ＲＯＭビットマップファイル作成手段）、４６はトランジスタの配置位置を示すＲＯＭビットマップファイルである。
【００２３】
４７は論理回路を構成する素子（例えば、ＣＰＵ、タイマー、アドレスデコーダ、トランジスタ）の接続関係、遅延値や信号強度などの情報が記述されているネットリストファイル、４８はネットリストファイル４７に記述されているトランジスタの接続情報等を読み込むネットリストファイル読込部、４９はＲＯＭビットマップファイル４６が示すトランジスタの配置位置とネットリストファイル４７に記述されているトランジスタの接続情報を参照して、レイアウトパターンファイル４３に記述されているトランジスタの配置位置を検証する論理シミュレーション実行部（検証手段）、５０は論理シミュレーション実行部４９のシミュレーション結果を表示する画面表示部である。
図２はこの発明の実施の形態１によるレイアウトパターン検証装置の処理内容を示すフローチャートである。
【００２４】
次に動作について説明する。
まず、ＲＯＭ構造ファイル読込部４２は、図１４に示すようなＲＯＭ構造ファイル４１からトランジスタ１３の配置条件（オフセット位置のＸ・Ｙ座標、配置領域の幅・高さ、列方向及び行方向のピッチ、列方向及び行方向のアドレスビットのビット名・ビット値）の読み込みを行う（ステップＳＴ１１）。
ＲＯＭビットマップファイル作成部４５は、ＲＯＭ構造ファイル読込部４２がトランジスタ１３の配置条件を読み込むと、その配置条件を参照して、マスクＲＯＭに対するトランジスタ１３の全配置領域の座標を算出する（ステップＳＴ１２）。図１３の例では、最大で８×８＝６４個のトランジスタ１３を配置することが可能であるので、６４個の配置領域の座標を算出する。
【００２５】
次に、レイアウトパターンファイル読込部４４は、レイアウトパターンファイル４３から１つのトランジスタ１３の配置領域の座標の読み込みを行う（ステップＳＴ１３）。
ＲＯＭビットマップファイル作成部４５は、レイアウトパターンファイル読込部４４がトランジスタ１３の配置領域の座標を読み込むと、そのトランジスタ１３の配置領域の座標と先に算出した全配置領域の座標とを比較して、座標が一致する配置領域を特定する。即ち、座標が一致する配置領域の行数と列数を特定する。
そして、座標が一致する配置領域が存在する場合、その配置領域に対応する２次元テーブルの真理値を“１”に設定する（ステップＳＴ１４，ＳＴ１５）。
例えば、座標が一致した配置領域の列がＸ７で、行がＹ０である場合には、図３に示すように、２次元テーブルの右下の真理値を“１”に設定する。ただし、初期状態では、２次元テーブルには全て“０”の真理値が設定されているものとする。
【００２６】
レイアウトパターンファイル４３から全てのトランジスタ１３の配置領域の座標の読み込みが完了するまで、ステップＳＴ１３〜ＳＴ１５の処理が繰り返し実行されて、２次元テーブルの真理値が設定される（ステップＳＴ１６）。
ＲＯＭビットマップファイル作成部４５は、２次元テーブルの真理値の設定処理が完了すると、その２次元テーブルの真理値の設定内容をファイル化して、ＲＯＭビットマップファイル４６を作成する（ステップＳＴ１７）。
【００２７】
次に、ネットリストファイル読込部４８は、ネットリストファイル４７に記述されているトランジスタ１３の接続情報等の読み込みを行う（ステップＳＴ１８）。
論理シミュレーション実行部４９は、ネットリストファイル読込部４８がトランジスタ１３の接続情報を読み込むと、そのトランジスタの接続情報と、ＲＯＭビットマップファイル４６が示すトランジスタ１３の配置位置（２次元テーブルの真理値の設定内容）とを入力条件にして論理シミュレーションを実行し、そのシミュレーション結果が期待値と一致しているか否かを検証する（ステップＳＴ１９）。即ち、レイアウトパターンファイル４３が適正に作成されているか否かを検証する。
【００２８】
画面表示部５０は、論理シミュレーション実行部４９のシミュレーション結果を表示する（ステップＳＴ２０）。
具体的には、レイアウトパターンファイル４３が適正に作成されているか否かを示すメッセージ等を表示する。
【００２９】
以上で明らかなように、この実施の形態１によれば、ＲＯＭビットマップファイル作成部４５により作成されたＲＯＭビットマップファイル４６が示すトランジスタ１３の配置位置とネットリストファイル４７に記述されているトランジスタ１３の接続情報を参照して、レイアウトパターンファイル４３に記述されているトランジスタ１３の配置位置を検証するように構成したので、膨大な数のトランジスタ１３が配置されていても、トランジスタ１３の配置位置を検証することができる効果を奏する。
【００３０】
実施の形態２．
図４はこの発明の実施の形態２によるレイアウトパターン検証装置を示す構成図であり、図において、図１と同一符号は同一または相当部分を示すので説明を省略する。
５１はマスクＲＯＭに格納するプログラムコード（以下、ＲＯＭコードという）が記述されているＲＯＭコードファイル（図１５を参照）、５２はＲＯＭコードファイル５１に記述されているＲＯＭコードを読み込むＲＯＭコードファイル読込部、５３はＲＯＭ構造ファイル読込部４２により読み込まれたトランジスタの配置条件を参照して、そのマスクＲＯＭに格納するＲＯＭコードに応じたトランジスタの配置位置を特定し、その配置位置を示す検証用ＲＯＭビットマップファイル５４を作成する検証用ＲＯＭビットマップファイル作成部、５４はトランジスタの配置位置を示す検証用ＲＯＭビットマップファイルである。
【００３１】
５５は検証用ＲＯＭビットマップファイル５４が示すトランジスタの配置位置を参照して回路図データを生成し、その回路図データからトランジスタの接続関係を示す検証用ＲＯＭネットリストファイル５６を作成する検証用ＲＯＭネットリストファイル作成部、５６はトランジスタの接続関係を示す検証用ＲＯＭネットリストファイルである。なお、検証用ＲＯＭビットマップファイル作成部５３及び検証用ＲＯＭネットリストファイル作成部５５から検証用ネットリストファイル作成手段が構成されている。
【００３２】
５７はレイアウトパターンファイル４３に記述されているトランジスタと配線を認識するレイアウトパターン認識部、５８はレイアウトパターン認識部５７の認識結果から、そのトランジスタの接続関係を示すＲＯＭネットリストファイル５９を作成するＲＯＭネットリストファイル作成部、５９はトランジスタの接続関係を示すＲＯＭネットリストファイルである。なお、レイアウトパターン認識部５７及びＲＯＭネットリストファイル作成部５８からＲＯＭネットリストファイル作成手段が構成されている。
６０は検証用ＲＯＭネットリストファイル５６とＲＯＭネットリストファイル５９を比較するネットリストファイル比較部（比較手段）、６１はネットリストファイル比較部６０の比較結果を表示する画面表示部である。
図５はこの発明の実施の形態２によるレイアウトパターン検証装置の処理内容を示すフローチャートである。
【００３３】
次に動作について説明する。
まず、ＲＯＭ構造ファイル読込部４２は、図１４に示すようなＲＯＭ構造ファイル４１からトランジスタ１３の配置条件（オフセット位置のＸ・Ｙ座標、配置領域の幅・高さ、列方向及び行方向のピッチ、列方向及び行方向のアドレスビットのビット名・ビット値）の読み込みを行う（ステップＳＴ３１）。
次に、ＲＯＭコードファイル読込部５２は、図１５に示すようなＲＯＭコードファイル５１から１アドレス分のＲＯＭコードの読み込みを行う（ステップＳＴ３２）。即ち、一対のアドレス３１とＲＯＭコード３２の読み込みを行う。
【００３４】
検証用ＲＯＭビットマップファイル作成部５３は、ＲＯＭコードファイル読込部５２により読み込まれたＲＯＭコード３２が“１”の場合、ＲＯＭコードファイル読込部５２により読み込まれたアドレス３１から、何行何列目の配置領域にトランジスタ１３を配置するかを特定する。
そして、検証用ＲＯＭビットマップファイル作成部５３は、トランジスタ１３を配置する配置領域を特定すると、ＲＯＭ構造ファイル読込部４２により読み込まれたトランジスタの配置条件を参照して、その配置領域の座標を算出し、その配置領域に対応する２次元テーブルの真理値を“１”に設定する（ステップＳＴ３３，ＳＴ３４）。
なお、この例では、ＲＯＭコードファイル読込部５２により読み込まれたＲＯＭコード３２が“０”の場合、トランジスタ１３を配置する必要がないので、配置領域の特定処理や真理値の設定処理は行われない。
【００３５】
ＲＯＭコードファイル５１に記述されている全てのＲＯＭコード３２に対する処理が終了するまで、ステップＳＴ３２〜ＳＴ３４の処理が繰り返し実行されて、２次元テーブルの真理値が設定される（ステップＳＴ３５）。
検証用ＲＯＭビットマップファイル作成部５３は、２次元テーブルの真理値の設定処理が完了すると、その２次元テーブルの真理値の設定内容をファイル化して、検証用ＲＯＭビットマップファイル５４を作成する（ステップＳＴ３６）。
【００３６】
検証用ＲＯＭネットリストファイル作成部５５は、検証用ＲＯＭビットマップファイル作成部５３が検証用ＲＯＭビットマップファイル５４を作成すると、検証用ＲＯＭビットマップファイル５４の真理値が“１”であれば、図６に示すように、信号線Ｘ０〜Ｘ７と信号線Ｙ０〜Ｙ７の交点のうち、その真理値に対応する交点にトランジスタ１３を配置して回路図データを生成する（ステップＳＴ３７）。なお、検証用ＲＯＭビットマップファイル５４の真理値が“０”の場合、その真理値に対応する交点にはトランジスタ１３を配置しない。
そして、検証用ＲＯＭネットリストファイル作成部５５は、回路図データの生成が完了すると、図７に示すように、その回路図データからトランジスタ１３の接続関係を示す検証用ＲＯＭネットリストファイル５６を作成する（ステップＳＴ３８）。
【００３７】
一方、レイアウトパターン認識部５７は、レイアウトパターンファイル読込部４４がレイアウトパターンファイル４３を読み込むと、レイアウトパターンファイル４３に対する図形認識処理を実施して、レイアウトパターンファイル４３に記述されているトランジスタと配線を認識する（ステップＳＴ３９）。
ＲＯＭネットリストファイル作成部５８は、レイアウトパターン認識部５７の認識結果を参照して、トランジスタ１３の接続関係を示すＲＯＭネットリストファイル５９を作成する（ステップＳＴ４０）。なお、ＲＯＭネットリストファイル５９は、検証用ＲＯＭネットリストファイル５６と同一形式のネットリストファイルである。
【００３８】
ネットリストファイル比較部６０は、検証用ＲＯＭネットリストファイル５６とＲＯＭネットリストファイル５９を比較する（ステップＳＴ４１）。
画面表示部６１は、ネットリストファイル比較部６０の比較結果を表示する。具体的には、ネットリストファイル比較部６０の比較結果が両者の一致を示す場合には、レイアウトパターンファイル４３が適正に作成されている旨を示すメッセージ等を表示し、不一致を示す場合には、レイアウトパターンファイル４３が適正に作成されていない旨を示すメッセージ等を表示する。
【００３９】
以上で明らかなように、検証用ＲＯＭネットリストファイル作成部５５により作成された検証用ＲＯＭネットリストファイル５６とＲＯＭネットリストファイル作成部５８により作成されたＲＯＭネットリストファイル５９を比較するように構成したので、膨大な数のトランジスタ１３が配置されていても、トランジスタ１３の配置位置を検証することができる効果を奏する。
【００４０】
実施の形態３．
図８はこの発明の実施の形態３によるレイアウトパターン検証装置を示す構成図であり、図において、図１及び図４と同一符号は同一または相当部分を示すので説明を省略する。
７１は検証用ＲＯＭビットマップファイル作成部５３により作成された検証用ＲＯＭビットマップファイル５４とＲＯＭビットマップファイル作成部４５により作成されたＲＯＭビットマップファイル４６を比較するＲＯＭビットマップファイル比較部（比較手段）、７２はＲＯＭビットマップファイル比較部７１の比較結果を表示する画面表示部である。
図９はこの発明の実施の形態３によるレイアウトパターン検証装置の処理内容を示すフローチャートである。
【００４１】
次に動作について説明する。
ＲＯＭビットマップファイル比較部７１は、上記実施の形態１と同様にして、ＲＯＭビットマップファイル作成部４５がＲＯＭビットマップファイル４６を作成し、上記実施の形態２と同様にして、検証用ＲＯＭビットマップファイル作成部５３が検証用ＲＯＭビットマップファイル５４を作成すると、その検証用ＲＯＭビットマップファイル５４とＲＯＭビットマップファイル４６を比較する（ステップＳＴ５１）。なお、検証用ＲＯＭビットマップファイル５４とＲＯＭビットマップファイル４６は同一形式のビットマップファイルである。
【００４２】
画面表示部７２は、ＲＯＭビットマップファイル比較部７１の比較結果を表示する。具体的には、ＲＯＭビットマップファイル比較部７１の比較結果が両者の一致を示す場合には、レイアウトパターンファイル４３が適正に作成されている旨を示すメッセージ等を表示し、不一致を示す場合には、レイアウトパターンファイル４３が適正に作成されていない旨を示すメッセージ等を表示する。
【００４３】
以上で明らかなように、この実施の形態３によれば、検証用ＲＯＭビットマップファイル作成部５３により作成された検証用ＲＯＭビットマップファイル５４とＲＯＭビットマップファイル作成部４５により作成されたＲＯＭビットマップファイル４６を比較するように構成したので、膨大な数のトランジスタ１３が配置されていても、トランジスタ１３の配置位置を検証することができる効果を奏する。
【００４４】
実施の形態４．
図１０はこの発明の実施の形態４によるレイアウトパターン検証装置を示す構成図であり、図において、図１及び図４と同一符号は同一または相当部分を示すので説明を省略する。
８１は図１の論理シミュレーション実行部４９と同様にしてトランジスタの配置位置を検証するとともに、検証用ＲＯＭビットマップファイル５４が示すトランジスタの配置位置とネットリストファイル４７に記述されているトランジスタの接続情報を参照して、マスクＲＯＭに対するトランジスタの配置条件を検証する論理シミュレーション実行部（検証手段）である。
【００４５】
上記実施の形態１では、論理シミュレーション実行部４９がトランジスタ１３の配置位置を検証するものについて示したが、論理シミュレーション実行部８１がトランジスタ１３の配置位置を検証する他に、マスクＲＯＭに対するトランジスタの配置条件（図１４を参照）を検証するようにしてもよい。
【００４６】
具体的には、論理シミュレーション実行部８１は、検証用ＲＯＭビットマップファイル５４が示すトランジスタの配置位置とネットリストファイル４７に記述されているトランジスタの接続情報とを入力条件にして論理シミュレーションを実行し、そのシミュレーション結果が期待値と一致しているか否かを検証する。即ち、ＲＯＭ構造ファイル４１に記述されている配置条件が適正であるか否かを検証する。
画面表示部５０は、論理シミュレーション実行部８１のシミュレーション結果を表示する。
具体的には、ＲＯＭ構造ファイル４１に記述されている配置条件が適正であるか否かを示すメッセージ等を表示する。
【００４７】
以上で明らかなように、この実施の形態４によれば、検証用ＲＯＭビットマップファイル５４が示すトランジスタの配置位置とネットリストファイル４７に記述されているトランジスタの接続情報を参照して、マスクＲＯＭに対するトランジスタの配置条件を検証するように構成したので、ＲＯＭ構造ファイル４１に記述されている配置条件が適正であるか否かを確認することができる効果を奏する。
【００４８】
【発明の効果】
以上のように、この発明によれば、マスクＲＯＭに対する論理素子の配置条件を参照して、レイアウトパターンファイルに記述されている論理素子の配置位置を特定し、その配置位置を示すＲＯＭビットマップファイルを作成するＲＯＭビットマップファイル作成手段と、上記ＲＯＭビットマップファイル作成手段により作成されたＲＯＭビットマップファイルが示す論理素子の配置位置とネットリストファイルに記述されている論理素子の接続情報を参照して、そのレイアウトパターンファイルに記述されているトランジスタの配置位置を検証する検証手段とを設けるように構成したので、膨大な数のトランジスタが配置されていても、トランジスタの配置位置を検証することができる効果がある。
【００４９】
この発明によれば、ＲＯＭビットマップファイルが示す論理素子の配置位置とネットリストファイルに記述されている論理素子の接続情報とを入力条件にして論理シミュレーションを実行し、そのシミュレーション結果が期待値と一致しているか否かを検証するように構成したので、構成の複雑化を招くことなく、トランジスタの配置位置を検証することができる効果がある。
【００５０】
この発明によれば、検証用ビットマップファイルが示す論理素子の配置位置とネットリストファイルに記述されている論理素子の接続情報を参照して、マスクＲＯＭに対する論理素子の配置条件を検証するように構成したので、ＲＯＭ構造ファイルに記述されている配置条件が適正であるか否かを確認することができる効果がある。
【００５１】
この発明によれば、検証用ビットマップファイルが示す論理素子の配置位置とネットリストファイルに記述されている論理素子の接続情報とを入力条件にして論理シミュレーションを実行し、そのシミュレーション結果が期待値と一致しているか否かを検証するように構成したので、構成の複雑化を招くことなく、配置条件が適正であるか否かを検証することができる効果がある。
【００５２】
この発明によれば、マスクＲＯＭに対する論理素子の配置条件を参照して、そのマスクＲＯＭに格納するプログラムコードに応じた論理素子の配置位置を特定し、その配置位置に基づいて論理素子の接続関係を示す検証用ネットリストファイルを作成する検証用ネットリストファイル作成手段と、レイアウトパターンファイルに記述されている論理素子と配線を認識して、その論理素子の接続関係を示すＲＯＭネットリストファイルを作成するＲＯＭネットリストファイル作成手段と、上記検証用ネットリストファイル作成手段により作成された検証用ネットリストファイルと上記ＲＯＭネットリストファイル作成手段により作成されたＲＯＭネットリストファイルを比較する比較手段とを設けるように構成したので、膨大な数のトランジスタが配置されていても、トランジスタの配置位置を検証することができる効果がある。
【００５３】
この発明によれば、プログラムコードに応じた論理素子の配置位置に基づいて回路図データを生成し、その回路図データから論理素子の接続関係を示す検証用ネットリストファイルを作成するように構成したので、構成の複雑化を招くことなく、論理素子の接続関係を特定することができる効果がある。
【００５４】
この発明によれば、マスクＲＯＭに対する論理素子の配置条件を参照して、そのマスクＲＯＭに格納するプログラムコードに応じた論理素子の配置位置を特定し、その配置位置を示す検証用ビットマップファイルを作成する検証用ビットマップファイル作成手段と、上記マスクＲＯＭに対する論理素子の配置条件を参照して、レイアウトパターンファイルに記述されている論理素子の配置位置を特定し、その配置位置を示すＲＯＭビットマップファイルを作成するＲＯＭビットマップファイル作成手段と、上記検証用ビットマップファイル作成手段により作成された検証用ビットマップファイルと上記ＲＯＭビットマップファイル作成手段により作成されたＲＯＭビットマップファイルを比較する比較手段とを設けるように構成したので、膨大な数のトランジスタが配置されていても、トランジスタの配置位置を検証することができる効果がある。
【図面の簡単な説明】
【図１】この発明の実施の形態１によるレイアウトパターン検証装置を示す構成図である。
【図２】この発明の実施の形態１によるレイアウトパターン検証装置の処理内容を示すフローチャートである。
【図３】２次元テーブルを示す説明図である。
【図４】この発明の実施の形態２によるレイアウトパターン検証装置を示す構成図である。
【図５】この発明の実施の形態２によるレイアウトパターン検証装置の処理内容を示すフローチャートである。
【図６】回路図データを示す説明図である。
【図７】検証用ＲＯＭネットリストファイルの記述内容を示す説明図である。
【図８】この発明の実施の形態３によるレイアウトパターン検証装置を示す構成図である。
【図９】この発明の実施の形態３によるレイアウトパターン検証装置の処理内容を示すフローチャートである。
【図１０】この発明の実施の形態４によるレイアウトパターン検証装置を示す構成図である。
【図１１】従来のレイアウトパターン検証装置を示す構成図である。
【図１２】マスクＲＯＭの論理回路を示す回路図である。
【図１３】マスクＲＯＭに対するトランジスタの物理的な位置関係等を説明する説明図である。
【図１４】ＲＯＭ構造ファイルの記述内容を示す説明図である。
【図１５】ＲＯＭコードファイルの記述内容を示す説明図である。
【図１６】レイアウトパターンファイルの記述内容を示す説明図である。
【図１７】従来のレイアウトパターン検証装置の処理内容を示すフローチャートである。
【符号の説明】
４１　ＲＯＭ構造ファイル、４２　ＲＯＭ構造ファイル読込部、４３　レイアウトパターンファイル、４４　レイアウトパターンファイル読込部、４５　ＲＯＭビットマップファイル作成部（ＲＯＭビットマップファイル作成手段）、４６ＲＯＭビットマップファイル、４７　ネットリストファイル、４８　ネットリストファイル読込部、４９　論理シミュレーション実行部（検証手段）、５０　画面表示部、５１　ＲＯＭコードファイル、５２　ＲＯＭコードファイル読込部、５３　検証用ＲＯＭビットマップファイル作成部（検証用ネットリストファイル作成手段）、５４　検証用ＲＯＭビットマップファイル、５５　検証用ＲＯＭネットリストファイル作成部（検証用ネットリストファイル作成手段）、５６　検証用ＲＯＭネットリストファイル、５７　レイアウトパターン認識部（ＲＯＭネットリストファイル作成手段）、５８　ＲＯＭネットリストファイル作成部（ＲＯＭネットリストファイル作成手段）、５９　ＲＯＭネットリストファイル、６０　ネットリストファイル比較部（比較手段）、６１　画面表示部、７１　ＲＯＭビットマップファイル比較部（比較手段）、７２　画面表示部、８１　論理シミュレーション実行部（検証手段）。
【図１】
2004038399.tif 000003
【図２】
2004038399.tif 000004
【図３】
2004038399.tif 000005
【図４】
2004038399.tif 000006
【図５】
2004038399.tif 000007
【図６】
2004038399.tif 000008
【図７】
2004038399.tif 000009
【図８】
2004038399.tif 000010
【図９】
2004038399.tif 000011
【図１０】
2004038399.tif 000012
【図１１】
2004038399.tif 000013
【図１２】
2004038399.tif 000014
【図１３】
2004038399.tif 000015
【図１４】
2004038399.tif 000016
【図１５】
2004038399.tif 000017
【図１６】
2004038399.tif 000018
【図１７】
2004038399.tif 000019