アドレス合計比較演算のための方法であって、AおよびBが、所与のアドレス入力信号であり、Kが、複数のメモリセルに格納された以前の値であり、前記複数のメモリセルの各メモリセル中で、単一論理ゲート回路出力およびその反転を、前記メモリセルのアップデートに応答して生成するステップであって、各単一論理ゲート回路が、第1の入力として、関連するメモリセル出力を、第2の入力として、次に低い有効ビット隣接メモリセル出力を有するステップと、前記メモリセルの各々において、各メモリセルに関連付けられた、前記ABK演算の一部分を、部分的ルックアップ比較回路内で生成するステップであって、前記対応するアドレス入力信号AおよびBが、読込みルックアップ比較演算中に、前記関連するメモリセル出力、ならびに前記生成された単一論理ゲート回路出力およびその反転と結合されるステップとを含む方法。各メモリセルに関連付けられた前記ABK演算の前記一部分が、3層のトランジスタ内で生成される、請求項1に記載の方法。前記トランジスタが、Nチャネル金属酸化膜半導体電界効果トランジスタである、請求項2に記載の方法。前記アドレス合計比較演算が連想メモリ中で使われる、請求項1に記載の方法。前記CAMが変換索引バッファ中で使われる、請求項4に記載の方法。前記単一論理ゲート回路が、第iのメモリセルおよび第i1のメモリセルを入力として有し、出力信号Siを生じる排他的NOR回路を備える、請求項1に記載の方法。ABが、前記格納されたK個の値の1つと等しいとき、各メモリセル中でヒット指示を生成するステップをさらに含む、請求項1に記載の方法。ABが、前記格納されたK個の値の1つと等しくないとき、連想メモリ中のタグアレイにABを書き込むステップをさらに含む、請求項1に記載の方法。前記メモリセルの各々において、前記ABK演算の一部分を生成する前記ステップが、ABがKと等しくないと判定すると、第1の極小項回路内でABKの第1の部分を計算して、ミス指示を生成するステップと、ABがKと等しくないと判定すると、第2の極小項回路内でABKの第2の部分を計算して、ミス指示を生成するステップとを含む、請求項1に記載の方法。前記第2の極小項の結果との論理ORがとられた、前記第1の極小項回路の結果が、完全なABK演算を含む、請求項9に記載の方法。アドレス合計比較演算のための装置であって、AおよびBが、所与のアドレス入力信号であり、Kが、メモリセルに格納された以前の値であり、第1の入力として、関連するメモリセル出力を、第2の入力として、次に低い有効ビット隣接メモリセル出力を有し、前記メモリセルのアップデートに応答して出力信号Sおよびその論理否定信号Sを生成する、各メモリセルに含まれる単一論理ゲート回路と、前記メモリセルの各々において、ルックアップ比較演算用に、各メモリセルに関連付けられた前記ABK演算の一部分を生成するアドレス合計比較回路であって、前記比較演算中、前記対応するアドレス入力信号AおよびBが、前記関連するメモリセル出力ならびに前記S信号およびS信号と結合可能にされるアドレス合計比較回路とを備える装置。出力信号Piを生じるPi回路と、前記Pi出力信号の論理否定を生じるPi回路と、出力信号GiAiBiを生じるGi回路と、出力信号ZiAiBiを生じるZi回路とを備え、が論理的AND関数であり、が論理的OR関数であり、が論理的否定関数である請求項11に記載の装置。ABがKと等しくないと判定すると、不一致を示す、Piに従って動作する第1の極小項回路をさらに備える、請求項12に記載の装置。ABがKと等しくないと判定すると、不一致を示す、Piに従って動作する第2の極小項回路をさらに備える、請求項12に記載の装置。ABがKと等しくないと判定すると、不一致を示す、Cinに従って動作する第1の最下位ビット極小項回路をさらに備える、請求項12に記載の装置。ABがKと等しくないと判定すると、不一致を示す、Cinに従って動作する第2の最下位ビット極小項回路をさらに備える、請求項12に記載の装置。アドレス合計比較演算のための方法であって、AおよびBが、所与のアドレス入力信号であり、Kが、複数のメモリセルに格納された以前の値であり、2つの隣接メモリビットを結合して、メモリビットの排他的NORとしての出力信号Siおよびその論理否定信号Siを生成するステップと、2つの隣接ビットを、ルックアップ比較演算のためにメモリビットMi、Miおよび出力Si、Siと結合して、不一致を検出するステップであって、が論理的否定関数であるステップとを含む方法。出力信号Piを生じるステップと、前記Pi出力信号の論理否定を生じるステップと、出力信号GiAiBiを生じるステップと、出力信号ZiAiBiを生じるステップとを含み、が論理的AND関数であり、が論理的OR関数であり、が論理的否定関数である請求項17に記載の方法。ABがKと等しくないと判定すると、不一致を示す第1の極小項回路を、Piに従って操作するステップをさらに含む、請求項18に記載の方法。ABがKと等しくないと判定すると、不一致を示す第2の極小項回路を、Piに従って操作するステップをさらに含む、請求項18に記載の方法。いくつかの態様の中でも、本開示は、アドレス合計比較関数のためにより効率的な方法および装置を提供することにより、プロセッサシステムにおいて性能を向上し、電力要件を削減することができると認識している。そのような目的、ならびにそれ以外のために、本発明の実施形態は、アドレス合計比較演算のための方法に対処し、この演算において、AおよびBは、所与のアドレス入力信号であり、Kは、複数のメモリセルに格納された以前の値である。複数のメモリセルの各メモリセル中で、単一論理ゲート回路出力およびその反転が、メモリセルのアップデートに応答して生成され、各単一論理ゲート回路は、第1の入力として、関連するメモリセル出力を、第2の入力として、次に低い有効ビット隣接メモリセル出力を有する。メモリセルの各々において、各メモリセルに関連付けられたABK演算の一部分が、部分的ルックアップ比較回路内で生成され、対応するアドレス入力信号AおよびBは、読込みルックアップ比較演算中に、関連するメモリセル出力、ならびに生成された単一論理ゲート回路出力およびその反転と結合される。別の実施形態は、アドレス合計比較演算のための装置に対処し、この演算において、AおよびBは、所与のアドレス入力信号であり、Kは、メモリセルに格納された以前の値である。各メモリセルは、第1の入力として、関連するメモリセル出力を、第2の入力として、次に低い有効ビット隣接メモリセル出力を有するとともに、メモリセルのアップデートに応答して出力信号Sおよびその論理否定信号Sを生成する単一論理ゲート回路を含む。メモリセルの各々において、アドレス合計比較回路が、ルックアップ比較演算用に、各メモリセルに関連付けられたABK演算の一部分を生成し、比較演算中、対応するアドレス入力信号AおよびBは、関連するメモリセル出力ならびにS信号およびS信号と結合可能にされる。別の実施形態は、アドレス合計比較演算のための方法に対処し、この演算において、AおよびBは、所与のアドレス入力信号であり、Kは、複数のメモリセルに格納された以前の値である。2つの隣接メモリビットが結合されて、メモリビットの排他的NORとしての出力信号Siおよびその論理否定信号Siが生成される。2つの隣接ビットが、ルックアップ比較演算のためにメモリビットMi、Miおよび出力Si、Siと結合されて、不一致が検出され、ここでは論理的否定関数である。本発明の他の実施形態が、本発明の様々な実施形態が例として示され記載されている以下の詳細な説明から、当業者には容易に明らかになることが理解されよう。了解されるように、本発明は、他の実施形態および様々な実施形態が可能であり、そのいくつかの詳細は、本発明の精神および範囲からすべて逸脱することなく、他の様々な点において修正が可能である。したがって、図面および詳細な説明は、制限ではなく、本質的に例示と見なされるべきである。本発明の様々な態様を、限定ではなく例として、添付の図面に示す。添付の図面に関する下記の詳細な説明は、本発明の様々な例示的実施形態の説明として意図されており、本発明が実施され得る最良の実施形態を表すように意図されているわけではない。詳細な説明は、本発明の完全な理解をもたらす目的で、具体的な詳細を含んでいる。しかし、本発明がこれらの具体的な詳細なしに実行され得ることが、当業者には明らかであろう。場合によっては、本発明のコンセプトを曖昧にするのを回避する目的で、周知の構造および構成要素がブロック図の形式で示されている。図1は、本発明の実施形態が有利に利用され得る例示的なワイヤレス通信システム100を示す。説明のために、図1は、3つの遠隔ユニット120、130、150および2つの基地局140を示す。一般的なワイヤレス通信システムは、これより多くの遠隔ユニットおよび基地局を有し得ることが理解されよう。構成要素125A、125C、125B、125Dでそれぞれ表されるハードウェア構成要素、ソフトウェア構成要素、またはその両方を含む遠隔ユニット120、130、150、および基地局140は、さらに後で論じるように、本発明を実施するように適合されている。図1は、基地局140から遠隔ユニット120、130、150への順方向リンク信号180および遠隔ユニット120、130、150から基地局140への逆方向リンク信号190を示している。図1では、ワイヤレスローカルループシステムにおいて、遠隔ユニット120は移動電話として示され、遠隔ユニット130は可搬型コンピュータとして示され、遠隔ユニット150は定位置遠隔ユニットとして示されている。例として、遠隔ユニットは代替的には、セルフォン、ページャ、ウォーキートーキー、ハンドヘルド個人通信システムユニット、個人情報端末などの可搬型データユニット、またはメータ読取り機器などの定位置データユニットでもよい。図1は、本開示の教示に従った遠隔ユニットを示すが、本開示は、これらの例示的な示されたユニットには限定されない。本発明の実施形態は、本明細書において言及するABK計算を必要とする、キャッシュ、変換索引バッファ、および固定関数デバイスなど、どのデバイスにおいても適切に利用することができる。図2は、後でより詳しく説明するが、図1の構成要素125A、125C、125B、125D内で適切に利用され得る効率的ABK実装形態を使う連想メモリで構成されたキャッシュおよびTLBを有する例示的なプロセッサシステム200を示す。プロセッサシステム200は、制御論理214に従って命令実行パイプライン212中の命令を実行するプロセッサ210を含む。パイプライン212は、パイプ段階状に編成される、様々なレジスタまたはラッチ216、および1つまたは複数の算術論理ユニット218を含む。汎用レジスタファイル220は、命令実行パイプライン212が使用するための登録値を提供する。パイプライン212は、命令変換索引バッファ224によって管理されるメモリアドレス指定および許可を用いて、命令キャッシュ222から命令をフェッチする。データ変換索引バッファ228によって管理されるメモリアドレス指定および許可を用いて、データキャッシュ226からデータがアクセスされる。Icache222およびまたはDcache226中でのミスにより、メモリインターフェース232の制御下で、メインメモリ230がアクセスされる。プロセッサ210は、ハードディスクコントローラ、ユニバーサルシリアルバスコントローラ、対話型表示デバイス、コントローラを送受信機に結合する無線デバイス、メモリコントローラ、別のバス相互接続デバイスを相互接続するブリッジデバイスなどのような、様々な周辺デバイス236へのアクセスを制御する入力出力インターフェース234も含み得る。プロセッサ210の多数の変形が可能であることが当業者には理解されよう。たとえば、メモリ230は、レベル2キャッシュ、レベル3キャッシュなどのメモリデバイス階層、バルクメモリ、TLB階層などからなり得る。プロセッサシステム200は概して、命令およびデータ変換索引バッファを使って、仮想物理アドレス変換をサポートする。さらに、プロセッサ210など、1つまたは複数のプロセッサが、処理システム200に含まれてよい。ある特定のアプリケーションに必要とされるプロセッサ、周辺デバイス、およびメモリデバイスの実際の数は、処理要件および設計制約に応じて変わり得る。プロセッサシステム200は、特定用途向け集積回路技術、フィールドプログラマブルゲートアレイ技術、または他のプログラマブル論理、個別ゲートもしくはトランジスタ論理、または意図されるアプリケーションに適した他のどの利用可能技術を使って実装されてもよい。プロセッサ210は、たとえば、命令キャッシュを通して利用可能であり得るように、プロセッサとローカルに直接関連付けられた、または周辺デバイスメモリインターフェースを通してアクセス可能なコンピュータ可読記憶媒体に格納されたプログラムから命令を実行するように構成され得る。様々なメモリは、ランダムアクセスメモリ、動的ランダムアクセスメモリ、同期動的ランダムアクセスメモリ、フラッシュメモリ、読出し専用メモリ、プログラマブル読出し専用メモリ、消去可能なプログラマブル読出し専用メモリ、電気消去可能プログラマブル読出し専用メモリ、コンパクトディスク、デジタルビデオディスク、他のタイプの取外し可能ディスク、または他のどの適切な記憶媒体も含み得る。プロセッサ210は、処理システム200内の様々なメモリにある命令およびデータにアクセスするための仮想アドレス指定技法を使用することができる。仮想アドレスは概して、上位部分および下位部分に分けられる。上位部分は、物理ページ番号に変換されるべき仮想ページ番号を表す。下位部分は、ページへのオフセットを表し、下位部分が変換されないように、仮想アドレスと物理アドレスとの間で同じである。異なるシステムでは、ページサイズは変わる可能性があり、8Kバイト、4Kバイト、または2Kバイトのページを有するシステムがあることは珍しくないことを認識されたい。ページサイズ選択が影響を及ぼすものの1つは、変換されるべき仮想アドレス区画の上位部分中のビット数である。たとえば、4Kバイトのページを有する32ビットの仮想アドレスをもつシステムにおいて、仮想アドレスは、上位20ビット部分、すなわちビット3112と、下位12ビット部分、すなわちビット110とに分けられることになる。上位20ビット部分は、物理ページ番号に変換されるべき仮想ページ番号を表す。下位12ビット部分は、ページへの4Kバイトのオフセットを表し、変換されない。仮想アドレスは、ベースアドレスにオフセットを加える算出、索引付け、または加算もしくは数学演算を必要とする他のアドレス生成関数によって形成することができる。たとえば、最初にベースアドレスにオフセットを加算し、その後に別個のCAM比較演算を行うことによって仮想アドレスを形成するのではなく、アドレス合計比較関数とも呼ばれるABK関数がCAMに結合され得る。この方法を用いる手法が、参照により全体が本明細書に組み込まれているJordiCortadellaおよびJoseMLlaberiaによる論文EvaluationofABKConditionWithoutCarryPropagation、IEEETransactionsOnComputers、Vo41、No11、1992年11月に記載されている。上記のものなど、SAC関数の一般的実装形態に伴う問題は、関数を生成するのに最悪のケースのタイミングパスに対して実装形態が与える影響である。現在の手法の一態様に関連して記載した通り、CAM格納メモリ値に対する論理演算に関連付けられた、新規SAC回路部分が、CAM比較読出し動作に先立って評価され、そうすることによって、SAC関数全体を解くためのレイテンシを削減する。たとえば、このような論理演算は、CAMメモリセルのアップデート中に評価され得る。新規SAC回路は、加算および比較演算を論理結合して、ABK演算を実行するための資源およびレイテンシを削減する。以下の説明において使われる論理演算は、加算用の、論理的AND関数用の、論理的否定関数用の、および論理的OR関数用のである。新規SAC回路は、2つの隣接ビットを、対応するメモリビットと論理結合する。入力ビットAiおよびBiの3つの論理結合Pi、Gi、およびZiが検査されるが、ここで、以下のようになる。式1Piここで、AiBi10または01のとき、Pi1である。式2GiAiBiここで、AiBi11のとき、Gi1である。式3ZiAiBiここで、AiBi00のとき、Zi1である。P、G、およびZの2つの隣接値、すなわちPiGiZiおよびPi1Gi1Zi1は、結合されると、以下のテーブルに列挙する9つの結合を生じ、ここから、下でより詳しく説明する1組のミスマッチ式を生成することができる。こうしたミスマッチ式は、式4に示すように、2つの隣接ビットと、キャリーインCi1との合計に基づく。式4AiAi1BiBi1Ci1RiRi1Gi1およびGi11であるGiGi1結合に対して、式4は、Ci1の2つの可能状態01に関して評価され得る。Gi1であるので、AiBi11であり、Gi11であるので、Ai1Bi111である。式4の評価により、キャリーイン値に依存して、RiRi1という2つの結果を生成する以下の2つの状況が生じる。ABKというSAC式において、結果RiRi1は、メモリ値MiMi1と比較される。第iのビットに関して比較すると、結果値Riは、キャリーイン値に依存せず、常に1である。したがって、GiGi1結合の場合、Mi0であるときに不一致が起こる。GiGi1結合に関するミスマッチ式は、式5によって与えられる。式5mismatchGiGi1GiGi1Mi以下の1組のテーブルおよびそれに対応するミスマッチ式を、次のように列挙する。式6mismatchGiPi1式7mismatchGiZi1GiZi1Mi式8mismatchPiGi1PiGi1Mi式9mismatchPiPi1式10mismatchPiZi1PiZi1Mi式11mismatchZiGi1ZiGi1Mi式12mismatchZiPi1式13mismatchZiZi1ZiZi1Mi式5~13の極小項を、以下で次のように列挙する。識別PiGiZiおよびPiGiZiは、上記テーブルにある極小項AおよびI、BおよびJ、CおよびK、DおよびLを、8つの極小項からなる以下の一覧に結合するのに使われる。さらなる分析およびシミュレーションにより、上記のこれらの結合極小項および後でさらに詳しく記載するキャリーインの評価が、ABK演算に使われ得ることを検証する。メモリ値のみに依存する、以下の変数SiおよびSiが定義される。式14Si式15Si式14、15を使って、極小項BBとCCとFFとGGとが結合されて、先のテーブルの8つの極小項AA~HHを、以下の最終極小項テーブル中の6つの極小項608~610および614~616に削減する。最終極小項テーブルについては、図6Bの記述とともに後でより詳しく説明する。最終極小項のテーブルSiに関する式14およびSiに関する式15は、メモリ値のみに依存し、それにより、回路出力値SiおよびSiは、CAMアップデートの書込み周期中に判定されることになる。したがって、SiおよびSiを生成する際の遅延は有利には、読出し動作中に不一致を判定するためのレイテンシに影響しない。図6Aを参照すると、排他的NORゲート603などの単一論理ゲート回路が、Si信号602出力およびその反転Si信号606を、各メモリセル中のインバータ607によって生成し、こうしてメモリセル出力MiおよびMi1に応答する。メモリセル出力MiおよびMi1は、概して読込みルックアップ比較演算よりも低い頻度で起こる、メモリセルのアップデートにより変わり得ることに留意されたい。図6Bを参照すると、Si信号602出力およびその反転Si信号606の使用を含む6つの極小項618~620および624~626が、後でさらに詳しく記載するように、CAMタグアレイのメモリセルに含まれる新規SAC回路610中で使われる。最下位ビット用の終端SAC回路が、Pi、Gi、ZiおよびCinの値から判定され、これらの値は、結合されると、下でより詳しく説明するように、1組のミスマッチ式をそこから生成することができる3つの結合を生じる。たとえば、最下位ビットi12を使って、3つの結合が列挙される。こうしたミスマッチ式は、式16に示すように、2つの隣接ビットと、キャリーインCinとの合計に基づく。式16A12B12CinRiG121の場合、Cinの2つの可能状態01に関して式16を評価すればよい。G121であるので、A12B1211である。式16の評価により、キャリーイン値に依存して、R12に対して2つの結果を生成する以下の2つの状況が生じる。GiCin結合に関するミスマッチ式は、式17によって与えられる。式17mismatchG12Cin2つのさらなるテーブルおよびそれに対応するミスマッチ式は、次のように説明される。式18mismatchP12Cin式19mismatchZ12Cin式17~19の極小項を、以下で次のように列挙する。識別PiGiZiは、極小項AとEとBとFとを、図6Cの考察とともに下でより詳しく説明する、最終LSB極小項のテーブル中の4つの極小項からなる以下の一覧に結合するのに使われる。最終LSB極小項のテーブル図3は、変換索引バッファ内で使用するための例示的なABKCAM回路300を示す。ABKCAM回路300は、パルスラッチインターフェース304、アドレス合計比較信号論理回路306、タグメモリおよびSACアレイ308、ならびに新規タグT書込みラッチおよびドライバインターフェース310を含む。ABKCAM回路300は、たとえば、図2のITLB224およびDTLB228内で使われ得るような、4Kバイトのページをもつ32ビット仮想アドレスを有するシステムにおいて、仮想変換に使われる。仮想アドレスは、上位20ビット部分、すなわちビット3112と、下位12ビット部分、すなわちビット110とに分けられる。上位20ビット部分は、物理ページ番号に変換されるべき仮想ページ番号を表す。下位12ビット部分は、ページへの4Kバイトのページオフセットを表し、変換されない。たとえば、ベースアドレスA3112312をオフセット値B3112314と加算することによって、仮想アドレスが形成される。仮想アドレスは次いで、タグメモリおよびSACアレイ308中の格納タグ値と比較されて、行単位ヒット指示316を生成する。複数の行単位ヒット指示316はまた、タグメモリおよびSACアレイ308において何らかのマッチが見つかった場合、結合されて、単一ヒット指示を生成する。タグメモリおよびSACアレイ308の各行は、上述した最終極小項テーブル中で使われるP、G、およびZ信号などのSAC信号を、SAC信号論理回路306から受信する。アドレスが見つからないときはいつでも、TLBは、新規タグT3112318を、タグメモリおよびSACアレイ308に書き込んでよい。新規タグT3112318は、新規タグT書込みラッチおよびドライバインターフェース310によって、ラッチされ、タグメモリおよびSACアレイ308に入れられ、行書込み信号320の制御下で、メモリに書き込まれる。タグメモリおよびSAC回路308中の行をより詳細に表したものを、図4に示し、後で説明する。図4は、図3に示すABKCAM回路300の例示的な第j行タグメモリ400を示す図である。第j行タグメモリ400は、格納タグ値の各ビット用のメモリセル、すなわちM311240431~40412と、各メモリセルビット3113に関連付けられた新規SAC回路40631~40613と、格納タグ値の最下位ビットに関連付けられた終端SAC回路408と、ビット311341031~41013向けのSおよびS論理回路と、ヒット論理回路412とを含む。S3113およびS3113回路41031~41013は、それぞれ、式14および式15に従って実装される。新規SAC3113回路40631~40613は、ルックアップ比較演算にタイミングが適した、図3のSAC信号論理回路306からのSAC信号Pi、Pi1、Gi、およびZiを使って、上記の最終極小項テーブルに従って実装される。新規タグ値が第j行タグメモリ400に書き込まれるべきとき、図3の新規タグT書込みラッチおよびドライバインターフェース310から、新規タグT値がメモリセルM3112に与えられる。新規タグT値は、行書込みj信号414の制御下で、メモリセルに書き込まれる。一実施形態では、各新規SAC回路のヒット出力は、ヒット信号418を引き下げる何らかのビットミスマッチに対する比較演算とのミスを示す。信号をロードするために、ヒット信号416を、SACヒット出力部分に接続してよい。したがって、行全体におけるマッチ比較を表すヒット信号出力418を生じるのに、ヒット回路412が使用される。図5A~図5Dは、図3に示すABKCAM回路300での使用に適したアドレス合計比較信号論理回路500、510、520、530をそれぞれ示す。各タグビット位置ごとに、図5AのパルスPi信号502、図5BのパルスPi信号512、図5CのパルスGi信号522、および図5DのパルスZi信号532が生成される。一実施形態では、nチャネル金属酸化膜半導体電界効果トランジスタまたはNFETが、SAC信号論理回路500を実装するのに使われる。パルスラッチインターフェース304から生成されたパルスアドレス信号Api、Api、Bpi、およびBpiが、Pi回路500、Pi回路510、Gi回路520、およびZi回路530によって、入力として使われる。Pi回路500は、式1を実装する一実施形態を表す。Pi回路510は、式1の論理補数を実装する一実施形態を表す。Gi回路520は、式2を実装する一実施形態を表す。Zi回路530は、式3を実装する一実施形態を表す。Pi回路500、Pi回路510、Gi回路520、およびZi回路530は、それぞれ、キーパー回路504、514、524、534も使う。キーパー回路504、514、524、534は、それぞれの出力信号が、アクティブ駆動されていないときに浮動しないようキープする。クロック回路505、515、525、535は、プリチャージおよび評価状態とともに動作し、プリチャージ状態は、ルックアップ比較演算に適したタイミングで、パルスラッチインターフェース304から生成されるパルスアドレス信号Api、Api、Bpi、およびBpiの活動化より前に起こる。図5Eは、例示的な単一メモリセル550を示す。メモリセル550は、メモリ信号Mi555を生じるバッファインバータ554と、反転メモリ信号Mi557を生じるバッファインバータ556とを有する1対の交差結合インバータ552によって表される。新規タグ値が書き込まれるべきとき、第iのデータ入力564および565などの新規タグT値がメモリセルに与えられる。新規タグT値は、図4の行書込みj信号414などの書込み信号568の制御下で、メモリセルに書き込まれる。図6Aは、メモリセル入力値に依存するSiおよびSi信号を有するS信号回路600を示す。Si信号602は、メモリセル信号Mi604および次に低い有効ビット隣接メモリセル信号Mi1605に基づいて、式14に従って排他的NORゲート603によって生成される。Si信号606は、インバータ607によって生成される。図6Bは、図4のメモリセルとともに使用するための新規SAC回路610を示す。新規SAC回路610は、第1の極小項回路616、第2の極小項回路622、クロック回路628、およびキーパー回路630を備える。一実施形態では、新規SAC極小項回路616および622を実装するのに、NFETが使われる。第1の極小項回路616は、上記の最終極小項テーブルの結合極小項式に従って動作する。たとえば、Gi1、Mi回路618は、極小項PiGi1Miに従って動作する。また、Pi1、Si回路619は、極小項PiPi1Siに従って動作する。さらに、Zi1、Mi回路620は、極小項PiZi1Miに従って動作する。第2の極小項回路622は、上記の最終極小項テーブルの結合極小項式に従って動作する。たとえば、Gi1、Mi回路624は、極小項PiGi1Miに従って動作する。また、Pi1、Si回路625は、極小項PiPi1Siに従って動作する。さらに、Zi1、Mi回路626は、極小項PiZi1Miに従って動作する。クロック回路628は、回路の動的性質に従って、また、対応する極小項によって支配される第iおよび第i1の信号に従って、図5AのパルスPi信号502、図5BのパルスPi信号512、図5CのパルスGi信号522、および図5DのパルスZi信号532とタイミングの合った評価フェーズとともに動作する。キーパー回路630は、それぞれのHij信号632が、アクティブ駆動されていないときに浮動しないようにキープする。動的構造において、新規SAC回路610は有利には、図6Bに示すように3層NFETデバイススタックで実装され、そうすることによって、不一致を判定するレイテンシが削減される。図6Cは、図4の最下位ビットメモリセル40412とともに使用するための終端SAC回路650を示す図である。終端SAC回路650は、第1のLSB極小項回路656、第2のLSB極小項回路662、クロック回路668、およびキーパー回路670を備える。一実施形態では、終端SAC極小項回路656および662を実装するのに、NFETが使われる。第1のLSB極小項回路656は、上記の最終LSB極小項テーブルの結合極小項式に従って動作する。たとえば、P12、M12回路658は、極小項CinP12M12に従って動作する。また、P12、M12回路659は、極小項CinP12M12に従って動作する。第2のLSB極小項回路662は、上記の最終極小項テーブルの結合極小項式に従って動作する。たとえば、P12、M12回路664は、極小項CinP12M12に従って動作する。また、P12、M12回路665は、極小項CinP12M12に従って動作する。クロック回路668は、対応する極小項によって支配される第12の信号に従い、図5AのパルスPi信号502、図5BのパルスPi信号512とタイミングの合った評価フェーズを有する回路の動的性質に従って動作する。キーパー回路670は、それぞれのH12j信号672が、アクティブ駆動されていないときに浮動しないようにキープする。動的構造において、終端SAC回路650は有利には、図6Cに示すように3層NFETデバイススタックで実装され、そうすることによって、不一致を判定するレイテンシが削減される。図7は、ABK関数を、メモリセルビットに依存する第1の論理関数セットと、アドレス入力信号に依存する第2の論理関数セットとに分離することによって、レイテンシが低いABK関数を生成するための比較プロセス700を示す。このプロセス700は、図2のプロセッサシステム200などのプロセッサシステムでの使用のために適切に利用され得る。ブロック702で、アドレス信号がTLBに与えられて、仮想アドレス物理アドレス変換のためにTLBを調べる。ブロック704で、仮想アドレス算出が、比較演算と結合されて1つのABK関数になり、メモリタグ書込み動作中に生成されたSおよびS信号を用いるルックアップ比較演算に適したタイミングで、タグメモリおよびSACアレイ中のタグを調べる。決定ブロック706で、タグマッチがあるかどうか判定が行われる。タグマッチが検出されなかった場合、比較プロセス700は、ブロック708に進んでよい。ブロック708で、タグメモリおよびSACアレイに新規タグが書き込まれる。ブロック710で、メモリセルMiおよびMi1に基づいてSiおよびSi信号が判定される。ブロック712で、プロセス700は、TLBにおけるミスの後で演算を続ける。決定ブロック706に戻ると、タグマッチが検出された場合、比較プロセス700はブロック714に進む。ブロック714で、変換された物理アドレスがTLBから読み出される。ブロック716で、プロセス700は、TLB中のヒットの後で演算を続ける。上記説明および図面に記載したABKプロセスは、正確な演算のためにシミュレートされ検証されている。図6Bおよび図6Cに示す3層NFETスタックが、システムタイミング問題に関して改善をもたらすことを検証するために、回路シミュレーション技法も用いられている。タグ書込み動作は、ルックアップ読込み比較演算と比較して、TLB演算ではまれであることに留意されたい。たとえば、いくつかのシミュレーションでは、4回のタグ書込み動作ごとに、1300回を超えるルックアップ比較演算が起きた。したがって、現在記載しているTLBに対する電力切換えは、部分的には、タグ書込み動作の後でのみ切り換え得るSiおよびSi回路により、低い。本明細書で開示する実施形態に関して説明した様々な例示的な論理ブロック、モジュール、回路、要素、または構成要素は、汎用プロセッサ、デジタル信号プロセッサ、特定用途向け集積回路とともに利用され、フィールドプログラマブルゲートアレイまたは他のプログラマブル論理構成要素、個別ゲートまたはトランジスタ論理、個別ハードウェア構成要素、または本明細書で説明する機能を実行するように設計されたそれらの任意の組合せを使って実装することができる。プロセッサは汎用マイクロプロセッサであり得るが、代替として、プロセッサは任意の従来のプロセッサ、コントローラ、マイクロコントローラ、または状態機械であり得る。プロセッサは、コンピューティング構成要素の組合せ、たとえばDSPと汎用マイクロプロセッサとの組合せ、複数のマイクロプロセッサ、DSPコアと連携する1つまたは複数のマイクロプロセッサ、あるいは所望のアプリケーションに適した任意の他のそのような構成などとしても実装され得る。本明細書で開示した実施形態と関連して説明した方法は、ハードウェアで直接実施され、プロセッサによって実行される1つまたは複数のソフトウェアモジュールによってサポートされ、またはその2つの組合せでよい。ソフトウェアモジュールは、RAMメモリ、フラッシュメモリ、ROMメモリ、EPROMメモリ、EEPROMメモリ、レジスタ、ハードディスク、リムーバブルディスク、CDROM、または当技術分野で知られている任意の他の形態の記憶媒体中に常駐することができる。記憶媒体は、プロセッサがその記憶媒体から情報を読み取り、その記憶媒体に情報を書き込むことができるようにプロセッサに結合され得る。代替として、記憶媒体はプロセッサと一体であり得る。本発明を、プロセッサシステムにおいて使用するための例示的な実施形態のコンテキストにおいて開示したが、上記考察および添付の特許請求の範囲と整合する非常に様々な実装形態が当業者によって利用され得ることが理解されよう。たとえば、固定機能実装形態でも、本発明の様々な実施形態を使用することができる。