文章目录
在数字设计、验证中经常接触的到断言，比如，验证中覆盖率收集就包含：代码覆盖率、功能覆盖率和断言覆盖率。最近正好在学习相关内容，整理笔记仅供参考。
断言作为语言本身的组成部分，在功能模拟中不断监视，从而得知设计功能是否正确。可以认为是个“观测员”，可以观测程序的状态，但不会改变代码本身。SystemVerilog中的断言还可以用来提供功能覆盖。
相比硬件设计语言Verilog、SV，SVA是一种描述性语言，可以完美的描述时序相关的状况，语言的描述性本质提供了对时间卓越的控制，且语言容易维护，并且提供了内嵌函数，和构造函数自动收集功能覆盖率。
断言assertion被放在设计中，方便在仿真时查看异常情况。当异常出现时，断言会报警。一般在数字电路设计中都要加入断言，断言占整个设计的比例应不少于30%。
断言大概形式如下，
1.如果一个在模拟中被检查的属性(property)不像我们期望的那样表现，那么这个断言失败。
2.如果一个被禁止在设计中出现的属性在模拟过程中发生，那么这个断言失败。
第一层：布尔表达式，这个和Verilog中没有差别；
第二层：序列(sequence)，其中包含一些新的操作符，如##时隙延迟、重复操作符、序列操作符等，序列是一个封装格式，采用序列封装后可以在不同地方使用，一个序列会被评估为真或者假；
第三层：属性(property)，这是重要的封装方式，其中最重要的特点是属性内部可以定义蕴涵操作符(|->、|=>)；
第四层：断言指示层(assert)，也就是采用assert对特定属性或者序列做行为检查，或者采用cover做统计等；
第五层：封装(module、program、interface)，断言的最后封装，只有通过最后封装成一个单元的断言才可以在不同的地方重用，就如同一个可以例化模块或者类，通常这一层可以通过module或者program、interface来封装。
对应断言的构建过程如下，
断言的操作符包含：##n、##[m:n]、
、
[
∗
n
]
、
[
∗
m
:
n
]
、
[
=
m
]
、
[
=
m
:
n
]
、
∣
−
>
、
∣
=
>
、
a
n
d
、
i
n
t
e
r
s
e
c
t
、
o
r
、
f
i
r
s
t
m
a
t
c
h
、
t
h
r
o
u
g
h
o
u
t
、
w
i
t
h
i
n
、
i
f
；
调
用
函
数
包
含
：
边
沿
检
查
函
数
（
、[*n]、[*m:n]、[=m]、[=m:n]、|->、|=>、and、intersect、or、first_match、throughout、within、if； 调用函数包含：边沿检查函数（
、[∗n]、[∗m:n]、[=m]、[=m:n]、∣−>、∣=>、and、intersect、or、firstmatch、throughout、within、if；调用函数包含：边沿检查函数（rose、
f
e
l
l
、
fell、
fell、stable）、
i
s
u
n
k
n
o
w
n
、
isunknown、
isunknown、past等/
非时序的。
执行时如同过程语句。
它在程序执行到这个程序块时立即执行。
可以在过程块或者函数与方法中调用。
时序性的。
之所以称为并行，是指他们与设计模块一同并行执行。
关键词property用来区分立即断言和并行断言。
并行断言只会在时钟的边沿激活，变量的值是采样到的值。
对于并行断言，其必须要具备时钟，property中可能具有单个时钟，也有可能是包括多个时钟。
断言既可以嵌入到设计中，也可以在设计外部定义。但是嵌入到设计内部，就需要考虑是否可以综合的问题，需要考虑添加编译定向。而在设计外部定义，不需要担心可综合的问题。
采用bind方法可以满足在设计外部定义断言，将断言绑定到设计内部或者接口上面；
bind 可以将包含断言的模块与设计模块或者实例进行绑定，既可以满足对设计信号的可视性，又能满足断言模块的独立性；
使用方法：bind design_block_or_instance_name block_with_assertion
使用绑定的优势：无需修改原有设计代码，也不需要添加监测信号，就可以实现断言的添加。
r1相当于range这个interface 的实例，将DUT的端口或者内部信号与它相连；
但是这个接口与验证环境TB中的interface有所不同之处：
（1）TB中的interface想看DUT内部层次以下的信号，可以访问DUT内部层次的方式，访问内部信号，例如tb.dut.a.b.sig1。但是绑定时的接口是看不到DUT的层次，只能看到DUT的端口和这一层的内部信号，看不到层次以下的信号；
（2）TB中的interface在例化后，其实体是存在于TB下的；而绑定时的接口例化后的实体是放在DUT内部。
给定这段代码defcreate@upgrades=User.update_all(["role=?","upgraded"],:id=>params[:upgrade])redirect_toadmin_upgrades_path,:notice=>"Successfullyupgradeduser."end我如何在该操作中实际验证它们是否已保存或未重定向到适当的页面和消息？ 最佳答案 在Rails3中，update_all不返回任何有意义的信息，除了已更新的记录数(这可能取决于您的DBMS是否返回该信息)。http://ar.ru
我有一个模型:classItem项目有一个属性“商店”基于存储的值，我希望Item对象对特定方法具有不同的行为。Rails中是否有针对此的通用设计模式？如果方法中没有大的if-else语句，这是如何干净利落地完成的？ 最佳答案 通常通过Single-TableInheritance. 关于ruby-on-rails-Rails-子类化模型的设计模式是什么？，我们在StackOverflow上找到一个类似的问题： https://stackoverflow.co
我想安装一个带有一些身份验证的私有(private)Rubygem服务器。我希望能够使用公共(public)Ubuntu服务器托管内部gem。我读到了http://docs.rubygems.org/read/chapter/18.但是那个没有身份验证-如我所见。然后我读到了https://github.com/cwninja/geminabox.但是当我使用基本身份验证(他们在他们的Wiki中有)时，它会提示从我的服务器获取源。所以。如何制作带有身份验证的私有(private)Rubygem服务器？这是不可能的吗？谢谢。编辑:Geminabox问题。我尝试“捆绑”以安装新的gem..
我希望我的UserPrice模型的属性在它们为空或不验证数值时默认为0。这些属性是tax_rate、shipping_cost和price。classCreateUserPrices8,:scale=>2t.decimal:tax_rate,:precision=>8,:scale=>2t.decimal:shipping_cost,:precision=>8,:scale=>2endendend起初，我将所有3列的:default=>0放在表格中，但我不想要这样，因为它已经填充了字段，我想使用占位符。这是我的UserPrice模型:classUserPrice回答before_val
我有一个表单，其中有很多字段取自数组(而不是模型或对象)。我如何验证这些字段的存在？solve_problem_pathdo|f|%>... 最佳答案 创建一个简单的类来包装请求参数并使用ActiveModel::Validations。#definedsomewhere,atthesimplest:require'ostruct'classSolvetrue#youcouldevencheckthesolutionwithavalidatorvalidatedoerrors.add(:base,"WRONG!!!")unlesss
我将应用程序升级到Rails4，一切正常。我可以登录并转到我的编辑页面。也更新了观点。使用标准View时，用户会更新。但是当我添加例如字段:name时，它不会在表单中更新。使用devise3.1.1和gem'protected_attributes'我需要在设备或数据库上运行某种更新命令吗？我也搜索过这个地方，找到了许多不同的解决方案，但没有一个会更新我的用户字段。我没有添加任何自定义字段。 最佳答案 如果您想允许额外的参数，您可以在ApplicationController中使用beforefilter，因为Rails4将参数
我有一些非常大的模型，我必须将它们迁移到最新版本的Rails。这些模型有相当多的验证(User有大约50个验证)。是否可以将所有这些验证移动到另一个文件中？说app/models/validations/user_validations.rb。如果可以，有人可以提供示例吗？ 最佳答案 您可以为此使用关注点:#app/models/validations/user_validations.rbrequire'active_support/concern'moduleUserValidationsextendActiveSupport:
当我的预订模型通过rake任务在状态机上转换时，我试图找出如何跳过对ActiveRecord对象的特定实例的验证。我想在reservation.close时跳过所有验证!叫做。希望调用reservation.close!(:validate=>false)之类的东西。仅供引用，我们正在使用https://github.com/pluginaweek/state_machine用于状态机。这是我的预订模型的示例。classReservation["requested","negotiating","approved"])}state_machine:initial=>'requested
我有一个服务模型/表及其注册表。在表单中，我几乎拥有服务的所有字段，但我想在验证服务对象之前自动设置其中一些值。示例:--服务Controller#创建Action:defcreate@service=Service.new@service_form=ServiceFormObject.new(@service)@service_form.validate(params[:service_form_object])and@service_form.saverespond_with(@service_form,location:admin_services_path)end在验证@ser
这里有一个很好的答案解释了如何在Ruby中下载文件而不将其加载到内存中:https://stackoverflow.com/a/29743394/4852737require'open-uri'download=open('http://example.com/image.png')IO.copy_stream(download,'~/image.png')我如何验证下载文件的IO.copy_stream调用是否真的成功——这意味着下载的文件与我打算下载的文件完全相同，而不是下载一半的损坏文件？documentation说IO.copy_stream返回它复制的字节数，但是当我还没有下
