Slide 1

Slide 1 text

デジタルCMOS論理 ことはじめ デジタルCMOS論理 ことはじめ 2024/04/26 エンジニア集会LT会 #5 「○○完全に理解した」 Mizar/みざー 1

Slide 2

Slide 2 text

注1: 必ずしも最適な回路を紹介する訳ではありません AND/OR/NOTゲートで作る回路とは一風変わったCMOSの世界をお楽しみください。 注2: 書いてある事の全部は説明しません 論理の腕力に自信のある方は後で見返して完全理解を目指してみてください。 必ずしも、このLTの時間内での完全理解を目指す必要はありません。 注3: この分野は素人です 素人ながらに、私が分かったつもりになれた要素をふんだんに詰め込みました。 「これはちょっと…」という所を見つけたら是非教えて下さい。 (敢えてミスリードを招くような書き方をしている部分だったりしたらごめんなさい) デジタルCMOS論理 ことはじめ 2024/04/26 エンジニア集会LT会 #5 「○○完全に理解した」 Mizar/みざー 2

Slide 3

Slide 3 text

結合法則 交換法則 吸収法則 分配法則 可補束 等冪性 有界性 と は相補的 ド・モルガンの法則 対合 論理演算の法則 NOT(否定) AND(論理積) OR(論理和) NAND(否定論理積) NOR(否定論理和) XOR(排他的論理和) XNOR(否定排他的論理和) 回路図を論理式にして、右表 のような性質を用いて式変形 を行うと、理解が深まる場面 もあります。興味のある人は 本日紹介する回路に対する論 理式の検証に挑戦してみてく ださい。 デジタルCMOS論理 ことはじめ 2024/04/26 エンジニア集会LT会 #5 「○○完全に理解した」 Mizar/みざー 3

Slide 4

Slide 4 text

Turing Complete (Steamゲーム)、遊んだ人いますか? https://store.steampowered.com/app/1444480/Turing_Complete/ デジタルCMOS論理 ことはじめ 2024/04/26 エンジニア集会LT会 #5 「○○完全に理解した」 Mizar/みざー 4

Slide 5

Slide 5 text

論理回路の問題、余裕で解ける人? デジタルCMOS論理 ことはじめ 基本情報技術者平成29年秋期午前問23 図に示すデジタル回路と等価な論理式はどれか。ここで,論理式中の " " は論理 積, " " は論理和, " " は の否定を表す。 ア  イ  ウ  エ  正解: ウ “ “ 2024/04/26 エンジニア集会LT会 #5 「○○完全に理解した」 Mizar/みざー 5

Slide 6

Slide 6 text

今回ちょっと顔を出すゲーム Hard Chip : https://store.steampowered.com/app/2844290/Hard_Chip/ MOSFETを組み合わせて、プロセッサの機能を段階を追って組み上げていくゲームです。 (現在クローズドテスト版でプレイしています) デジタルCMOS論理 ことはじめ 2024/04/26 エンジニア集会LT会 #5 「○○完全に理解した」 Mizar/みざー 6

Slide 7

Slide 7 text

MOSFET って? (1) MOSFET (Metal-Oxide- Semiconductor Field-Effect Transistor; 金属-酸化膜-半導体 電界効 果トランジスタ) 右上図: プレーナ型MOSFETの断面模式 図・回路図記号の例(略式) 右下図: ゲーム上でのMOSFETの姿 ゲーム画面では、それぞれのMOSFET の上に乗るゲートの中央が、門(ゲート) のような形状になっています。 デジタルCMOS論理 ことはじめ 2024/04/26 エンジニア集会LT会 #5 「○○完全に理 7

Slide 8

Slide 8 text

MOSFET って? (2) チャネルを開いて、ソースからドレイ ンに信号を流せるようにするには、 pMOS の場合、ゲートの電位を「0」に します。(左下) nMOS の場合、ゲートの電位を「1」に します。(右下) デジタルCMOS論理 ことはじめ 2024/04/26 エンジニア集会LT会 #5 「○○完全に理 8

Slide 9

Slide 9 text

MOSFET って? (3) ただし、ソース からドレインに 流せる信号には 得意・不得意が あります。 pMOSは「1」 の信号が得意で す。 nMOSは「0」 の信号が得意です。 ゲームでは、不得意な信号をソースか らドレインに流すことはできません。 デジタルCMOS論理 ことはじめ 2024/04/26 エンジニア集会LT会 #5 「○○完全に理 9

Slide 10

Slide 10 text

Inverter(NOT) 入力の信号をそれぞれのゲートに接続、pMOSの ソースに「1」、nMOSのソースに「0」、ドレイ ン同士を配線でつなぐと、入力を反転して出力す る Inverter(NOT)回路 を作ることができます。 デジタルCMOS論理 ことはじめ 2024/04/26 エンジニア集会LT会 #5 「○○完全に理解した」 10

Slide 11

Slide 11 text

CMOS pMOSで「1」を出力する回路を nMOSで「0」を出力する回路を それぞれ作り、組み合わせて出力する方式を、 CMOS (Complementary MOS; 相補型MOS) と呼びます。(1980年代頃~主流の技術) 次は、2つの信号を入力した場合の論理回路を、 Inverter(NOT) を拡張して作ってみます。 デジタルCMOS論理 ことはじめ 2024/04/26 エンジニア集会LT会 #5 「○○完全に理解した」 11

Slide 12

Slide 12 text

pMOSを並列・nMOSを直列に デジタルCMOS論理 ことはじめ 2024/04/26 エンジニア集会LT会 #5 「○○完全に理解した」 12

Slide 13

Slide 13 text

デジタルCMOS論理 ことはじめ 2024/04/26 エンジニア集会LT会 #5 「○○完全に理解した」 Mizar/みざー 13

Slide 14

Slide 14 text

デジタルCMOS論理 ことはじめ 2024/04/26 エンジニア集会LT会 #5 「○○完全に理解した」 Mizar/みざー 14

Slide 15

Slide 15 text

pMOSを直列・nMOSを並列に デジタルCMOS論理 ことはじめ 2024/04/26 エンジニア集会LT会 #5 「○○完全に理解した」 15

Slide 16

Slide 16 text

デジタルCMOS論理 ことはじめ 2024/04/26 エンジニア集会LT会 #5 「○○完全に理解した」 Mizar/みざー 16

Slide 17

Slide 17 text

デジタルCMOS論理 ことはじめ 2024/04/26 エンジニア集会LT会 #5 「○○完全に理解した」 Mizar/みざー 17

Slide 18

Slide 18 text

NOT,NAND,NOR まとめ pMOS Source/Drain間 nMOS Source/Drain間 Gate入力「 」 スイッチON スイッチOFF Gate入力「 」 スイッチOFF スイッチON 得意な信号 「 」の信号を 流すのが得意 「 」の信号を 流すのが得意 pMOS側: 入力信号を反転した論理を 直列(論理積・AND)/並列(論理和・OR) に組み合わ せる論理式で、主に「 」の信号を出力するための論理を作る nMOS側: 入力信号の論理を 直列(論理積・AND)/並列(論理和・OR) に組み合わせてから 出力を反転する論理式で、主に「 」の信号を出力するための論理を作る デジタルCMOS論理 ことはじめ 2024/04/26 エンジニア集会LT会 #5 「○○完全に理解した」 Mizar/みざー 18

Slide 19

Slide 19 text

さらに Inverter(NOT) と組み合わせる デジタルCMOS論理 ことはじめ 2024/04/26 エンジニア集会LT会 #5 「○○完全に理解した」 Mizar/みざー 19

Slide 20

Slide 20 text

複合ゲート AOI21/OAI21 デジタルCMOS論理 ことはじめ 2024/04/26 エンジニア集会LT会 #5 「○○完全に理解した」 Mizar/みざー 20

Slide 21

Slide 21 text

複合ゲート AOI22/OAI22 デジタルCMOS論理 ことはじめ 2024/04/26 エンジニア集会LT会 #5 「○○完全に理解した」 Mizar/みざー 21

Slide 22

Slide 22 text

AOI/OAI の使われ方 論理合成を最適化する過程でよく用い られるようです。右図の例の場合、 AOI22 の使用頻度が 17.6% とかなり高 い事が分かります。 Poly pitch and standard cell co-optimization below 28nm, Marlin Frederick Jr. ARM INC, Conference: 2014 IEEE International Electron Devices Meeting (IEDM), http://dx.doi.org/10.1109/IEDM.2014.7047041 デジタルCMOS論理 ことはじめ 図4:サブ28nmにおける典型的な トポロジー分布のヒストグラム。 達成可能な最大周波数で実装され たCortex-A9のサンプル。 “ “ 2024/04/26 エンジニア集会LT会 #5 「○○完全に理 22

Slide 23

Slide 23 text

XOR eXclusive OR / XNOR eXclusive NOR 排他的論理和 XOR は、入力に含まれる の 個数が 偶数 なら出力 、 奇数 なら出力 とい う演算で、否定排他的論 理和 XNOR はその逆 です。 XORゲートは、NANDゲート4個を使って実装す る方法(NAND1個あたりトランジスタ4個とする と、計16個)も有名ですが、CMOSレベルで見る と、より少ないトランジスタで実装する方法も存 在します。 デジタルCMOS論理 ことはじめ 2024/04/26 エンジニア集会LT会 #5 「○○完全に理解した」 23

Slide 24

Slide 24 text

XOR: NOR+AOI21, XNOR: NAND+OAI21 デジタルCMOS論理 ことはじめ 2024/04/26 エンジニア集会LT会 #5 「○○完全に理解した」 Mizar/みざー 24

Slide 25

Slide 25 text

3入力多数決回路 MAJ3 3入力多数決回路 (3-input Majority Circuit; MAJ3) は、3入力のうち2つ 以上が であれば を出力し、3入力のうち2つ以上が であれば を出 力する回路です。 また、この回路は入力を出力の両方を反転す ると等価になる性質があります。 2入力NANDを3つと、3入力NANDを1つで作 ることも出来ますが(単純に2入力NANDと3 入力NANDで組むと18トランジスタ)、これ もCMOSで構成するとどういう構成があるか を紹介します。 デジタルCMOS論理 ことはじめ 2024/04/26 エンジニア集会LT会 #5 「○○完全に理解した」 Mizar/みざー 25

Slide 26

Slide 26 text

デジタルCMOS論理 ことはじめ 2024/04/26 エンジニア集会LT会 #5 「○○完全に理解した」 Mizar/みざー 26

Slide 27

Slide 27 text

全加算器 FullAdder 3入力 のうち、 ( : 桁上り入力,出力) が0個: が1個: が2個: が3個: をそれぞれ出力する回路です。桁上り (Carry) の入出力は、複数 桁の2進数を足し算する時などに使われます。 また、この回路も入力と出力の両方を反転すると等価になる性質があります。 先の多数決回路と同様、3入力のうち2つ以上が であれば を出力しますが…? デジタルCMOS論理 ことはじめ 2024/04/26 エンジニア集会LT会 #5 「○○完全に理解した」 Mizar/みざー 27

Slide 28

Slide 28 text

デジタルCMOS論理 ことはじめ 2024/04/26 エンジニア集会LT会 #5 「○○完全に理解した」 Mizar/みざー 28

Slide 29

Slide 29 text

デジタルCMOS論理 ことはじめ 2024/04/26 エンジニア集会LT会 #5 「○○完全に理解した」 Mizar/みざー 29

Slide 30

Slide 30 text

to be continued... CMOSの黒魔術 PTL とは? AND / OR を 6MOS → 5MOS で作ってみよう XOR を 10MOS → 6MOS で作ってみよう FullAdder (全加算器) を 28MOS → 18MOS or 16MOS で作ってみよう トランジスタの数だけが全てじゃない? トランジスタ幅 と 駆動能力 pMOS と nMOS の駆動能力の違い 並列・直列接続した時の駆動能力 トランジスタや配線に潜む寄生容量と寄生抵抗 デジタルCMOS論理 ことはじめ 2024/04/26 エンジニア集会LT会 #5 「○○完全に理解した」 Mizar/みざー 30

Slide 31

Slide 31 text

デジタルCMOS論理 ことはじめ 2024/04/26 エンジニア集会LT会 #5 「○○完全に理解した」 Mizar/みざー 31

Slide 32

Slide 32 text

デジタルCMOS論理 ことはじめ 2024/04/26 エンジニア集会LT会 #5 「○○完全に理解した」 Mizar/みざー 32

Slide 33

Slide 33 text

デジタルCMOS論理 ことはじめ 2024/04/26 エンジニア集会LT会 #5 「○○完全に理解した」 Mizar/みざー 33

Slide 34

Slide 34 text

デジタルCMOS論理 ことはじめ 2024/04/26 エンジニア集会LT会 #5 「○○完全に理解した」 Mizar/みざー 34

Slide 35

Slide 35 text

デジタルCMOS論理 ことはじめ 2024/04/26 エンジニア集会LT会 #5 「○○完全に理解した」 Mizar/みざー 35

Slide 36

Slide 36 text

CS集会 (VRChat) 隔週火曜日 21時~22時頃 Group+インスタンスで開催 (22時頃からはスライドTalkがあります) Twitter/X : https://x.com/vrc_cpu_science/ VRC Group : https://vrc.group/CSG.5184 Discord : https://discord.gg/ZCnUCmncDK YouTube : https://www.youtube.com/@vrc_csg (右はやや古いポスター) デジタルCMOS論理 ことはじめ 2024/04/26 エンジニア集会LT会 #5 「○○完全に理 36