これは、Ubuntu Online、Fedora Online、Windows オンライン エミュレーター、または MAC OS オンライン エミュレーターなどの複数の無料オンライン ワークステーションの XNUMX つを使用して、OnWorks 無料ホスティング プロバイダーで実行できるコマンド lvx です。
プログラム：
NAME
lvx - 論理ネットリストと抽出されたネットリストの比較器
SYNOPSIS
LVX フォーマット1 フォーマット2 ファイル名1 ファイル名2 [ -a ] [ -u ] [ -o ] [ -f ]
DESCRIPTION
LVX XNUMX つのゲート レベルまたはブロック レベルのネットリストを比較します。 目的は比較することです
仕様ネットリスト (論理ネットリスト)、配置配線ツールへの入力。
によって取得された物理ネットリスト (抽出されたネットリスト) クーガー(1) 抽出器。
ネットリスト 1 は論理ネットリストとみなされ、ネットリスト 2 は抽出されたネットリストとみなされます。
リスト。
LVX は XNUMX レベルの階層ツールです。
XNUMX つのネットリストはフラット化されます。 -f オプションが存在する場合、含まれるセルに対して
カタログファイルにあります。 カタログ ファイルへのパスは、
MBK_CATA_LIB(1) セル ライブラリの変数、および MBK_WORK_LIB(1)変数
名前で MBK_CATAL_NAME(1) ユーザーブロックの場合 ( カタル(5) ) してはいけないこと
平らになった。
どちらのネットリストでも、インスタンスはブラックボックスとみなされます。
XNUMX つのネットリストは同じ外部コネクタ名を持つ必要があります。
XNUMX つのネットリストは同じインスタンス名を持つ必要があります。
XNUMX つのネットリストでは、接続されていない信号については同じ信号名を持つ必要があります。
XNUMX つのネットリストにトランジスタを直接含めることはできません。
比較は XNUMX つのステップで実行されます。
端子を比較してみます。
インスタンスを比較します。
接続を比較します。
接続されていない信号を比較します。
最初または XNUMX 番目のステップでエラーが発生した場合は、すぐにメッセージが表示され、
XNUMX 番目のステップは開始されません: LVX 端子または
インスタンスは等価ではありません。
当学校区の -o オプションを使用すると、前述の手順に達した場合にコネクタを注文できます
成功しました。 抽出されたネットリスト その後、ディスクに保存されます。 ファイルの名前を取得します ファイル名2
の値が接尾辞として付けられます MBK_OUT_LO(1)変数。
ルーターは空のフィードスルー セルを自動的に追加します。 これらの細胞を体内に取り込んではなりません
比較の際に考慮してください。 を持つ細胞 F カタログ ファイルの属性 ( カタル
(5) ) はフィードスルー セルとみなされ、メモリ内でネットリストから削除されます。
それが現れる場所。
OPTIONS
-a 一部のルーターは、電源とアース用の複数の物理コネクタを含むレイアウトを生成します。
( VDD or VSSの ）。 これらのコネクタが内部で接続されていない場合、
異なるインデックス名 ( VDD1 , VDD2 etc...) 抽出されたネットリストに含まれます。 それは
事前にこれらの電源およびアースコネクタの削減を実行することが可能です。
-a オプションを使用して比較します。 縮小後、各インスタンスには XNUMX つだけが含まれます
VDD コネクタと XNUMX 個 VSSの メイン図としてのコネクタ。
-o この場合、 LVX 変更されたネットリストを生成します (名前を付けて保存されます) ファイル名2 ),
これは、順序付けされたコネクタを備えたネットリスト 2 のコピーです。 ターミナルとインスタンス
コネクタは、ネットリスト 1 のモデルの順序で再リストされます。保存されたネット
リストは MBK_OUT_LO(1) フォーマットなので、ユーザーは前にこの変数を設定する必要があります。
ランニング LVX 。 そうしないと、デフォルト値が使用され、ネットリスト 1 が失われる可能性があります。
ファイル名が同一で、入力形式が出力形式と同じ場合。
-a オプションが使用されている場合、保存されたネットリストは、XNUMX つのみの縮小ネットリストになります。
VDD そして、1 VSSの .
-u このオプションは強制的に LVX 間の未割り当て信号の一貫性をチェックするには
XNUMX つのネットリスト。
-f XNUMX つのネットリストは、カタログ ファイルに含まれるリーフ セルにフラット化されます。
通常、抽出されたネットリストはフラット化されたネットリストですが、論理的なネットリストは
階層的なネットリスト。
例
自律的AI 論理ネットリスト amd2901.vst という名前と対応する 抽出されたネットリスト as
複数の電源コネクタを含む amd2901.al のコマンド ラインは次のとおりです。
LVX vst アル amd2901 amd2901 -a
出力 ファイル
ファイル名2.xx ネットリスト ビューは、 -o オプションが存在します。 接尾辞は依存します
MBK_OUT_LO(1) 環境変数。
ENVIRONMENT 変数
MBK_CATA_LIB セル ライブラリが存在するディレクトリが含まれます。 MBK_WORK_LIB
作業ディレクトリのディレクトリ パスが含まれており、通常は次のように設定されます。 .
（ドット）。
MBK_OUT_LO ネットリスト出力の予想される形式が含まれています。
MBK_CATAL_NAME ユーザーセルカタログの名前が含まれます。
onworks.net サービスを使用してオンラインで lvx を使用する
