https://mp.weixin.qq.com/s/XrBh9Kapj01HdvBi5MkbgA   介绍布尔代数最小项与最大项相关概念,以及Term类的实现.     参考链接: https://baike.baidu.com/item/卡诺图 https://en.wikipedia.org/wiki/Implicant https://en.wikipedia.org/wiki/Canonical_normal_form     1. 几个定义   ​​   2. Term   ​​  …

https://mp.weixin.qq.com/s/0D_NaeBEZX5LBQRdCz2seQ     介绍解码单个信号逻辑的实现.    1. 单个信号   每个指令对应了一组信号,每个信号对应了一个解码逻辑.   如BNE指令对应的信号如下: ​​   各个信号的含义如下: ​​   每个信号都是一个BitPat,位宽不定,并非只有一位: ​​   事实上是每个信号的每一位对应了一个解码逻辑,每一次只解出一位.   2. generator   生成解码逻辑的代码(generator)定…

https://mp.weixin.qq.com/s/pMsK_E4mQrm3QXdnp7nDPQ   讨论指令解码部分遗留的几个问题.     1. 最小项与蕴含项之间的关系   参考链接: https://en.wikipedia.org/wiki/Implicant   按其中的描述: ​​   An implicant covers one or more minterms in a sum of products of a Boolean function. 即一个蕴含项覆盖布尔函数的…

https://mp.weixin.qq.com/s/4uWqBRrMVG6FlnBKmw8U-w   介绍SimplifyDC如何简化解码逻辑.     1. 使用   ​​   简化从mint和maxt中查找的逻辑.   其方法签名如下: ​​ 其中: a. minTerms: 使结果为1的蕴含项: b. maxTerms:使结果为0的蕴含项: c. bits:最小项中变量的个数:     2. 主要过程   ​​ 主要过程与Simplify基本一致: 1) 从minTerms和maxTer…

https://mp.weixin.qq.com/s/YWXYNaRU-DbLOMxpzF2bpQ   介绍Simplify如何简化解码逻辑.     1. 使用   Simplify在DecodeLogic中使用,如下: ​​   简化从t和dc项中查找的逻辑.   其方法签名如下: ​​ 其中: a. minTerms: 卡诺图中的最小项: b. dcTerms:卡诺图中的无关项: c. bits:最小项中变量的个数:   2. 主要过程   Simplify定义如下: ​​   主要步骤如…

https://mp.weixin.qq.com/s/CbBWdTlc_DESlUzd8KFcSg   介绍Term类各方法的实现.     ​​   1. prime   表示一个项是否是质项,即这个项是否被其他项包含.如项AB包含项ABC.   2. covers   ​​   this covers x,即项this包含项x,包含两点: a. 项this包含的变量比项x少:x.mask &~ mask b. 项this包含的变量的值与项x相同:(value ^ x.value) &~…

https://mp.weixin.qq.com/s/WvepB3yAzjMbQalO3Z82pQ   介绍RocketChip Instruction解码逻辑的实现.   1. RISC-V   RocketChip实现了RISCV ISA:   ​​   作为RISC-V的官方实现,实现的规范版本比较新,使用的编码技术也比较激进.     2. decode_table   在RocketImpl类中,定义了decode_table解码表: ​​   里面定义了每个指令的key与译码结果(包…

Redis 内置的数据类型有 5种:字符串String.哈希Hash.列表List.集合Set.有序集合ZSet 字符串类型 String 是 Redis 中最基本的类型,一个 key 对应着一个 value,String 类型是二进制安全的,即其值可以存储任何的类型,如图片或者序列化后的对象,其一个键最大可以存储 512MB 的数据. 字符串类型的操作 赋值操作 Set key value [EX seconds] [PX milseconds] [NX|XX] 设置指定键的值,若不存在指定的…

var arr = [3,12,23,18,25,33,22,30,1] 方案一: 思想 首先对数组进行排序(小 >大),第一项为最小值,最后一项为最大值 var min; var max; arr.soft(function(a,b){return a-b;}) min = arr[0]; max = arr[arr.length-1]; 方案二: 思想 采用Math对象里的min()方法和 max()方法,需要将比较的数一个一个的传递进来才能比较,但是可以通过以下方式转化即可: var mi…

浅析InnoDB引擎的索引和索引原理 什么是InnoDB的索引 InnoDB的索引就是一颗B+树.页是InnoDB引擎在内存和磁盘之间交换数据的基本单位,页的大小一般是16KB,页的大小可以在启动MySQL服务的时候通过更改innodb_page_size参数来设置.而InnoDB索引的节点就是页. B+树的叶节点上的页是数据页,用于存放用户存入数据库中的一条一条的记录,而非叶子节点上的页是索引页,存放索引记录.一个节点存一个页,所以又有"索引就是数据,数据就是索引"之说.B+树同一层…