Nothing Special   »   [go: up one dir, main page]

コンテンツにスキップ

「論理回路」の版間の差分

出典: フリー百科事典『ウィキペディア(Wikipedia)』
削除された内容 追加された内容
その他: 根拠や参照先の不明な内容の除去。
 
(23人の利用者による、間の36版が非表示)
1行目: 1行目:
'''論理回路'''(ろんりかいろ、{{lang-en-short|logic circuit}})は[[論理演算]]を行う[[電気回路]]及び[[電子回路]]である[[真理値]]の「」と「偽」、あるいは[[二進法]]の0」と「1」を、[[電]]の正負や高低[[電流]]方向や多少、[[位相]]の差異、[[パルス]]なの[[時間]]の長短、どで表現し、'''論素子'''ど<ref>ワイヤードORどは論理子による実装ではない。</ref>で論理演算を[[実装]]する。電圧の高低で表現する場合それぞれを「{{読み仮名|H|ハイ}}」「{{読み仮名|L|ロ}}」等という。基本的な演算を実装す'''論理ゲート'''がありそれらを組み合わせ複雑動作をする回路を構成する状態を持たない組み合わせ回路と状態を持つ順序回路に分けられる
'''論理回路'''(ろんりかいろ、{{lang-en-short|logic circuit}})[[デジタル回路|デジタル]][[電子回路]]による、論理演算や記憶を行う回路である<ref group="注">[[継電器|リレー]]によるも電子回路」というよりは「[[電気回路]]」だが記事ではほとん扱わい。また真値が連続的値をとる(アナログ)論理を扱う論理回路や、アナログ電回路による論理回路、[[流体素子]]や[[光コンピュティング]]といった電気以外による論理演算の提案などについても以下の説明では全く考慮し</ref>

== 概要 ==
[[真理値]]の「真」と「偽」、あるいは[[二進法]]の「0」と「1」を、[[電圧]]の正負や高低、[[電流]]の方向や多少、[[位相]]の差異、[[パルス]]などの[[時間]]の長短、などで表現し、'''論理素子'''など<ref group="注">ワイヤードORなどは論理素子による実装ではない。</ref>で論理演算を[[実装]]する。電圧の高低で表現する場合それぞれを「{{読み仮名|H|ハイ}}」「{{読み仮名|L|ロー}}」等という。基本的な演算を実装する'''論理ゲート'''があり、それらを組み合わせて複雑な動作をする回路を構成する。状態を持たない組み合わせ回路と状態を持つ順序回路に分けられる。


ふつうは[[デジタル回路|ディジタル回路]]である。論理演算を行う[[アナログ回路]]、「アナログ論理」を扱う回路(どちらも「アナログ論理回路」)や、[[多値論理]]回路、電気(電子)的でないもの(たとえば[[流体素子]]や[[光コンピューティング]]を参照)もあるが、以下では扱っていない。
<!--AND OR NOTが「基本」で、フリップフロップなどが応用、という意味のようだが、そのような区別は基本的にない--><!--
本記事では、基本となる論理回路の説明に加えて、[[汎用ロジックIC]]で標準的に備わる論理回路も対象として説明する。ただし個別のICの型番までは言及しない。
-->
==表記法==
==表記法==
論理回路の設計には、[[論理式]]や[[真理値表]]が用いられる。さらに[[回路図]]的な表記手段として'''[[MIL論理記号|MIL記号]]'''など論理[[素子]]記号が使われる。
論理回路の設計には、[[論理式 (数学)|論理式]]や[[真理値表]]が用いられる。さらに[[回路図]]的な表記手段として'''[[MIL論理記号|MIL記号]]'''など論理[[素子]]記号が使われる。


[[負論理]]には正論理の信号名の上にオーバーバー(例: <math>\overline{\mathrm{Q}}</math> )を加えることで表現し、MIL記号では小丸(<small>○</small>)で表現する<ref name="ディジタルIC回路の基礎"/>。
[[負論理]]には正論理の信号名の上にオーバーバー(例: <math>\overline{\mathrm{Q}}</math> )を加えることで表現し、MIL記号では小丸(<small>○</small>)で表現する<ref name="ディジタルIC回路の基礎"/>。



[[ファイル:Negative-Positive Logic (AND gate, OR gate).PNG|thumb|250px|right|正論理(左側)と負論理(右側)の論理ゲート]]
[[ファイル:Negative-Positive Logic (AND gate, OR gate).PNG|thumb|250px|right|正論理(左側)と負論理(右側)の論理ゲート]]
[[ファイル:Negative-Positive Logic (2 gates).PNG|thumb|250px|right|負論理のゲート(左側)は正負の変換を行なうNOT回路を付加することで(右側)内部に正論理のゲートが含まれる。]]
[[ファイル:Negative-Positive Logic (2 gates).PNG|thumb|250px|right|負論理のゲート(左側)は正負の変換を行なうNOT回路を付加することで(右側)内部に正論理のゲートが含まれる。]]
[[ファイル:Negative-Positive Logic (5 gates).PNG|thumb|250px|right|正負の論理が混在する場合には、反転の小丸をその配線の端部に付けることで示す慣習がある<ref>そのようにすると、たとえば図で、2入力1出力のANDの3個の端子全てに小丸が付いていた場合、負論理として見ると論理積の働きをしている(電気的にはORゲートである)ということがわかりやすくなり都合が良い。</ref>。この図では斜線で負論理の部分を示した。]]
[[ファイル:Negative-Positive Logic (5 gates).PNG|thumb|250px|right|正負の論理が混在する場合には、反転の小丸をその配線の端部に付けることで示す慣習がある<ref group="注">そのようにすると、たとえば図で、2入力1出力のANDの3個の端子全てに小丸が付いていた場合、負論理として見ると論理積の働きをしている(電気的にはORゲートである)ということがわかりやすくなり都合が良い。</ref>。この図では斜線で負論理の部分を示した。]]


==正論理・負論理==
==正論理・負論理==
MIL記号を含めて通常のロジック・ダイアグラム<ref>{{lang-en-short|logic diagram}}</ref>では[[負論理|正論理と負論理]]が混在して使用される。
MIL記号を含めて通常のロジック・ダイアグラム<ref group="注">{{lang-en-short|logic diagram}}</ref>では[[負論理|正論理と負論理]]が混在して使用される。


正論理では「H」を真偽値の「真」に、負論理では「L」を真偽値の「真」に対応させる。
正論理では「H」を真偽値の「真」に、負論理では「L」を真偽値の「真」に対応させる。
23行目: 21行目:


==組み合わせ回路==
==組み合わせ回路==
組み合わせ回路<ref>「組み合わせ論理回路」ともいう。</ref>は、現在の入力のみで出力が決まる回路である。
組み合わせ回路<ref group="注">「組み合わせ論理回路」ともいう。</ref>は、現在の入力のみで出力が決まる回路である。


*論理ゲート: {{読み仮名|[[ANDゲート|{{lang|en|AND}}]]|アンド}}{{読み仮名|[[ORゲート|{{lang|en|OR}}]]|オア}}{{読み仮名|[[NOTゲート|{{lang|en|NOT}}]]|ノット}}{{読み仮名|[[XORゲート|{{lang|en|XOR}}]]|エクスクルーシブ・オア}}など基本となる[[論理演算]]を行うものである。
*論理ゲート: <pre>ANDゲート(AND,アンド)、ORゲート(OR,オア)、NOTゲート(NOT,ノット)、XORゲート(XOR,エクスクルーシブ・オア)</pre>など基本となる[[論理演算]]を行うものである。


{|class=wikitable
{|class=wikitable
65行目: 63行目:
|}
|}


*[[エンコーダ]]:複数の入力の内の1つが「真」になった時にそれに対応する2進数コードを出力するもの。
*[[エンコード|エンコーダ]]:複数の入力の内の1つが「真」になった時にそれに対応する2進数コードを出力するもの。
*[[デコーダ]]:2進数のコード入力に対応して、多数の出力線の内の1本だけを「真」にするもの。
*[[デコーダ]]:2進数のコード入力に対応して、多数の出力線の内の1本だけを「真」にするもの。
<!--*[[セレクタ]] : 出力回路のうち1つを選んで出力するもの。 これは何でしょう?-->
<!--*[[セレクタ]] : 出力回路のうち1つを選んで出力するもの。 これは何でしょう?-->
*[[マルチプレクサ]]:2進コード入力に基づいて、複数の入力から1つを選んで出力するもの。「データセレクタ」<ref>{{lang-en-short|data selector}}</ref>とも呼ばれる。
*[[マルチプレクサ]]:2進コード入力に基づいて、複数の入力から1つを選んで出力するもの。「データセレクタ」<ref group="注">{{lang-en-short|data selector}}</ref>とも呼ばれる。
*デマルチプレクサ<ref>{{lang-en-short|demultiplexer}}</ref>:2進コード入力に基づいて、1つの入力を複数の出力の内の1つに出力するもの。
*デマルチプレクサ<ref group="注">{{lang-en-short|demultiplexer}}</ref>:2進コード入力に基づいて、1つの入力を複数の出力の内の1つに出力するもの。
*[[加算器]] : [[二進数|2進数]]の加算を行うもの。全加算器<ref>{{lang-en-short|full adder}}</ref>と半加算器<ref>{{lang-en-short|half adder}}</ref>があり、多桁の全加算器では桁上げの高速化の為に「キャリールックアヘッド回路」を備えるものもある。負の数の表現に2の[[補数]]を使っているのであれば、減算は2の[[補数]]を加算することで実現出来る。回路規模が大きくなってもわずかでも高速化したい場合、減算に対応するための論理反転の追加({{lang|en|XOR}}を1段または、{{lang|en|NOT}}を1段とセレクタを1段)を避け、専用の減算回路を持つこともある。半減算器は{{lang|en|XOR}}であって半加算器と全く同じであるから、減算器には全減算器<ref>{{lang-en-short|full subtracter}}</ref>しか無い。
*[[加算器]] : [[二進数|2進数]]の加算を行うもの。全加算器<ref group="注">{{lang-en-short|full adder}}</ref>と半加算器<ref group="注">{{lang-en-short|half adder}}</ref>があり、多桁の全加算器では桁上げの高速化の為に「キャリールックアヘッド回路」を備えるものもある。負の数の表現に2の[[補数]]を使っているのであれば、減算は2の[[補数]]を加算することで実現出来る。回路規模が大きくなってもわずかでも高速化したい場合、減算に対応するための論理反転の追加({{lang|en|XOR}}を1段または、{{lang|en|NOT}}を1段とセレクタを1段)を避け、専用の減算回路を持つこともある。半減算器は{{lang|en|XOR}}であって半加算器と全く同じであるから、減算器には全減算器<ref group="注">{{lang-en-short|full subtracter}}</ref>しか無い。
*[[乗算器]]:2進数の乗算を行うもの。過去にはALU上で加算とシフトの繰り返しで乗算を行っていたが、近年は多数のゲート回路によって一度に乗算してしまう専用乗算器が使用されている。
*[[乗算器]]:2進数の乗算を行うもの。過去にはALU上で加算とシフトの繰り返しで乗算を行っていたが、近年は多数のゲート回路によって一度に乗算してしまう専用乗算器が使用されている。
*[[バレルシフタ]]:シフトレジスタによるシフト操作では移動のビット数分の回数だけクロックの動作時間が掛かるが、これを避けるためにマルチプレクサを複数組並べるのと同様に多数のゲート回路によって一度にずらすことで実現するものである。
*[[バレルシフタ]]:シフトレジスタによるシフト操作では移動のビット数分の回数だけクロックの動作時間が掛かるが、これを避けるためにマルチプレクサを複数組並べるのと同様に多数のゲート回路によって一度にずらすことで実現するものである。
*比較器<ref>{{lang-en-short|comparator}}</ref>:「ディジタル・コンパレータ」とも呼ばれ、概念としては一致回路や不一致回路、大小を比較する比較器もあり<ref name="ディジタルIC回路の基礎"/>、実際のロジックICでは4ビットや8ビットの比較器にこれら全ての信号が出力されるものが多い<ref>最新汎用ロジック・デバイス規格表 [[CQ出版社]] [[2006年]][[1月1日]]発行 ISBN 4-7898-4459-5</ref>。
*比較器<ref group="注">{{lang-en-short|comparator}}</ref>:「ディジタル・コンパレータ」とも呼ばれ、概念としては一致回路や不一致回路、大小を比較する比較器もあり<ref name="ディジタルIC回路の基礎"/>、実際のロジックICでは4ビットや8ビットの比較器にこれら全ての信号が出力されるものが多い<ref>最新汎用ロジック・デバイス規格表 [[CQ出版社]] 2006年1月1日発行 ISBN 4-7898-4459-5</ref>。
*transmission gate: ([[:en:Transmission gate]])働きとしては入出力の間の電気的な直結あるいは絶縁の状態を切り替えるスイッチなので、ディジタルに限らずアナログにも使えるゲートだが、[[XORゲート]]の実装など論理回路にも有用な応用がある。
*transmission gate: ([[:en:Transmission gate]])働きとしては入出力の間の電気的な直結あるいは絶縁の状態を切り替えるスイッチなので、ディジタルに限らずアナログにも使えるゲートだが、[[XORゲート]]の実装など論理回路にも有用な応用がある。


==順序回路==
==順序回路==
{{重複|date=2022年12月10日 (土) 03:44 (UTC)|dupe=順序回路|section=1}} <!-- 順序回路に統合し概説+誘導の形に -->
順序回路は過去の内部状態と取得時の入力信号とで出力が決まる回路である。組み合わせ回路は、伝播遅延によって信号が遅れることを除けば、入力の組み合わせだけで出力が一意に決まるが、順序回路はループにより内部に状態を保持しており、過去の入力に影響されるその状態も、出力の決定に関わる。
[[順序回路]]は過去の内部状態と取得時の入力信号とで出力が決まる回路である。組み合わせ回路は、伝播遅延によって信号が遅れることを除けば、入力の組み合わせだけで出力が一意に決まるが、順序回路はループにより内部に状態を保持しており、過去の入力に影響されるその状態も、出力の決定に関わる。入力信号の組み合わせによっては「不定」になる場合がある<ref>[http://www.tij.co.jp/document-viewer/jp/SN74HC74/datasheet/detailed_description#SCES7941982 TI SN74HC74 データシート]、[http://www.ti.com/jp/lit/ds/symlink/sn74ls279a.pdf TI SN74LS279A データシート]</ref>([[ラッチ回路#SRラッチの「不定」]])


===フリップフロップ===
===フリップフロップ===
100行目: 99行目:


*[[シフトレジスタ]]:直列フリップフロップの入力と出力を直接接続したもので、クロックに合わせて各FFを1段ずつ横に送っていく(シフトしてゆく)動作をするもの。通常は初段と終段の間は接続されていない。
*[[シフトレジスタ]]:直列フリップフロップの入力と出力を直接接続したもので、クロックに合わせて各FFを1段ずつ横に送っていく(シフトしてゆく)動作をするもの。通常は初段と終段の間は接続されていない。
*ジョンソン・カウンタ:シフトレジスタの初段と終段の間だけ入力と出力を反転して接続したもの。クロックに合わせて各FFを1段ずつ横に送っていく(シフトしてゆく)動作をするが、反転入力が移動してゆくので n 段ならば 2n 回目で一順するカウンタとなり、初期値が単純に「0」や「1」ばかりであればデューティサイクルが50%のディジタル波形信号が得られる。
*ジョンソン・カウンタ:シフトレジスタの初段と終段の間だけ入力と出力を反転して接続したもの。クロックに合わせて各FFを1段ずつ横に送っていく(シフトしてゆく)動作をするが、反転入力が移動してゆくので n 段ならば 2n 回目で一順するカウンタとなり、初期値が単純に「0」や「1」ばかりであれば[[デューティ比|デューティサイクル]]が50%のディジタル波形信号が得られる。
*リング・カウンタ:シフトレジスタの初段と終段の間も他の段同様、入力と出力を直接接続したもの。初期値で設定されたディジタル波形信号がn回目で一順するカウンタとなる。例えば4段リング・カウンタに <code>1000</code> と設定すれば <code>0100</code>→<code>0010</code>→<code>0001</code>→<code>1000</code> となって4回目で元に戻る。
*リング・カウンタ:シフトレジスタの初段と終段の間も他の段同様、入力と出力を直接接続したもの。初期値で設定されたディジタル波形信号がn回目で一順するカウンタとなる。例えば4段リング・カウンタに <code>1000</code> と設定すれば <code>0100</code>→<code>0010</code>→<code>0001</code>→<code>1000</code> となって4回目で元に戻る。
*バイナリ・カウンタ(2進カウンタ)
*バイナリ・カウンタ(2進カウンタ)
106行目: 105行目:


また、全ての出力状態が使用されるものと出力状態の一部のみ使用されるものの差で次の2つのグループに分類出来る。
また、全ての出力状態が使用されるものと出力状態の一部のみ使用されるものの差で次の2つのグループに分類出来る。
*フィルド・コード・カウンタ<ref>{{lang-en-short|filled code counter}}</ref>:全ての出力状態が使用されるもの。
*フィルド・コード・カウンタ<ref group="注">{{lang-en-short|filled code counter}}</ref>:全ての出力状態が使用されるもの。
**2ビットジョンソン・カウンタ
**2ビットジョンソン・カウンタ
**グレイ・コード・カウンタ、
**グレイ・コード・カウンタ、
**バイナリ・カウンタ(2進カウンタ)
**バイナリ・カウンタ(2進カウンタ)
*アンフィルド・コード・カウンタ<ref>{{lang-en-short|unfilled code counter}}</ref>:出力状態の一部のみ使用されるもので、その他の状態になる時は動作不良のときであるもの。
*アンフィルド・コード・カウンタ<ref group="注">{{lang-en-short|unfilled code counter}}</ref>:出力状態の一部のみ使用されるもので、その他の状態になる時は動作不良のときであるもの。
**3ビット以上のジョンソン・カウンタ
**3ビット以上のジョンソン・カウンタ
**リング・カウンタ
**リング・カウンタ
**M系列発生器([[線形帰還シフトレジスタ]]<ref>{{lang-en-short|linear feedback shift register}}</ref>)
**M系列発生器([[線形帰還シフトレジスタ]]<ref group="注">{{lang-en-short|linear feedback shift register}}</ref>)


カウンタには同期式と非同期式があり、非同期式カウンタは常に前段の結果によって次段の動作が左右されるため、多段になるほど終段の結果の確定は回路の伝播遅延による遅れが蓄積される。こうしたものは「非同期式リプルカウンタ」と呼ばれる。
カウンタには同期式と非同期式があり、非同期式カウンタは常に前段の結果によって次段の動作が左右されるため、多段になるほど終段の結果の確定は回路の伝播遅延による遅れが蓄積される。こうしたものは「非同期式リプルカウンタ」と呼ばれる。
139行目: 138行目:
論理回路というよりディジタル回路としての分類になるが、以下のようなデバイスがある。
論理回路というよりディジタル回路としての分類になるが、以下のようなデバイスがある。


*ワイヤード・オア<ref>{{lang-en-short|wired OR}}</ref>:(TTLでは)複数の[[オープンコレクタ]]出力を使って便宜上のOR回路を構成する手法。通常は複数のディジタル出力をそのまま結線することは許されないが、オープンコレクタ出力により可能となる。[[プルアップ抵抗]]が必要。CMOSではオープンドレインとなる。
*ワイヤード・オア<ref group="注">{{lang-en-short|wired OR}}</ref>:(TTLでは)複数の[[オープンコレクタ]]出力を使って便宜上のOR回路を構成する手法。通常は複数のディジタル出力をそのまま結線することは許されないが、オープンコレクタ出力により可能となる。[[プルアップ抵抗]]が必要。CMOSではオープンドレインとなる。
*バッファ<ref>{{lang-en-short|buffer}}</ref>、バス・トランシーバ<ref>{{lang-en-short|bus transceiver}}</ref>、ライン・ドライバ/レシーバ<ref>{{lang-en-short|line driver/receiver}}</ref>:伝送路や多数のゲートを駆動する為に大きな出力の回路を持つもの。多くが4bit、8bit、16bitなどの複数本を並列にして扱われる。
*バッファ<ref group="注">{{lang-en-short|buffer}}</ref>、バス・トランシーバ<ref group="注">{{lang-en-short|bus transceiver}}</ref>、ライン・ドライバ/レシーバ<ref group="注">{{lang-en-short|line driver/receiver}}</ref>:伝送路や多数のゲートを駆動する為に大きな出力の回路を持つもの。多くが4bit、8bit、16bitなどの複数本を並列にして扱われる。
*トライステート・バッファ<ref>{{lang-en-short|3-state buffer}}</ref>:バッファの出力状態を「H」と「L」の他にハイ・インピーダンス<ref>{{lang-en-short|high impedance}}</ref>の合計3つ持つもの。
*トライステート・バッファ<ref group="注">{{lang-en-short|3-state buffer}}</ref>:バッファの出力状態を「H」と「L」の他にハイ・インピーダンス<ref group="注">{{lang-en-short|high impedance}}</ref>の合計3つ持つもの。
*シュミット・トリガ<ref>{{lang-en-short|Schmitt trigger}}</ref>:不安定な入力信号を安定的に波形整形して出力する為に、[[ヒステリシス]]特性を備えたアンプを持つ。インバータ回路などに多い<ref name="ディジタルIC回路の基礎">松田勲著 『ディジタルIC回路の基礎』 [[技術評論社]] [[2005年]][[7月1日]] 初版第5刷発行 ISBN 4-7741-0804-9</ref>。
*シュミット・トリガ<ref group="注">{{lang-en-short|Schmitt trigger}}</ref>:不安定な入力信号を安定的に波形整形して出力する為に、[[ヒステリシス]]特性を備えたアンプを持つ。インバータ回路などに多い<ref name="ディジタルIC回路の基礎">松田勲著 『ディジタルIC回路の基礎』 [[技術評論社]] 2005年7月1日 初版第5刷発行 ISBN 4-7741-0804-9</ref>。
*シーケンサ<ref>{{lang-en-short|sequencer}}</ref>:外部状況の変化にしたがって定義された演算・動作を行うもので、カウンタ・外部信号のレジスタ・ゲートなどを組み合わせて製作される。
*シーケンサ<ref group="注">{{lang-en-short|sequencer}}</ref>:外部状況の変化にしたがって定義された演算・動作を行うもので、カウンタ・外部信号のレジスタ・ゲートなどを組み合わせて製作される。

==用途==
すべてのディジタルと名の付く電気製品。[[コンピュータ]]、[[プログラマブルロジックコントローラ]]<ref>PLC。工業用プロセス制御に用いられる。</ref>、ディジタル時計、電卓、携帯電話、ディジタルカメラ、スマートフォン、家庭用ゲーム機、コンピューター(タブレット端末、パソコン、スーパーコンピュータなど)、電子ブックリーダー、カメラ付きインターホン、ディジタル音響機器(CDプレーヤー、MDプレーヤー、{{lang|en|iPod}} など)、ディジタル映像(ディジタルテレビ、レーザーディスク・プレーヤー、DVDプレーヤー、ハードディスクレコーダーなど)、コピー機、プリンター、エアコン、冷蔵庫、エンジン、自動改札機、電光掲示板、エレベーターなど、2014年現在ではほぼすべての電気製品に論理回路が用いられている。他の例として[[デジタルシグナルプロセッサ|ディジタルシグナルプロセッサ]](DSP)などもそうである。

しかし、電気製品の一般名称ほどあてにならないものはないので(たとえば、電波を利用しているのに「電子レンジ」などが著名であろう)結局このような列挙はあまり意味がないであろう('''たとえば[[そろばん]]など、数を連続的ではなく計数的(離散的)に扱うという点で、ディジタルの代表的な例と言えるのだが、「そろばんはアナログ」という完全に誤った言説が日本では主流である''')。


==歴史==
==歴史==
電気による論理演算は、リレー(ことによってはソレノイドアクチュエータやモータと、スイッチ)による装置(たとえば[[ステップ・バイ・ステップ交換機|初期の電話交換機]]など)があった。しかし、[[ブール代数]]は[[19世紀]]中頃に考案されていたが、当時はそれらの装置と関連付けて考えられていなかった。
遡るならば、非電気的な、機械のみによる論理演算の処理、というものも考えられているが割愛する。

電気による論理演算は、リレー(ことによってはソレノイドアクチュエータやモータと、スイッチ)による装置(たとえば[[電話交換機#ステップ・バイ・ステップ交換機|初期の電話交換機]]など)があった。しかし、[[ブール代数]]は[[19世紀]]中頃に考案されていたが、当時はそれらの装置と論理をつなげて考えていなかった。


ディジタル回路と論理の対応付けは、中嶋章が1934年頃から研究、論文としては1936-1937年<ref>2部構成</ref>に榛沢正男と発表した「継電器回路に於ける単部分路の等価変換の理論」を嚆矢とし、[[クロード・シャノン]]の1937年の研究とその発表が有名である(他にも相次いで発表されている)。後者の着想が独立かどうかは不明である<ref>[https://www.jstage.jst.go.jp/article/essfr/3/4/3_4_4_9/_pdf 山田昭彦「スイッチング理論の原点を尋ねて シャノンに先駆けた中嶋章の研究を中心に(PDF)]</ref>。
ディジタル回路と論理演算の対応付けは、[[中嶋章]]が1934年頃から研究、論文としては1936-1937年<ref group="注">2部構成</ref>に榛沢正男と発表した「継電器回路に於ける単部分路の等価変換の理論」を嚆矢とし、[[クロード・シャノン]]の1937年の研究とその発表が有名である(他にも相次いで発表されている)。後者の着想が独立かどうかは不明である<ref>山田昭彦、「[https://doi.org/10.1587/essfr.3.4_9 スイッチング理論の原点を尋ねて -シャノンに先駆けた中嶋章の研究を中心に-]『子情報通信学会 基礎・境界ソサイエティ Fundamentals Review』 2010年 3巻 4号 p.4_9-4_17, {{doi|10.1587/essfr.3.4_9}}</ref>。


個別部品時代もモジュール化はおこなわれていたが、[[1960年代]]に登場した[[汎用ロジックIC]]により、アナログ的な[[回路設計]]と論理設計をほぼ分離できるようになった。
個別部品時代もモジュール化はおこなわれていたが、[[1960年代]]に登場した[[汎用ロジックIC]]により、アナログ的な[[回路設計]]と論理設計をほぼ分離できるようになった。


小規模な場合は、論理素子記号などを使った手書きによる設計が可能であるが、大規模になると難しい。そのため、[[1990年代]]より大規模な回路の設計には[[ハードウェア記述言語]](HDL)が多用されるようになった(HDL自体はもっと前からある)。また、[[集積回路]]技術の進歩に対応できるように、どのような素子を使用するかに独立なビヘイビアモデル(動作記述)による設計が行われる(ツール業界等は「ビヘイビアモデル」等の用語を広めているが、ディジタル電子回路の設計にあたって、純粋にその論理的動作だけに抽象化して設計を行うなどのことは以前から当然のように行われていたことである)
小規模な場合は、論理素子記号などを使った手書きによる設計が可能であるが、大規模になると難しい。そのため、大規模な回路の設計には[[ハードウェア記述言語]](HDL)が多用されるようになった。


1990年代後半より、試作や少量生産の場合に論理がプログラマブルな(書き換え可能な)[[プログラマブルロジックデバイス|PLD]]やCPLD、[[FPGA]]などが使用されるようになった。大量生産または高性能が要求される場合は{{lang|en|[[ASIC]]}}も使用される。
1990年代後半より、試作や少量生産の場合に論理がプログラマブルな(書き換え可能な)[[プログラマブルロジックデバイス|PLD]]やCPLD、[[FPGA]]などが使用されるようになった。大量生産または高性能が要求される場合は{{lang|en|[[ASIC]]}}も使用される。
165行目: 157行目:
==その他==
==その他==
*[[十進法]]で表現された数を、整数値として2進に変換するのではなく扱う方法として[[二進化十進表現]]がある。<code>0000</code> から <code>1001</code> を使用し <code>1010</code> から <code>1111</code> は使用しないというよくある方法の他いくつかのバリエーションや、近年の十進浮動小数点で使われている10ビットに十進3桁を詰め込む {{lang|en|densely packed decimal}}、[[3増し符号]]、2-5進コード([[二五進法]])などがある。
*[[十進法]]で表現された数を、整数値として2進に変換するのではなく扱う方法として[[二進化十進表現]]がある。<code>0000</code> から <code>1001</code> を使用し <code>1010</code> から <code>1111</code> は使用しないというよくある方法の他いくつかのバリエーションや、近年の十進浮動小数点で使われている10ビットに十進3桁を詰め込む {{lang|en|densely packed decimal}}、[[3増し符号]]、2-5進コード([[二五進法]])などがある。
*論理回路の設計においては、数学で使われているのと同様の記法を用いることもあるが、プレインテキストとの親和性が高いなどの理由で他の記法を用いることもある。


==脚注==
==脚注==
{{脚注ヘルプ}}
<references/>
=== 注釈 ===
{{Notelist2|2}}
=== 出典 ===
{{Reflist|2}}


==関連項目==
==関連項目==
181行目: 176行目:
*[[標準ロジックIC]]
*[[標準ロジックIC]]
*[[デジタル回路|ディジタル回路]]
*[[デジタル回路|ディジタル回路]]
*[[CPU設計]]
*[[プログラマブルロジックデバイス]]
*[[プログラマブルロジックデバイス]]


== 外部リンク ==
* [https://ocw.u-tokyo.ac.jp/course_11273/ 論理回路基礎(UTokyo OpenCourseWare)]

{{論理演算}}
{{論理ゲート}}
{{論理ゲート}}
{{authority control}}
{{DEFAULTSORT:ろんりかいろ}}
{{DEFAULTSORT:ろんりかいろ}}
[[Category:論理ゲート|*]]

[[Category:デジタル回路]]
[[Category:デジタル回路]]
[[Category:制御工学]]
[[Category:制御工学]]
[[Category:コンピュータの仕組み]]
[[Category:コンピュータの仕組み]]
[[Category:論理]]
[[Category:計算機科学における論理]]

2024年8月28日 (水) 02:35時点における最新版

論理回路(ろんりかいろ、: logic circuit)とは、デジタル電子回路による、論理演算や記憶を行う回路である[注 1]

概要

[編集]

真理値の「真」と「偽」、あるいは二進法の「0」と「1」を、電圧の正負や高低、電流の方向や多少、位相の差異、パルスなどの時間の長短、などで表現し、論理素子など[注 2]で論理演算を実装する。電圧の高低で表現する場合それぞれを「Hハイ」「Lロー」等という。基本的な演算を実装する論理ゲートがあり、それらを組み合わせて複雑な動作をする回路を構成する。状態を持たない組み合わせ回路と状態を持つ順序回路に分けられる。

表記法

[編集]

論理回路の設計には、論理式真理値表が用いられる。さらに回路図的な表記手段としてMIL記号など論理素子記号が使われる。

負論理には正論理の信号名の上にオーバーバー(例: )を加えることで表現し、MIL記号では小丸()で表現する[1]

正論理(左側)と負論理(右側)の論理ゲート
負論理のゲート(左側)は正負の変換を行なうNOT回路を付加することで(右側)内部に正論理のゲートが含まれる。
正負の論理が混在する場合には、反転の小丸をその配線の端部に付けることで示す慣習がある[注 3]。この図では斜線で負論理の部分を示した。

正論理・負論理

[編集]

MIL記号を含めて通常のロジック・ダイアグラム[注 4]では正論理と負論理が混在して使用される。

正論理では「H」を真偽値の「真」に、負論理では「L」を真偽値の「真」に対応させる。

厳密には正論理の出力信号線は必ず正論理の入力に接続されねばならず、負論理出力は負論理の入力に接続されねばならないが、図面上の表記として必ず守られるとは限らない[1](「厳密には」というよりは、図面の目的による。たとえば、論理的な動作を理解するための図であるのか、製造のための電子的な回路図に近い性格のものであるのか、結局のところケースバイケースであろう)。

組み合わせ回路

[編集]

組み合わせ回路[注 5]は、現在の入力のみで出力が決まる回路である。

  • 論理ゲート:
    ANDゲート(AND,アンド)、ORゲート(OR,オア)、NOTゲート(NOT,ノット)、XORゲート(XOR,エクスクルーシブ・オア)
    など基本となる論理演算を行うものである。
論理 論理式 回路記号(MIL記号) 回路記号(JIS記号)
NOT NOT NOT
OR OR OR
AND AND AND
XOR XOR XOR
NOR NOR NOR
NAND NAND NAND
  • エンコーダ:複数の入力の内の1つが「真」になった時にそれに対応する2進数コードを出力するもの。
  • デコーダ:2進数のコード入力に対応して、多数の出力線の内の1本だけを「真」にするもの。
  • マルチプレクサ:2進コード入力に基づいて、複数の入力から1つを選んで出力するもの。「データセレクタ」[注 6]とも呼ばれる。
  • デマルチプレクサ[注 7]:2進コード入力に基づいて、1つの入力を複数の出力の内の1つに出力するもの。
  • 加算器 : 2進数の加算を行うもの。全加算器[注 8]と半加算器[注 9]があり、多桁の全加算器では桁上げの高速化の為に「キャリールックアヘッド回路」を備えるものもある。負の数の表現に2の補数を使っているのであれば、減算は2の補数を加算することで実現出来る。回路規模が大きくなってもわずかでも高速化したい場合、減算に対応するための論理反転の追加(XORを1段または、NOTを1段とセレクタを1段)を避け、専用の減算回路を持つこともある。半減算器はXORであって半加算器と全く同じであるから、減算器には全減算器[注 10]しか無い。
  • 乗算器:2進数の乗算を行うもの。過去にはALU上で加算とシフトの繰り返しで乗算を行っていたが、近年は多数のゲート回路によって一度に乗算してしまう専用乗算器が使用されている。
  • バレルシフタ:シフトレジスタによるシフト操作では移動のビット数分の回数だけクロックの動作時間が掛かるが、これを避けるためにマルチプレクサを複数組並べるのと同様に多数のゲート回路によって一度にずらすことで実現するものである。
  • 比較器[注 11]:「ディジタル・コンパレータ」とも呼ばれ、概念としては一致回路や不一致回路、大小を比較する比較器もあり[1]、実際のロジックICでは4ビットや8ビットの比較器にこれら全ての信号が出力されるものが多い[2]
  • transmission gate: (en:Transmission gate)働きとしては入出力の間の電気的な直結あるいは絶縁の状態を切り替えるスイッチなので、ディジタルに限らずアナログにも使えるゲートだが、XORゲートの実装など論理回路にも有用な応用がある。

順序回路

[編集]

順序回路は過去の内部状態と取得時の入力信号とで出力が決まる回路である。組み合わせ回路は、伝播遅延によって信号が遅れることを除けば、入力の組み合わせだけで出力が一意に決まるが、順序回路はループにより内部に状態を保持しており、過去の入力に影響されるその状態も、出力の決定に関わる。入力信号の組み合わせによっては「不定」になる場合がある[3]ラッチ回路#SRラッチの「不定」)。

フリップフロップ

[編集]

フリップフロップは制御信号により現在の入力信号の保持を行うものである。ラッチとも呼ばれる。論理回路ではフリップフロップと呼ぶものも、コンピュータ・システムでの回路名としては(通常は複数ビットの記憶回路を)レジスタと呼ぶ。

非同期式フリップフロップはクロック入力を持たず、その時点での入力の値に応じて出力が変化し、新たな入力信号が来るまで同じ状態を保持する。

  • 非同期式RS-FF(=RSラッチ):標準ではRとSが共に「真」は禁止されているが、セット優先、リセット優先のものでは両入力が共に「真」の時にはセットにだけ「真」の入力があったもの、またはリセットにだけ 「真」 の入力があったものとして扱われる設定が行なえるものがある。
  • 非同期式D-FF(=Dラッチ):RS-FFのS入力にストローブ入力(G)によるゲート制御が加わったものである。ストローブが 「真」 の間はD入力はQ出力にそのまま反映され、ストローブが「真」から「偽」に変わるとその変化時点(立ち上り、又は立ち下り)での入力を保持する。

同期式フリップフロップはクロック信号(CLK、CK等と表記)の立ち上がり(又は立ち下り)に同期してその時点での入力(D, S, J等)に対応する信号を出力する。この出力は次にクロックが立ち上がる(又は立ち下る)まで更新されない。

  • 同期式RS-FF:RS は resetset から付けられた。
  • 同期式D-FF:D は data または delay から付けられた。
  • JK-FF:RS-FFの動作に近いがRとSの両方が「真」の時は出力が反転するのでRとSに同じ入力を与えると同期式T-FFとして動作する。JとKに互いに反転した入力を与えればD-FFとなる。もちろんRS-FFとして使用できる。このため、JK-FFは色々な構成で使用される。内部には2段の非同期FFがマスター・スレーブ構成に並んでいて、同期動作を行なっている。
  • T-FF:クロックやクリア、プリセット以外の入力は持たず、クロックが入力されるたびに出力が反転する。Tは toggle から付けられた。

カウンタ

[編集]

カウンタ回路は、特定の順序で出力の組み合わせが変化し、一定の周期で元の状態に戻るもので、フリップフロップとゲートとをいくつか組み合わせたものである。

  • シフトレジスタ:直列フリップフロップの入力と出力を直接接続したもので、クロックに合わせて各FFを1段ずつ横に送っていく(シフトしてゆく)動作をするもの。通常は初段と終段の間は接続されていない。
  • ジョンソン・カウンタ:シフトレジスタの初段と終段の間だけ入力と出力を反転して接続したもの。クロックに合わせて各FFを1段ずつ横に送っていく(シフトしてゆく)動作をするが、反転入力が移動してゆくので n 段ならば 2n 回目で一順するカウンタとなり、初期値が単純に「0」や「1」ばかりであればデューティサイクルが50%のディジタル波形信号が得られる。
  • リング・カウンタ:シフトレジスタの初段と終段の間も他の段同様、入力と出力を直接接続したもの。初期値で設定されたディジタル波形信号がn回目で一順するカウンタとなる。例えば4段リング・カウンタに 1000 と設定すれば 0100001000011000 となって4回目で元に戻る。
  • バイナリ・カウンタ(2進カウンタ)
  • n進カウンタ:(同期式であれば)バイナリ・カウンタのリセット入力に n-1 回目で「H」となるようにゲート回路で信号を接続する。n 回目のクロック入力でリセットがかかり、全てが 0 に戻る。

また、全ての出力状態が使用されるものと出力状態の一部のみ使用されるものの差で次の2つのグループに分類出来る。

  • フィルド・コード・カウンタ[注 12]:全ての出力状態が使用されるもの。
    • 2ビットジョンソン・カウンタ
    • グレイ・コード・カウンタ、
    • バイナリ・カウンタ(2進カウンタ)
  • アンフィルド・コード・カウンタ[注 13]:出力状態の一部のみ使用されるもので、その他の状態になる時は動作不良のときであるもの。

カウンタには同期式と非同期式があり、非同期式カウンタは常に前段の結果によって次段の動作が左右されるため、多段になるほど終段の結果の確定は回路の伝播遅延による遅れが蓄積される。こうしたものは「非同期式リプルカウンタ」と呼ばれる。

多くのカウンタ回路には、加算と減算の動作選択、各段の初期値のプリセット、全段のリセットなどの機能を備えており、また、論理回路的な設計とは無関係であるが実際のICチップパッケージには多段接続時に数珠繋ぎに延長できるよう、キャリアアウト出力とキャリアイン入力と云う桁上げ出力や桁借り出力などが備わっている[1]

同期と非同期・他

[編集]

以上の、組合わせ回路と順序回路という分類とは別に、以下のような分類もある。

同期

[編集]

同期式では非同期式に比べて信号の遅れやレーシングといった問題に起因する動作不良が減らせる、又は根絶できるが、回路規模が大きくなるので消費電力や回路コストが増す[1]。非同期式は単純な回路構成が採れるので低消費で回路コストも安くて済み、回路設計が最適化出来れば高速動作が可能になるが、設計マージンが小さくなる傾向があり小さなミスが動作不良に結びつく。

特に完全同期式回路は、全体で共有するクロック信号を利用して動作のタイミングをあわせる回路である(クロック同期設計)。大規模な回路で広く用いられている。設計時に大規模な回路のシミュレーションが行いやすい、製造時に全てのラッチの 1・0 が切り替わるかどうかのテストを行う試験機のプログラムを作成しやすい、といった利点がある。

非同期

[編集]

同期式に対し、別に同期信号を持たないものが非同期式で、非同期論理・非同期回路(en:Asynchronous circuit)と言う。電気試験所のETL Mark IとMark II、富士通のFACOM 128などのリレー式計算機に採用がある。マイクロプロセッサでは、商業的に販売されてはいないがAMULETや南谷研の「TITAC」がある。

動的と静的

[編集]

DRAMのように、常に活動していなければ正常に動作しない論理回路を動的と言う。これに対し、SRAMのように、電圧の供給だけで働く論理回路を静的と言う。マイクロプロセッサのレジスタのように多くの記憶が必要な場合、素子数の点で有利な動的回路の場合があり、そういったマイクロプロセッサは動作周波数に下限があり、また、クロックを止めることができない。

論理演算に対しても、常に働く回路として論理演算をおこなうものを静的論理と言う。汎用ロジックICの多くなど、現在使われている多くの論理回路は静的である。これに対し、クロックに合わせ1クロックで1段階の論理演算を行うような方式もあり、動的論理(en:Dynamic logic (digital electronics))と言う。電気試験所のETL Mark III・IVパラメトロンの回路方式、トランスピュータの内部回路などに実例がある。

その他

[編集]

論理回路というよりディジタル回路としての分類になるが、以下のようなデバイスがある。

  • ワイヤード・オア[注 15]:(TTLでは)複数のオープンコレクタ出力を使って便宜上のOR回路を構成する手法。通常は複数のディジタル出力をそのまま結線することは許されないが、オープンコレクタ出力により可能となる。プルアップ抵抗が必要。CMOSではオープンドレインとなる。
  • バッファ[注 16]、バス・トランシーバ[注 17]、ライン・ドライバ/レシーバ[注 18]:伝送路や多数のゲートを駆動する為に大きな出力の回路を持つもの。多くが4bit、8bit、16bitなどの複数本を並列にして扱われる。
  • トライステート・バッファ[注 19]:バッファの出力状態を「H」と「L」の他にハイ・インピーダンス[注 20]の合計3つ持つもの。
  • シュミット・トリガ[注 21]:不安定な入力信号を安定的に波形整形して出力する為に、ヒステリシス特性を備えたアンプを持つ。インバータ回路などに多い[1]
  • シーケンサ[注 22]:外部状況の変化にしたがって定義された演算・動作を行うもので、カウンタ・外部信号のレジスタ・ゲートなどを組み合わせて製作される。

歴史

[編集]

電気による論理演算は、リレー(ことによってはソレノイドアクチュエータやモータと、スイッチ)による装置(たとえば初期の電話交換機など)があった。しかし、ブール代数19世紀中頃に考案されていたが、当時はそれらの装置と関連付けて考えられていなかった。

ディジタル回路と論理演算の対応付けは、中嶋章が1934年頃から研究、論文としては1936-1937年[注 23]に榛沢正男と発表した「継電器回路に於ける単部分路の等価変換の理論」を嚆矢とし、クロード・シャノンの1937年の研究とその発表が有名である(他にも相次いで発表されている)。後者の着想が独立かどうかは不明である[4]

個別部品時代もモジュール化はおこなわれていたが、1960年代に登場した汎用ロジックICにより、アナログ的な回路設計と論理設計をほぼ分離できるようになった。

小規模な場合は、論理素子記号などを使った手書きによる設計が可能であるが、大規模になると難しい。そのため、大規模な回路の設計にはハードウェア記述言語(HDL)が多用されるようになった。

1990年代後半より、試作や少量生産の場合に論理がプログラマブルな(書き換え可能な)PLDやCPLD、FPGAなどが使用されるようになった。大量生産または高性能が要求される場合はASICも使用される。

その他

[編集]
  • 十進法で表現された数を、整数値として2進に変換するのではなく扱う方法として二進化十進表現がある。0000 から 1001 を使用し 1010 から 1111 は使用しないというよくある方法の他いくつかのバリエーションや、近年の十進浮動小数点で使われている10ビットに十進3桁を詰め込む densely packed decimal3増し符号、2-5進コード(二五進法)などがある。

脚注

[編集]

注釈

[編集]
  1. ^ リレーによるものは「電子回路」というよりは「電気回路」だが、この記事ではほとんど扱わない。また真理値が連続的な値をとる(アナログな)論理を扱う論理回路や、アナログ電子回路による論理回路、流体素子光コンピューティングといった電気以外による論理演算の提案などについても、以下の説明では全く考慮していない。
  2. ^ ワイヤードORなどは論理素子による実装ではない。
  3. ^ そのようにすると、たとえば図で、2入力1出力のANDの3個の端子全てに小丸が付いていた場合、負論理として見ると論理積の働きをしている(電気的にはORゲートである)ということがわかりやすくなり都合が良い。
  4. ^ : logic diagram
  5. ^ 「組み合わせ論理回路」ともいう。
  6. ^ : data selector
  7. ^ : demultiplexer
  8. ^ : full adder
  9. ^ : half adder
  10. ^ : full subtracter
  11. ^ : comparator
  12. ^ : filled code counter
  13. ^ : unfilled code counter
  14. ^ : linear feedback shift register
  15. ^ : wired OR
  16. ^ : buffer
  17. ^ : bus transceiver
  18. ^ : line driver/receiver
  19. ^ : 3-state buffer
  20. ^ : high impedance
  21. ^ : Schmitt trigger
  22. ^ : sequencer
  23. ^ 2部構成

出典

[編集]
  1. ^ a b c d e f 松田勲著 『ディジタルIC回路の基礎』 技術評論社 2005年7月1日 初版第5刷発行 ISBN 4-7741-0804-9
  2. ^ 最新汎用ロジック・デバイス規格表 CQ出版社 2006年1月1日発行 ISBN 4-7898-4459-5
  3. ^ TI SN74HC74 データシートTI SN74LS279A データシート
  4. ^ 山田昭彦、「スイッチング理論の原点を尋ねて -シャノンに先駆けた中嶋章の研究を中心に-」 『子情報通信学会 基礎・境界ソサイエティ Fundamentals Review』 2010年 3巻 4号 p.4_9-4_17, doi:10.1587/essfr.3.4_9

関連項目

[編集]

外部リンク

[編集]