Verilog 主要用于数字电路设计的描述,但不是所有的描述方式都可以被综合成实际的硬件电路。例如一些用于仿真验证的关键字,属于仿真验证语言,只能在仿真时使用,不能被综合成电路,如系统任务 $dsiplay, initial 语句等。所以使用 Verilog 设计数字电路时,一定要注意电路的可综合性。testbench 可以随心所欲,只要能构造出需要的仿真激励条件即可。
所有综合工具都支持的结构
| 结构类型 | 关键字 | 描述 |
|---|---|---|
| 端口信号 | inout,input,output | 端口信号只有 3 种 |
| 参数 | parameter, localparam | --- |
| 信号变量 | wire, reg, tri, integer | --- |
| 模块 | module | --- |
| 门级原语 | and,nand,or,nor,xor,xnor,buf,not,bufif0,bufif1,notif0,notif1,supply0,supply1 | 直接调用例化即可 |
| 例化 | --- | 支持模块例化、门级原语例化等 |
| 函数与任务 | function, task | 支持不含时序结构的表述 |
| 连续赋值 | assign | 不支持带有延迟的表述 |
| 过程赋值 | always, begin, end | 可设计时序逻辑或组合逻辑 |
| 条件语句 | if, case, default | 条件中不能包含"z"或"x"的比较 |
| 循环语句 | for, while, forever | while, forever 必须包含 @(posedge clk) 或 @(negedge clk), 避免组合逻辑回路 |
| 边沿触发 | negedge,posedge | --- |
| 操作符 | --- | 支持除 "===" 与 "!==" 以外的所有操作符 |
所有综合工具都不支持的结构
| 结构类型 | 关键字 | 描述 |
|---|---|---|
| 变量类型 | time | 仿真时使用的时间型变量 |
| 系统任务 | --- | 大多数系统任务都是辅助仿真,不能综合为实际电路 例如 $display, $fopen, $finish 等。 |
| 过程结构 | initial | initial 常用作仿真时信号赋初值操作 或控制激励信号的时序 |
| 并行语句 | fork, join | 常用作仿真时并行结构的描述 always @(posedge clk) 描述的并行结构可综合 |
| 延迟语句 | # | 所有带延迟标志"#"的表述均不可综合 但仿真时电路中会有延时,综合时也不会报错 |
| 电平敏感触发 | wait | 多用于仿真中信号的检测启动 |
| 强制赋值和释放 | force, release | 多用于仿真中阻断其他驱动源,对信号进行强制赋值 |
综合工具可能支持的结构
| 结构类型 | 关键字 | 描述 |
|---|---|---|
| x/z 条件语句 | casex, casez | 有些综合工具能识别该语句中的非"x/z"比较逻辑 |
| 不同强度的线网 | wand,triand,wor,trior | 当信号有多个驱动源时需要使用 但现在数字设计基本摒弃了这些变量类型 |
| 实数变量 | real | 往往用于仿真时的精确计算 |
| 过程终止 | disable | 终止过程块执行,大多数综合工具不支持该命令 |
| 循环语句 | repeat, while, forever | repeat 常用作仿真中语句循环执行固定次数 while, forever 循环次数为常量时也可能可综合 |
| 用户自定义原语 | UDP | 其实目前大多数综合工具都支持 UDP 只是某些古老的综合工具不会识别 |
| 过程连续赋值 | assign, deassign | 工具大多不支持该操作下 reg 数据类型的综合 支持该操作下 wire 数据类型的综合 |
使用 Verilog 进行数字设计时,需要遵循以下原则:可综合的结构可大胆使用,不可综合的结构仿真中使用,有些综合工具支持有些不支持的结构尽量不使用。
除非某些特殊设计,例如 clkgate, 时钟切换等电路等,否则设计中不要编写潜在的会被综合成 Latch 的逻辑。详见《Verilog 教程》章节《6.5 Verilog 避免 Latch》。
变量声明时不要学 C 语言格式对寄存器变量进行赋初值操作。仿真时变量会有设置的初值,综合后寄存器初值是不确定的。如果信号初值会影响逻辑功能,则仿真过程可能会因验证不充分而错过查找出逻辑错误的机会。
所有内部寄存器都应该使用复位进行赋初值操作,以确保系统复位时各寄存器都有稳定的状态。因为没有复位端,综合后电路中寄存器的初始值不能确定,可能会导致功能错误。
组合逻辑使用阻塞赋值,时序逻辑使用非阻塞赋值。组合逻辑一般使用连续赋值语句 assign 描述,always 描述的电路也能被综合成组合逻辑,例如"与逻辑"可以描述如下:
reg F ; //注意一定要是 reg 型变量
always @(*) begin
F = A & B ;
end
always 语句中被赋值的信号一定要声明为 reg 型,在组合逻辑中该 reg 变量会被综合成线网,在时序逻辑中该 reg 变量会被综合成触发器。
同一个变量不能受多个时钟(或 always 块)控制,也不能受时钟的双边沿控制。此类描述也是不可综合的。
避免设计中出现 X 或 Z 值,因为综合工具只能识别 0 或 1 的逻辑值。
我有一个模型:classItem项目有一个属性“商店”基于存储的值,我希望Item对象对特定方法具有不同的行为。Rails中是否有针对此的通用设计模式?如果方法中没有大的if-else语句,这是如何干净利落地完成的? 最佳答案 通常通过Single-TableInheritance. 关于ruby-on-rails-Rails-子类化模型的设计模式是什么?,我们在StackOverflow上找到一个类似的问题: https://stackoverflow.co
我将应用程序升级到Rails4,一切正常。我可以登录并转到我的编辑页面。也更新了观点。使用标准View时,用户会更新。但是当我添加例如字段:name时,它不会在表单中更新。使用devise3.1.1和gem'protected_attributes'我需要在设备或数据库上运行某种更新命令吗?我也搜索过这个地方,找到了许多不同的解决方案,但没有一个会更新我的用户字段。我没有添加任何自定义字段。 最佳答案 如果您想允许额外的参数,您可以在ApplicationController中使用beforefilter,因为Rails4将参数
目录前言滤波电路科普主要分类实际情况单位的概念常用评价参数函数型滤波器简单分析滤波电路构成低通滤波器RC低通滤波器RL低通滤波器高通滤波器RC高通滤波器RL高通滤波器部分摘自《LC滤波器设计与制作》,侵权删。前言最近需要学习放大电路和滤波电路,但是由于只在之前做音乐频谱分析仪的时候简单了解过一点点运放,所以也是相当从零开始学习了。滤波电路科普主要分类滤波器:主要是从不同频率的成分中提取出特定频率的信号。有源滤波器:由RC元件与运算放大器组成的滤波器。可滤除某一次或多次谐波,最普通易于采用的无源滤波器结构是将电感与电容串联,可对主要次谐波(3、5、7)构成低阻抗旁路。无源滤波器:无源滤波器,又称
项目介绍随着我国经济迅速发展,人们对手机的需求越来越大,各种手机软件也都在被广泛应用,但是对于手机进行数据信息管理,对于手机的各种软件也是备受用户的喜爱小学生兴趣延时班预约小程序的设计与开发被用户普遍使用,为方便用户能够可以随时进行小学生兴趣延时班预约小程序的设计与开发的数据信息管理,特开发了小程序的设计与开发的管理系统。小学生兴趣延时班预约小程序的设计与开发的开发利用现有的成熟技术参考,以源代码为模板,分析功能调整与小学生兴趣延时班预约小程序的设计与开发的实际需求相结合,讨论了小学生兴趣延时班预约小程序的设计与开发的使用。开发环境开发说明:前端使用微信微信小程序开发工具:后端使用ssm:VU
我在我的项目中有一个用户和一个管理员角色。我使用Devise创建了身份验证。在我的管理员角色中,我没有任何确认。在我的用户模型中,我有以下内容:devise:database_authenticatable,:confirmable,:recoverable,:rememberable,:trackable,:validatable,:timeoutable,:registerable#Setupaccessible(orprotected)attributesforyourmodelattr_accessible:email,:username,:prename,:surname,:
我正在尝试创建密码规则来设计可恢复的密码更改。我通过passwords_controller.rb做了一个父类(superclass),但我需要在应用规则之前检查用户角色,但我所拥有的只是reset_password_token。 最佳答案 假设您的模型是用户:User.with_reset_password_token(your_token_here)Source 关于ruby-on-rails-设计通过reset_password_token获取用户,我们在StackOverflow
我已经使用Apartment设置了一个Rails5应用程序(1.2.0)和Devise(4.2.0)。由于某些DDNS问题,应用只能在app.myapp.com下访问(请注意子域app)。myapp.com重定向到app.myapp.com。我的用例是每个注册该应用的用户(租户)都应该通过他们的子域(例如tenant.myapp.com)访问他们的特定数据。用户不应限定在其子域内。基本上应该可以从任何子域登录。重定向到租户的正确子域由ApplicationController处理。根据Devise标准,登录页面位于app.myapp.com/users/sign_in。这就是问题开始的
我在关注RyanbatesRailsCast的devise和omniauth(第235集-devise-and-omniauth-revised)。当我尝试使用Twitter登录时,标题中不断出现错误。defself.new_with_session(params,session)ifsession["devise.user_attributes"]new(session["devise.user_attributes"],without_protection:true)do|user|user.attributes=paramsuser.valid?end完整跟踪:C:/Ruby20
目录一、inout在设计文件中的使用方法1.1、inout的第一种使用方法1.2、inout实现的第二种使用方法1.3、inout使用总结 二、inout在仿真测试中的使用方法一、inout在设计文件中的使用方法在FPGA的设计过程中,有时候会遇到双向信号(既能作为输出,也能作为输入的信号叫双向信号)。比如,IIC总线中的SDA信号就是一个双向信号,QSPIFlash的四线操作的时候四根信号线均为双向信号。在Verilog中用关键字inout定义双向信号,这里总结一下双向信号的处理方法。1.1、inout的第一种使用方法 实际上,双向信号的本质是由一个三态门组成的,三态门可以输出高电平,低电
我为Devise用户和管理员提供了不同的模型。我也在使用Basecamp风格的子域。除了我需要能够以用户或管理员身份进行身份验证的一些Controller和操作外,一切都运行良好。目前我有authenticate_user!在我的application_controller.rb中设置,对于那些只有管理员才能访问的Controller和操作,我使用skip_before_filter跳过它。不幸的是,我不能简单地指定每个Controller的身份验证要求,因为我仍然需要一些Controller和操作才能被用户或管理员访问。我尝试了一些方法都无济于事。看来,如果我移动authentica