9. 極性最適化プログラム RINV

RINV (Reducer for logic INVerters) は階層表現されたネットリスト(NLD，PCDによる形式)を入力とし，回路全体に対して大域的に極性の最適化(インバータの削減)を行い，結果を階層表現のネットリスト(NLD，PCDによる形式)として出力します．

9.1 起動方法

rinv [-a] module_name directory ... [-r directory ...] -w directory: module_name : 対象とする回路のトップ・モジュール名; directory : NLDファイルまたはPCDファイルが格納されたディレクトリ名または結果格納先のディレクトリ名

-a オプションを指定すると，and，or，nand，nor 相互の置き換えも行います．CMOSのように，nand，nor から and，or への置き換えが望ましくない場合には，このオプションを使用しないほうがよいでしょう．
トップ・モジュール名に続いて，そのモジュールの構成要素となるすべてのNLDファイルおよびPCDファイルが存在するディレクトリを並べて指定します．通常は，階層構成を形成する複数のNLDファイルが格納されているディレクトリと，プリミティブな構成要素であるPCDファイルが格納されたセル・ライブラリ内のディレクトリを指定します．なお，PARTHENONで規定されている論理セル名(nand--2，reg-1など．4.3節を参照のこと)の情報は，プログラムに組み込まれており，その名称のPCD，NLDファイルは必要としません．たとえば，%PARTHENON% \celldemo\start のように論理セルだけを含むディレクトリの指定は省略できます．
-r に続いて指定されたディレクトリ内にのみ存在するネットリスト(NLDファイル)およびその内部のすべての構成要素(これらのクラスは -r の前で指定されたディレクトリ内にあってもよい)は，本プログラムの最適化対象とならず，入力時そのままのネットリストが出力されます．
-w で指定されたディレクトリには，極性最適化後のネットリスト(トップ・モジュールとその構成要素となるすべてのNLDファイル)が出力されます．極性最適化によって，インバータが除去されたり，論理ゲートが双対なゲートに置き換わったり，内部のモジュール間のインタフェースの極性が変更されたりしますが，できるだけ入力時に近い形に階層表現されたものを結果として出力します．

a:\par\example.dir にある test.sfl を auto.bat で合成する場合と同様の RINVの実行例を示します．test.2nd，a:\par\celldemo\start，a:\par\celldemo\start_e から NLD，PCDを入力して(この例の場合，start，start_e の指定は必ずしも必要ではない)，test をトップ・モジュールとする回路の極性最適化を行い，結果のネットリストを test.3rd に格納します．

この場合の実行例をリスト9.1に示します．また，RINV の適用前後の回路を図9.1に示します．

<リスト9.1> RINVの起動と実行時のメッセージ出力の例

 1:  A>rinv test test.2nd a:\par\celldemo\start a:\par\celldemo\start_e -w test.3rd
 2:  
 3:  ***************************************************************
 4:  * RINV  Version 2.3.0                              1994/07/05 *
 5:  * This program is a part of the PARTHENON system.             *
 6:  *                                 Copyright (C) 1989-1994 NTT *
 7:  ***************************************************************
 8:  
 9:  Start to read NLD/PCD files
10:          Read test.2nd/test.nld
11:  Done
12:  There are 6 inverters
13:  Start inverter reduction
14:  Done
15:  There are 0 inverters
16:  Start to write NLD files
17:          Wrote test.3rd/test.nld
18:  Done
19:  Number of inverters
20:          6 ---> 0
21:  
22:  A>

<図9.1> RINVの適用前後の回路例

9. 極性最適化プログラム RINV

9.1 起動方法

9.2 使用例