计算机系统要素：第一章 布尔逻辑

最新推荐文章于 2022-06-15 16:15:10 发布
最新推荐文章于 2022-06-15 16:15:10 发布
阅读量2.5k 收藏 17
点赞数 3
分类专栏： 计算机要素笔记 文章标签： 读书笔记 计算机 二进制
版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。
本文链接：https://blog.csdn.net/baidu_38197452/article/details/75008016
版权

为了让自己未来好复习，从而写下”计算机系统要素：从零开始构建计算机”读书笔记——2017.7.12。

第一章 布尔逻辑

1.布尔代数
布尔代数处理布尔型（也称为二进制型）数值，比较典型的有 true/false、1/0、YES/NO、on/off.
常见的布尔运算：AND、OR、NOT.

本书中有个重要的结论：
AND/or/not算子都可以只用Nand或Nor函数来构建，既然每个布尔函数都能够通过规范化表示法由AND、OR、NOT构成，那么每个布尔函数也能仅使用Nand函数来构成。（一句话：如果实现了Nand门，就可以用Nand门直接构建其他门。）
ps: 规范化:布尔表达式f(x,y)=x+y

xyf(x,y)
000
011
101
111

只关注 输出为1：
则规范化表示为： f(x,y)=x ̅y+xy ̅+xy

2.布尔逻辑的应用
因为计算机硬件基于二进制数据的表示和处理，所以布尔函数在硬件体系结构中结构的描述、构建和优化过程中扮演这十分重要的角色。

3.实际项目
用Nand门构建第一章出现的所有门电路：

有几点：
a.HDL语言
以构建本书Xor为例：

CHIP Xor {

    IN  a, b;
    OUT out;

   // BUILTIN Xor;
PARTS://描述了所有底层电路的名称和拓扑结构
Not(in=a,out=nota);
Not(in=b,out=notb);
And(a=a,b=notb,out=w1);
And(a=nota,b=b,out=w2);
Or(a=w1,b=w2,out=out);

}

需要注意的几点是：
1，HDL语言所涉及的所有关键词都区分大小写，包括上面所出现的CHIP, PARTS和芯片名等等。
2，所有句子后面都需要加分号。
3，IN和OUT声明了该CHIP的输入和输出。
4，在out表达式中，“=”符号是向右赋值的，“out”是输入管教通过运算输出的值比如上面的“Not(in=a,out=nota)” in=a,为输入，经过NOT运算输出到out，out向右赋值到nota;。
5.在调用其他函数时要注意它的调用格式比如Not（in=,out=）

b.硬件仿真软件

硬件仿真环境介绍

开始项目：
1.NOT门

    CHIP Not {
        IN in;
        OUT out;

        PARTS:
        Nand(a=in,b=in,out=out);
    }

2.And门

     CHIP And {
        IN a, b;
        OUT out;

        PARTS:
        Nand(a=a,b=b,out=w1);
        Nand(a=w1,b=w1,out=out);//调用not也可以
    }

3.Or门

 CHIP Or {
        IN a, b;
        OUT out;

        PARTS:
        Nand(a=a,b=a,out=w1);
        Nand(a=b,b=b,out=w2);
        Nand(a=w1,b=w2,out=out);
    }

4.Xor

     CHIP Xor {
        IN a, b;
        OUT out;

        PARTS:
        Not(in=a,out=na);
        Not(in=b,out=nb);
        And(a=a,b=nb,out=w1);
        And(a=na,b=b,out=w2);
        Or(a=w1,b=w2,out=out);
    }

5.mux
* if sel == 0 out = a
* otherwise out =b

 CHIP Mux {
        IN a, b, sel;
        OUT out;

        PARTS:
        Not(in=sel,out=nsel);
        And(a=a,b=nsel,out=w1);
        And(a=b,b=sel,out=w2);
        Or(a=w1,b=w2,out=out);
    }

6.DMUX
* {a,b} = {in,0} if sel == 0
* {0,in} if sel == 1

   CHIP DMux {
        IN in, sel;
        OUT a, b;

        PARTS:
        Not(in=sel,out=nsel);
        And(a=in,b=nsel,out=a);
        And(a=in,b=sel,out=b);
    }

7.NOT16

  CHIP Not16 {
        IN in[16];
        OUT out[16];

        PARTS:
        Not(in=in[0],out=out[0]);
        Not(in=in[1],out=out[1]);
        Not(in=in[2],out=out[2]);
        Not(in=in[3],out=out[3]);
        Not(in=in[4],out=out[4]);
        Not(in=in[5],out=out[5]);
        Not(in=in[6],out=out[6]);
        Not(in=in[7],out=out[7]);
        Not(in=in[8],out=out[8]);
        Not(in=in[9],out=out[9]);
        Not(in=in[10],out=out[10]);
        Not(in=in[11],out=out[11]);
        Not(in=in[12],out=out[12]);
        Not(in=in[13],out=out[13]);
        Not(in=in[14],out=out[14]);
        Not(in=in[15],out=out[15]);
    }

8.AND16 

 CHIP And16 {
        IN a[16], b[16];
        OUT out[16];

        PARTS:
        And(a=a[0],b=b[0],out=out[0]);
        And(a=a[1],b=b[1],out=out[1]);
        And(a=a[2],b=b[2],out=out[2]);
        And(a=a[3],b=b[3],out=out[3]);
        And(a=a[4],b=b[4],out=out[4]);
        And(a=a[5],b=b[5],out=out[5]);
        And(a=a[6],b=b[6],out=out[6]);
        And(a=a[7],b=b[7],out=out[7]);
        And(a=a[8],b=b[8],out=out[8]);
        And(a=a[9],b=b[9],out=out[9]);
        And(a=a[10],b=b[10],out=out[10]);
        And(a=a[11],b=b[11],out=out[11]);
        And(a=a[12],b=b[12],out=out[12]);
        And(a=a[13],b=b[13],out=out[13]);
        And(a=a[14],b=b[14],out=out[14]);
        And(a=a[15],b=b[15],out=out[15]);
    }

9.OR16

       CHIP Or16 {
        IN a[16], b[16];
        OUT out[16];

        PARTS:
        Or(a=a[0],b=b[0],out=out[0]);
        Or(a=a[1],b=b[1],out=out[1]);
        Or(a=a[2],b=b[2],out=out[2]);
        Or(a=a[3],b=b[3],out=out[3]);
        Or(a=a[4],b=b[4],out=out[4]);
        Or(a=a[5],b=b[5],out=out[5]);
        Or(a=a[6],b=b[6],out=out[6]);
        Or(a=a[7],b=b[7],out=out[7]);
        Or(a=a[8],b=b[8],out=out[8]);
        Or(a=a[9],b=b[9],out=out[9]);
        Or(a=a[10],b=b[10],out=out[10]);
        Or(a=a[11],b=b[11],out=out[11]);
        Or(a=a[12],b=b[12],out=out[12]);
        Or(a=a[13],b=b[13],out=out[13]);
        Or(a=a[14],b=b[14],out=out[14]);
        Or(a=a[15],b=b[15],out=out[15]);
    }

10.MUX16

         CHIP Mux16 {
        IN a[16], b[16], sel;
        OUT out[16];

        PARTS:
        Mux(a=a[0],b=b[0],sel=sel,out=out[0]);
        Mux(a=a[1],b=b[1],sel=sel,out=out[1]);
        Mux(a=a[2],b=b[2],sel=sel,out=out[2]);
        Mux(a=a[3],b=b[3],sel=sel,out=out[3]);
        Mux(a=a[4],b=b[4],sel=sel,out=out[4]);
        Mux(a=a[5],b=b[5],sel=sel,out=out[5]);
        Mux(a=a[6],b=b[6],sel=sel,out=out[6]);
        Mux(a=a[7],b=b[7],sel=sel,out=out[7]);
        Mux(a=a[8],b=b[8],sel=sel,out=out[8]);
        Mux(a=a[9],b=b[9],sel=sel,out=out[9]);
        Mux(a=a[10],b=b[10],sel=sel,out=out[10]);
        Mux(a=a[11],b=b[11],sel=sel,out=out[11]);
        Mux(a=a[12],b=b[12],sel=sel,out=out[12]);
        Mux(a=a[13],b=b[13],sel=sel,out=out[13]);
        Mux(a=a[14],b=b[14],sel=sel,out=out[14]);
        Mux(a=a[15],b=b[15],sel=sel,out=out[15]);
    }

11.OR8WAY

  CHIP Or8Way {
        IN in[8];
        OUT out;

        PARTS:
        Or(a=in[0],b=in[1],out=w1);
        Or(a=in[2],b=in[3],out=w2);
        Or(a=in[4],b=in[5],out=w3);
        Or(a=in[6],b=in[7],out=w4);
        Or(a=w1,b=w2,out=w5);
        Or(a=w3,b=w4,out=w6);
        Or(a=w5,b=w6,out=out);
    }

12.MUX4WAY16 

CHIP Mux4Way16 {
        IN a[16], b[16], c[16], d[16], sel[2];
        OUT out[16];

        PARTS:    
        Mux16(a=a,b=b,sel=sel[0],out=w1);
        Mux16(a=c,b=d,sel=sel[0],out=w2);
        Mux16(a=w1,b=w2,sel=sel[1],out=out);
    }

13.MUX8WAY16

 CHIP Mux8Way16 {
        IN a[16], b[16], c[16], d[16],
           e[16], f[16], g[16], h[16],
           sel[3];
        OUT out[16];

        PARTS:
        Mux4Way16(a=a,b=b,c=c,d=d,sel=sel[0..1],out=tp1);
        Mux4Way16(a=e,b=f,c=g,d=h,sel=sel[0..1],out=tp2);
        Mux16(a=tp1,b=tp2,sel=sel[2],out=out);
    }

14.DMUX4WAY

      CHIP DMux4Way {
       IN in, sel[2];
       OUT a, b, c, d;

        PARTS:
        Not(in=sel[0],out=nsel0);
        Not(in=sel[1],out=nsel1);

        And(a=in,b=nsel0,out=a1);
        And(a=a1,b=nsel1,out=a);

        And(a=in,b=sel[0],out=b1);
        And(a=b1,b=nsel1,out=b);

        And(a=in,b=nsel0,out=c1);
        And(a=c1,b=sel[1],out=c);

        And(a=in,b=sel[0],out=d1);
        And(a=d1,b=sel[1],out=d);
    }

15.DMUX8WAY

     CHIP DMux8Way {
        IN in, sel[3];
        OUT a, b, c, d, e, f, g, h;

        PARTS:
        DMux4Way(in=in,sel=sel[0..1],a=a1,b=b1,c=c1,d=d1);
        DMux4Way(in=in,sel=sel[0..1],a=e1,b=f1,c=g1,d=h1);
        Not(in=sel[2],out=nsel2);
        And(a=a1,b=nsel2,out=a);
        And(a=b1,b=nsel2,out=b);
        And(a=c1,b=nsel2,out=c);
        And(a=d1,b=nsel2,out=d);
        And(a=e1,b=sel[2],out=e);
        And(a=f1,b=sel[2],out=f);
        And(a=g1,b=sel[2],out=g);
        And(a=h1,b=sel[2],out=h);
    }
薄发厚积
关注
  • 3
    点赞
  • 踩
  • 17
    收藏
    觉得还不错? 一键收藏
  • 0
    评论
专栏目录
单片机应用系统设计：第3章存储器和布尔处理器.ppt
06-24
单片机应用系统设计：第3章存储器和布尔处理器.ppt
[Verilog学习笔记]①基础知识
RealCoder的博客
05-27 678
目录一、Verilog HDL语言要素1.空白符：2.注释符3.标识符4.转义标识符5.关键字5.数值二、数据类型1.物理数据类型1.1连线型2.1寄存器型2.连线型和reg型数据类型的声明3.抽象数据类型三、运算符和表达式四、模块的基本概念1.模块的基本概念2.端口 一、Verilog HDL语言要素 1.空白符： 空白符包括空格符(\b)、制表符(\t)、换行符和换页符。在编译和综合时，空白符被忽略。 2.注释符 单行注释： // 多行注释: /*开始 */结束 (Verilog HDL由C语
Verilog HDL基础语法
Cherish1ove的博客
09-29 1747
基础语法标识符定义关键词书写规范格式注释数字值集合值集合常量数据类型线网类型寄存器类型运算符和表达式算术运算符关系运算符逻辑运算符按位逻辑运算符条件运算符 标识符 定义 标识符（identifier）用于定义模块名、端口名、信号名等。 标识符可以是：任意一组字母、数字、$符号和_(下划线)符号的组成，但是标识符的第一个字符必须是字母或下划线。 Count COUNT R51213_1 FIVE$ 关键词 定义了一系列保留字，叫做关键词。 保留字都是小写的关键词。 书写规范 尽量用有意义的
Verilog HDL语言基础语法
Li_Lei1的博客
06-15 1017
基础语法
Verilog HDL大小写敏感
yxswhy的博客
03-22 5623
Verilog HDL大小写敏感Verilog HDL大小写敏感
计算机最基础的核心理论——布尔逻辑
seaboat——a free boat on the sea.（公众号：远洋号）
09-20 838
布尔逻辑是计算机最基础的核心理论，为什么这么说呢？因为不管是我们使用的手机电脑或是其它的智能设备都是基于存储芯片和处理芯片，虽然这些芯片的外观和构成都不同，但它们的基本模块却是一样的，都是...
计算机系统要素 第一章
qq_26954059的博客
08-15 378
cdzscsxc
《计算机系统要素》学习笔记：第一章布尔逻辑
yz764127031的博客
01-19 3893
1.工具准备 本书需要的工具和资源下载址：http://www.nand2tetris.org/software.php 工具分为tools和project两个文件夹，打开tools文件夹，打开hardwaresimulator.bat，在project文件夹中，编辑hdl文件，写入代码，保存后在硬件仿真器中load chip,并load script(导入测试脚本)，运行查看结果是否正确。2.
计算机要素--第一章 布尔逻辑
Thincor的博客
01-15 1934
计算机系统要素，从零开始构建现代计算机（nand2tetris） 如果完成了本书所有的项目 你将会获得以下成就 构建出一台计算机（在模拟器上运行） 实现一门语言和相应的语言标准库 实现一个简单的编译器 而且，这本书的门槛非常低，只要你能熟练运用一门编程语言即可。本课程综合了数字电路，计算机组成原理，计算机体系架构，操作系统，编译原理，数据结构等的主要内容，搭建了计算机平台的构建的框架，并未深入...
《计算机系统要素学习》笔记之第1章 布尔逻辑
初级工程师的博客
11-29 345
《计算机系统要素学习》笔记之第1章 布尔逻辑 布尔表达式 xy代表x And y,x+y代表x Or y,~x代表Not x 硬件描述语言(HDL) Hardware Description Language 是一种结构化的硬件语言(hardware construction language) 规范详述 Nand门(Nor)可作为所有门的基础门 - [ ] Nand门(Nor)可作为所有门的...
逻辑计算器：布尔代数运算，逻辑门的设计
最新发布
09-16
逻辑计算器
数字电路与逻辑设计课件：第二章 part2布尔代数.ppt
06-17
数字电路与逻辑设计课件：第二章 part2布尔代数.ppt
布尔逻辑运算符
12-09
布尔逻辑运算符的运算数只能是布尔型。而且逻辑运算的结果也是布尔类型（见表4-5 ）。 表4-5 布尔逻辑运算符及其意义 运算符 含义 & 逻辑与 逻辑或 ^ 异或 短路或 && 短路与 ! 逻辑反 &= 逻辑与赋值（赋值的简写形式...
布尔逻辑
weixin_43333566的博客
02-16 944
上面说过计算机一般是使用十进制进行计数，比如十个齿轮。不过幸运的是只用开/关两种状态也可以代表信息这个也叫作二进制。意思就是使用两种状态来进行表示。如果只需要进行表示true和false，这两个值就够了。电路闭合，电流流过，代表为真。电路断开，无电流流过，代表假。 NOT AND OR NOT ：就是把布尔值进行反转 把true NOT就变成了false 可以根据NOT操作的输入和输出做出来这...
计算机系统要素-从零开始构建现代计算机 项目代码
临江仙的技术文章
09-03 5050
《计算机组成要素-从零开始构建现代计算机》是一本好书，这阵子花业余时间学习，并跟着做了章节后面的项目，收获很大。已经完成了前面9章的项目内容，目前正在进行第10章，编译器的编写。 前面9章的项目，以Nand门为基础，先后构建了各种逻辑门，组合芯片（半加器、全加器、加法器、加一器、ALU），时序芯片（寄存器、存储器、计数器），以及CPU和一个简单的，有屏幕和键盘的计算机Hack
python布尔类型运算_python布尔类型和逻辑运算
weixin_39620278的博客
11-20 155
布尔类型python中True表示真，False表示假，它们是布尔类型：>>> type(True)在python中，bool的True和False是数值1和0的字符串表示格式，实际上bool类型是int类型的一个子类。>>> bool.__bases__(,)因为True/False是数值1和0的另一种表示方式，它们可以直接参与数值运算。>>> True + 23>>> False + 2 - ...
第一章 布尔逻辑
huabuxiu的博客
10-27 1043
引言，各种的数字设备，比如电脑，智能手机，或者网络路由器，都是由一系列芯片组成的，芯片都是由相同的构造模块制作而来的。基本的逻辑门就是就是最基础的，模块。 布尔门（Boolean gate）:就是布尔函数的物理实现。 布尔代数：布尔代数就是处理布尔型二进制数值的代数。 真值表表示法:枚举所有的变量输入的可能情况，然后写出每种情况所对应的函数输出值。 基本算子：与（and）或(or)
《计算机系统要素:从零开始构建现代计算机》pdf
06-20
《计算机系统要素:从零开始构建现代计算机》PDF是一本非常好的计算机科学教科书，适合初学者和进阶学习者。 这本书分为13章，涉及到了计算机系统的各个方面，例如计算机的历史、数字逻辑、处理器架构、存储器系统、...

“相关推荐”对你有帮助么？

  • 非常没帮助
  • 没帮助
  • 一般
  • 有帮助
  • 非常有帮助
提交
评论
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

当前余额3.43元 前往充值 >
需支付：10.00元
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付元
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明：

1.余额是钱包充值的虚拟货币，按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载，可以购买VIP、付费专栏及课程。

余额充值