草庐IT

Verilog 逻辑与(&&)、按位与(&)、逻辑或(||)、按位或(|)、等于(==)、全等(===)的区别

不吃葱的酸菜鱼 2023-10-10 原文

逻辑与（&&）

逻辑与是一个双目运算符，当符号两边为1时输出1，符号两边为0时输出0。

真值表：

&&

0

1

x

z

0

0

0

0

0

1

0

1

x

x

x

0

x

x

x

z

0

x

x

x

两个4bit的数字相与；A=4'b0x1z；B=4'b01xx；C=4'b00xz；求A&&B；A&&C；是什么值？当逻辑与&&操作符两边的数字均含有“1”，则输出1。

那么怎么判断A、B、C为是否含有“1”呢。当A为0的时候，A等于4'b0，即每位都为0，即只需A的4位矢量之间做一下“逻辑或”运算，A[3] || A[2] || A[1] || A[0]，也可写成(|A)；当4位矢量中只需有一位为1，那么A就含有“1”。即哪怕A中具有不定态x或者高阻态z，A = 4'b0x1z在逻辑与的判断下会判定为“1”。

故 A && B = 4'b0x1z && 4'b01xx = 1

C = 4'b00xz，其中没有bit位为1，所以在逻辑与的眼中，C为“0”，进而有：

A && C = 4'b0x1z && 4'b00xz = 0

按位与（&）

按位与有两种使用方式，一种是双目操作，即一个操作符对应两个操作数A&B；另一种是单目操作，即一个操作符对应一个操作数&A。

双目操作

一个4bit的数和一个4bit的数按位与的结果还是一个4bit数，例如A[3:0] & B[3:0] = { A[3] && B[3] , A[2] && B[2], A[1] && B[1], A[0] && B[0] }

假设A = 4'b10xz；B = 4'b0011；C = 4'bz011；

A & B = 4'b00xx；A & C =4'bx0xx；

单目操作

一个4bit的数对自己进行按位与，输出的结果为1bit的数。

假设A = 4'b10xz；B = 4'b0011；

& A = A[3] && A[2] && A[1] && A[0] = 0

& B = 0

因为4bit数A和B中间都有0，所以A、B按位与结果都为0。

若C = 4'b11xz；则 & C = x

逻辑或（||）

逻辑或是一个双目运算符，当符号两边有1时输出1，符号两边全0时输出0。

||

0

1

x

z

0

0

1

x

x

1

1

1

1

1

x

x

1

x

x

z

x

1

x

x

两个4bit的数字相与；A=4'b0x1z；B=4'b01xx；C=4'b00xz；求A&&B；A&&C；是什么值？当逻辑与&&操作符两边的有数字含有“1”，则输出1。

当4位矢量中只需有一位为1，那么A就含有“1”。即哪怕A中具有不定态x或者高阻态z，A = 4'b0x1z在逻辑与的判断下会判定为“1”。

所以A || B = 1；A || C = 1

按位或（|）

同按位与一样，按位或也有两种使用方式，一种是双目操作，即一个操作符对应两个操作数A|B；另一种是单目操作，即一个操作符对应一个操作数|A。

双目操作

一个4bit的数和一个4bit的数按位或的结果还是一个4bit数，例如A[3:0] & B[3:0] = { A[3] || B[3] , A[2] || B[2], A[1] || B[1], A[0] || B[0] }

假设A = 4'b10xz；B = 4'b0011；C = 4'bz011；

A | B = 4'b10xz | 4'b0011 = 4'b1011；

A | C = 4'b10xz | 4'bz011 = 4'b1011；

单目操作

一个4bit的数对自己进行按位或，输出的结果为1bit的数。

假设A = 4'b10xz；B = 4'b0011；

| A = A[3] || A[2] || A[1] || A[0] = 1

| B = 1

因为4bit数A和B中间都有1，所以A、B按位或结果都为1。

若C = 4'b00xz；则 | C = x

相等运算符（==）

参与比较的两个操作数必须逐位相等，其相等比较的结果才为 1, 如果某些位是不定态或高阻值，其相等比较得到的结果是不定值。

相等运算符的比较，只要等式的两端有x或者高阻态z出现，那么结果就是一定是x，譬如：

（4'b1010 == 4'b101x）= x

（4'b101z == 4'b1010）= x

（4'b10x1 == 4'b10x1）= x

（4'b1011 == 4'b1011）= 1

（4'b1010 == 4'b1011）= 0

全等运算符（===）

全等比较是对这些不定态或高阻值的位也进行比较，两个操作数必须完全一致，其结果才是 1，否则结果是 0。

（4'b1010 === 4'b101x）= 0

（4'b101z === 4'b1010）= 0

（4'b101z === 4'b101z）= 1

（4'b101x === 4'b101x）= 1

相等运算符和全等运算符的真值表

==

0

1

x

z

===

0

1

x

z

0

1

0

x

x

0

1

0

0

0

1

0

1

x

x

1

0

1

0

0

x

x

x

x

x

x

0

0

1

0

z

x

x

x

x

z

0

0

0

1

ampVerilogstylealigntext-align数据结构

有关Verilog 逻辑与(&&)、按位与(&)、逻辑或(||)、按位或(|)、等于(==)、全等(===)的区别的更多相关文章

  1. ruby-on-rails - rails : "missing partial" when calling 'render' in RSpec test - 2

    我正在尝试测试是否存在表单。我是Rails新手。我的new.html.erb_spec.rb文件的内容是:require'spec_helper'describe"messages/new.html.erb"doit"shouldrendertheform"dorender'/messages/new.html.erb'reponse.shouldhave_form_putting_to(@message)with_submit_buttonendendView本身，new.html.erb，有代码:当我运行rspec时，它失败了:1)messages/new.html.erbshou

  2. ruby-on-rails - 由于 "wkhtmltopdf"，PDFKIT 显然无法正常工作 - 2

    我在从html页面生成PDF时遇到问题。我正在使用PDFkit。在安装它的过程中，我注意到我需要wkhtmltopdf。所以我也安装了它。我做了PDFkit的文档所说的一切......现在我在尝试加载PDF时遇到了这个错误。这里是错误:commandfailed:"/usr/local/bin/wkhtmltopdf""--margin-right""0.75in""--page-size""Letter""--margin-top""0.75in""--margin-bottom""0.75in""--encoding""UTF-8""--margin-left""0.75in""-

  3. ruby-on-rails - 'compass watch' 是如何工作的/它是如何与 rails 一起使用的 - 2

    我在我的项目目录中完成了compasscreate.和compassinitrails。几个问题:我已将我的.sass文件放在public/stylesheets中。这是放置它们的正确位置吗？当我运行compasswatch时，它不会自动编译这些.sass文件。我必须手动指定文件:compasswatchpublic/stylesheets/myfile.sass等。如何让它自动运行？文件ie.css、print.css和screen.css已放在stylesheets/compiled。如何在编译后不让它们重新出现的情况下删除它们？我自己编译的.sass文件编译成compiled/t

  4. ruby-on-rails - 如何从 format.xml 中删除 <hash></hash> - 2

    我有一个对象has_many应呈现为xml的子对象。这不是问题。我的问题是我创建了一个Hash包含此数据，就像解析器需要它一样。但是rails自动将整个文件包含在.........我需要摆脱type="array"和我该如何处理？我没有在文档中找到任何内容。 最佳答案 我遇到了同样的问题；这是我的XML:我在用这个:entries.to_xml将散列数据转换为XML，但这会将条目的数据包装到中所以我修改了:entries.to_xml(root:"Contacts")但这仍然将转换后的XML包装在“联系人”中，将我的XML代码修改为

  5. ruby - 检查 "command"的输出应该包含 NilClass 的意外崩溃 - 2

    为了将Cucumber用于命令行脚本，我按照提供的说明安装了arubagem。它在我的Gemfile中，我可以验证是否安装了正确的版本并且我已经包含了require'aruba/cucumber'在'features/env.rb'中为了确保它能正常工作，我写了以下场景:@announceScenario:Testingcucumber/arubaGivenablankslateThentheoutputfrom"ls-la"shouldcontain"drw"假设事情应该失败。它确实失败了，但失败的原因是错误的:@announceScenario:Testingcucumber/ar

  6. ruby-on-rails - Rails 3.2.1 中 ActionMailer 中的未定义方法 'default_content_type=' - 2

    我在我的项目中添加了一个系统来重置用户密码并通过电子邮件将密码发送给他，以防他忘记密码。昨天它运行良好(当我实现它时)。当我今天尝试启动服务器时，出现以下错误。=>BootingWEBrick=>Rails3.2.1applicationstartingindevelopmentonhttp://0.0.0.0:3000=>Callwith-dtodetach=>Ctrl-CtoshutdownserverExiting/Users/vinayshenoy/.rvm/gems/ruby-1.9.3-p0/gems/actionmailer-3.2.1/lib/action_mailer

  7. ruby-on-rails - 如何优雅地重启 thin + nginx？ - 2

    我的瘦服务器配置了nginx，我的ROR应用程序正在它们上运行。在我发布代码更新时运行thinrestart会给我的应用程序带来一些停机时间。我试图弄清楚如何优雅地重启正在运行的Thin实例，但找不到好的解决方案。有没有人能做到这一点？ 最佳答案 #Restartjustthethinserverdescribedbythatconfigsudothin-C/etc/thin/mysite.ymlrestartNginx将继续运行并代理请求。如果您将Nginx设置为使用多个上游服务器，例如server{listen80;server

  8. ruby - 在 jRuby 中使用 'fork' 生成进程的替代方案？ - 2

    在MRIRuby中我可以这样做:deftransferinternal_server=self.init_serverpid=forkdointernal_server.runend#Maketheserverprocessrunindependently.Process.detach(pid)internal_client=self.init_client#Dootherstuffwithconnectingtointernal_server...internal_client.post('somedata')ensure#KillserverProcess.kill('KILL',

  9. ruby - 主要 :Object when running build from sublime 的未定义方法 `require_relative' - 2

    我已经从我的命令行中获得了一切，所以我可以运行rubymyfile并且它可以正常工作。但是当我尝试从sublime中运行它时，我得到了undefinedmethod`require_relative'formain:Object有人知道我的sublime设置中缺少什么吗？我正在使用OSX并安装了rvm。 最佳答案 或者，您可以只使用“require”，它应该可以正常工作。我认为“require_relative”仅适用于ruby​​1.9+ 关于ruby-主要:Objectwhenrun

  10. ruby - 无法让 RSpec 工作—— 'require' : cannot load such file - 2

    我花了三天的时间用头撞墙，试图弄清楚为什么简单的“rake”不能通过我的规范文件。如果您遇到这种情况:任何文件夹路径中都不要有空格!。严重地。事实上，从现在开始，您命名的任何内容都没有空格。这是我的控制台输出:(在/Users/*****/Desktop/LearningRuby/learn_ruby)$rake/Users/*******/Desktop/LearningRuby/learn_ruby/00_hello/hello_spec.rb:116:in`require':cannotloadsuchfile--hello(LoadError) 最佳

随机推荐