計算システム論第一のバックアップ(No.7)

講義日程-2007年度冬学期

計算システム論第一 †

担当：南谷崇教授
1.5単位
- 数理：限定選択C
- システム：限定選択A
14:45-16:15 工学部六号館 62講義室
出席あり(救済措置的)
参考書
- 新世紀デジタル講座
- 論理設計--スイッチング回路理論
- コンピュータの構成と設計

↑

内容 †

VLSI計算システム概論
- ハードウェアの経年劣化と同様に、ソフトウェアも経年劣化する。~~信頼性を保つためには常にメンテナンスが必要。~~これを怠るとインターフェイスに齟齬が生じ、あちこちに不具合が現れる。

以下、いろいろ要約すると「電力消費・情報転送量多すぎ。無駄な情報流さず、もっと節約せい。」

論理回路
- 計算機の素子は基本的にはAND,OR,NOTでできている。(実際にはNANDだけで他を構成している)

ブール代数と論理回路
- 順序集合~~反射律、対称律、推移律を満たす二項関係を伴う集合。~~最大元があればそれを1、最小元があればそれを0とする。その集合を
- 束の公理~~冪等で可換、結合的な二項演算で、吸収律を満たすものを伴う集合。~~さらに分配律を満たす束を分配束と呼ぶ。
- ブール代数の公理~~最大元と最小元を持った分配束に、二十否定除去、相補性とドモルガン律を満たす単項演算を入れたもの。
  - 双対性原理~~ブール代数の式について、項を全て否定し、＋を・に、・を＋に置き換えた式を双対な論理式と呼ぶ。~~ブール代数では、任意の等式とその双対等式について、片方が成り立てばもう片方も成り立つ。

論理関数
- $2 = \{0,1\}$
  $n$ 変数論理関数、 $f:2^n\to2$ ブール関数・スイッチング関数とも呼ばれる。
  表現形式としては、論理式・真理値表・キューブ表現・BDDがある。
  定義域の $2^n$ 全てについて値が定義されているものを、完全定義関数。
  値が未定義の組み合わせがあり、「渡してはいけない値」があるものを、不完全定義関数と呼ぶ。
- 論理式の表現には真理値表が最も簡単。
  ROMの入力値に対応する論理値を書き込んで
  真理値表を作れば、簡単に論理回路を作れる。
  ただし、入力変数が増えると表の行数が急激に増える。
- 論理式による表現。
  論理関数は必ず論理式で書けるか？Yes.
  - ブール展開
    $F(x,y,z) = x F(1,y,z)+\bar{x} F(0,y,z)$ と展開すれば、２変数論理関数２つに分解できる。
    同様に展開を進めると、引数の積と否定からなる項の和からなる形の論理式として、この論理関数を表現できる。
    ある項を真にする論理変数の組み合わせが唯一であるとき、その項は極小項と呼ばれる。
    全ての論理変数の積を取ったものと、そのうちいくつかの論理変数を否定したものが極小項。
    極小項の和で書かれた論理式は、真理値表と一対一対応。積和表現。
    積和表現の双対として、極小項の双対である極大項の積で表現した和積表現も真理値表と一対一。
    積和表現は、もとの論理関数を否定したものを積和表現で表して、ド・モルガン則で元に戻せば得られる。
  - リード・マラー展開
    排他的論理和 $\oplus$ (XOR,exclusive or,対称差)を
    $x \oplus y = x\bar{y} + \bar{x}y$ で定義する。
    $x \oplus y = y \oplus x$
    $x \oplus (y \oplus z) = (x \oplus y) \oplus z$ ~
    $x (y \oplus z) = xy \oplus xz$
    $x \oplus 0 = x$
    $x \oplus 1 = \bar{x}$
    $x \oplus x = 0$
    $x + y = x \oplus y \oplus xy$ が成立。
    ２変数論理関数 $F(x,y)$ について、

と展開できる。繰り返して展開すると、論理変数からいくつか取り出して
積を作った2^n個の項の排他的論理和として表現できる。
この展開をリード・マラー展開やガロア標準形と呼ぶ。

キューブ表現
トランジスタの配置パターンそのままで表現。
各項に論理変数とその否定に対応するビットを用意して、
項にその変数が現れるならビットを立てる。

BDD(Binary Decision Diagram)
- 論理式の真偽値表をツリー表現。標準化して冗長性を除く。
  標準化されたグラフは、評価する順番を固定すると一意に定まる。
  ほとんどの論理式はグラフ表現にして簡約すれば簡単な形になる。

論理関数の否定
- 多くの論理変数を含む論理式をドモルガン律を使って否定しようとすると、項数がとても多くなる。
- 論理関数 $F(x,y,z)$ の否定は、
  $F = xF(1,y,z) + \bar{x}F(0,y,z)$
  $\bar{F} = x\bar{F(1,y,z)} + \bar{x}\bar{F(0,y,z)}$

ユネイト関数
各変数が、肯定形か否定形かのどちらかしか現れない積和形式で表される論理関数。
- $F(x,y,z)$ が $x$ について正であるとは、
  $F(0,y,z) \leq F(1,y,z)$ 、「左辺が真で右辺が偽」とはならない論理関数。
  $x$ に関して正な関数については、 $F(1,y,z) = F(1,y,z) + F(0,y,z)$ が成立。
  $F(x,y,z) = xF(1,y,z) + F(0,y,z)$ と分解できる。
- xについて負な関数についても同様。
- すべての変数に関して(正/負)な関数は単調(増大/減少)関数。エラー検出について有用。

自己双対関数
- $F(x,y,z)$ について、 $F^*(x,y,z) = \bar{F(\bar{x},\bar{y},\bar{z})}$ を $F$ の双対関数と呼ぶ。
- $F^* = F$ となる関数は自己双対関数。
- $\{G(F_1,F_2,F_3)\}^* = G^*(F_1^*,F_2^*,F_3^*)$
- 任意の関数 $F$ について、変数 $w$ を一つ追加した $G = wF + \bar{w}F^*$ は自己双対。

対称関数
任意の変数同士を置換しても変化しない関数。
- 任意の対称関数は基本対称関数の線形結合で表される。
  n変数での対称関数は $2^{n+1}$ 種類、
  ３変数では
  - $\bar{x}\bar{y}\bar{z}$
    $x\bar{y}\bar{z}+\bar{x}y\bar{z} + \bar{x}\bar{y}z$
    $\bar{x}yz+x\bar{y}z + xy\bar{z}$
    $xyz$
    の四種類。

ブール代数方程式
- $F(x,a,b,c,\cdots)=1$ の解 $x$ は？
  ブール展開して、 $xF(1,a,b,c,\cdots) + \bar{x}F(0,a,b,c,\cdots) = xF_1 + \bar{x}F_0 = 1$
  $F_1 = F_0 = 0$ のとき、解なし。
  $F_1 = 0 \wedge F_0 = 1$ のとき、 $x=0$
  $F_1 = 1 \wedge F_0 = 0$ のとき、 $x=1$
  $F_1 = 1 \wedge F_0 = 1$ のとき、 $x$ は任意。
  解の存在条件は、 $F_1 + F_0 = 1$ と書ける。
- 『任意』を $J$ で表すと、解 $x = X(F_1,F_0)$ は、
  $X(0,0) = \bot$
  $X(1,0) = 1$
  $X(0,1) = 0$
  $X(1,1) = J$
  $x = \bar{F_1}\bar{F_0}X(0,0) + F_1 \bar{F_0}X(1,0) + \bar{F_1}F_0 X(0,1) + F_1 F_0 X(1,1)$
  $x = \bar{F_1}\bar{F_0}\bot + F_1 \bar{F_0} + F_1 F_0 J$ であり、
  解が存在するなら、 $x = F_1 \bar{F_0} + F_1 F_0 J = \bar{F_0} + F_1 F_0 J$ と書ける。

論理合成
- 真理値表がベース。まず標準形で書いてから最適化する。
- Karnaugh図を用いる。
  真理値表を並び替え、Hamming距離が１になる値が隣り合うようにすると、
  積和標準形での各項が図の上で近くに固まり、項を視覚的に表現できる。 $f = xy + \bar{x}z + yz = xy + \bar{x}z$
  - Hamming距離：異なるビットの数を距離と見たもの。

Quine-Mcluskeyの方法
- 積和形論理式の主項を生成する。
  主項とは、項に積として含まれる部分のうち、
  どれを落としても全体の論理式を満たせないもの。
  カルノー図上では、それ以上広げられない塊。
  最も単純な表現の論理式は、主項だけからなる。
  最も大きな主項が含まれるとは限らない。
- 最小項を全て列挙し、各ハミング距離1の組について、
  その項がまとめられるかどうかをチェックし、まとめられる組は全て生成する。
  まとめることができた項を除き、再び各ハミング距離1の組について同じようにまとめる。
  これをまとめるべき項がなくなるまで繰り返せば、主項を全て得られる。
- 主項からいくつかを選んで、最小項全てを覆うようにすれば、
  それが最も項の少ない積和形論理式の表現になっている。

３段NAND形式
- 否定の入った積和形式はNAND素子三段で実装できる。
  否定回路には、本来２入力のNAND素子に定入力を与えてしまっている。
  最初からNANDのみを使って回路を作れば、段数を稼ぐことができる。

２線論理
- １線式の通常の論理回路では、論理変化を追うことはできない。
  出力が計算結果なのか遅延の影響なのかがわからない。
  値とその否定をペアにして、２線を同時に扱うと、
  クロックを使わずに回路をつくれ、回路は単調増加回路になる。
  配線の量は倍になるが、否定は線の入れ替えだけで作れるので、
  素子の数は倍にはならない。

順序回路
内部状態を持った回路。順序回路。有限状態機会。
入力X，出力Zの他に内部状態Qをもっていて、遷移関数で特徴づけられる。
Mealyモデル： $\delta:X \times Q \to Q, \omega: X \times Q \to Z$
Mooreモデル： $\delta:X \times Q \to Q, \omega: Q \to Z$ 出力が状態のみに依存。出力は遷移後。
二つの状態が、任意の入力に対して同じ出力を返し同じ状態に移動するなら、同じ状態。
- 順序回路は状態遷移図・状態遷移表で表現される。
- 順序回路の実装には、出力用の組み合わせ回路，状態遷移用の組み合わせ回路，記憶素子を使う。

計算システム論第一 のバックアップ(No.7)

計算システム論第一 †

内容 †

計算システム論第一のバックアップ(No.7)