[导读]下面是一个小的真实verilog代码,具有异步set/reset逻辑(低电平有效)的触发器模型。这个verilog模型可以正确地综合,但在一个cornercase情况下仿真结果不正确。这个cornercase是什么?always_ff@(posedgeclkornegedgers...
下面是一个小的真实verilog 代码,具有异步set/reset逻辑(低电平有效)的触发器模型。这个verilog模型可以正确地综合,但在一个 corner case情况下仿真结果不正确。这个 corner case是什么?always_ff @( posedge clk
or negedge rst_n // active-low reset
or negedge set_n // active-low set
)
if (!rst_n) // reset has priority over set
q_out <= '0; // reset all bits to zero
else if (!set_n)
q_out <= '1; // set all bits to one
else
q_out <= data_in; // d input assignment
这个verilog模型按预期正确地进行综合,然而在某些仿真条件下功能错误。当rst_n变低,它可以正确地异步复位触发器。然后拉低set_n,在rst_n和set_n同时为低的情况下,触发器将正确地保持复位,因为在verilog代码中复位的优先级比置位的优先级高。到目前为止,一切都很好。接下来,rst_n变高,set_n保持低。由于敏感度列表只对rst_n和set_n的负边沿敏感,因此rst_n的拉高不会触发敏感列表。这意味着,当只有set_n为低电平时触发器仍然处于复位状态! 这个问题引入的关键在于,实际的异步置位/复位是电平敏感的,因此当复位信号rst_n被拉高时仍然会正确地发生置位。这就使得仿真和综合后的电路行为mismatch。
为了避免这种麻烦,有两种推荐的编码风格:第一种方法:1)在敏感度列表中新增一个敏感条件。2)使用条件编译(`ifdef/`endif)或综合选项(translate_off/translate_on)对综合工具隐藏。always_ff @( posedge clk
or negedge rst_n // active-low reset
or negedge set_n // active-low set
`ifndef SYNTHESIS // non-synthesizable simulation code
or posedge (rst_n
本站声明: 本文章由作者或相关机构授权发布,目的在于传递更多信息,并不代表本站赞同其观点,本站亦不保证或承诺内容真实性等。需要转载请联系该专栏作者,如若文章内容侵犯您的权益,请及时联系本站删除。
持续引进行业高级人才 上海2022年4月18日 /美通社/ -- 近日,全球领先的自动驾驶智能环卫公司仙途智能autowise.ai 公布2022 Q1营收情况。数据显示,2022年Q1,autowise.a...
关键字:
se
(全球TMT2022年4月18日讯)自动驾驶智能环卫公司仙途智能autowise.ai 公布2022 Q1营收情况。数据显示,2022年Q1,autowise.ai实现营收数千万元,在执行合同额达数亿元,创历史新高,实...
关键字:
se
生于海,长于山 上海2022年4月2日 /美通社/ -- 深受世界户外爱好者及探险家青睐的挪威国宝级户外品牌海丽汉森Helly Hansen(简称HH),创立以来始终秉持专业精神,专注打造高端专业户外装备。近...
关键字:
se
rc
深圳新办事处2022年全速推进,快速招聘顶尖人才
苏黎世2022年3月30日 /美通社/ -- 全球性专业服务公司Synpulse今天宣布在数...
关键字:
se
npu
北京2022年3月29日 /美通社/ -- Analog Devices, Inc. (NASDAQ: ADI)和Gridspertise宣布携手合作提高全球智能电网的弹性和质量。Gridspertise是一家...
关键字:
se
电气
智能电网
(全球TMT2022年3月29日讯)Analog Devices, Inc. 和Gridspertise宣布携手合作提高全球智能电网的弹性和质量。Gridspertise是一家为配电系统运营商(DSO)提供先...
关键字:
ADI
智能电网
se
北京2022年3月24日 /美通社/ -- 3月22日,浪潮信息宣布元宇宙服务器MetaEngine全面支持NVIDIA Omniverse Enterprise,提供支撑大规模数字孪生场景的软硬件一体化解决方案OVX,...
关键字:
英伟达
se
ni
(全球TMT2022年3月23日讯)中国电信股份有限公司公布,公司在《The Asset》的‘2021年ESG企业大奖’评选中,勇夺‘杰出环境、社会及管治企业金奖’。同时,执行董事、董事长兼首席执行官柯瑞文先生在此次评...
关键字:
中国电信
se
(全球TMT2022年3月2日讯)为全球领先品牌提供营销解决方案的全球性公司RTB House宣布,资深的数字广告专家Shien Zhu(祝师恩) 将加入其东京办事处,担任亚太区品牌销售副总裁。正值该公司继续...
关键字:
se
新加坡2022年3月1日 /美通社/ -- 为全球领先品牌提供先进营销解决方案的全球性公司RTB House今天宣布,资深的数字广告专家Shien Zhu(祝师恩) ...
关键字:
se
(全球TMT2022年2月22日讯)孚昇电子(Fusion Worldwide)收购了位于新加坡的大型电子元件测试公司Prosemi Mfg Pte Ltd。由于供应链经历了历史性的限制,导致周转时间过长,此次收购将进...
关键字:
os
se
电子元件
上海2022年2月18日 /美通社/ -- 全球专业级3D打印机制造商Raise3D上海复志(上海复志信息技术有限公司,以下简称“Raise3D”) 宣布完成C轮1亿元人民币融资。本轮融资由金浦智能领投,创钰投资跟投,B...
关键字:
se
(全球TMT2022年2月18日讯)全球专业级3D打印机制造商Raise3D上海复志(上海复志信息技术有限公司,简称“Raise3D”) 宣布完成C轮1亿元人民币融资。本轮融资由金浦智能领投,创钰投资跟投,B+轮投资人...
关键字:
3D打印机
se
法国巴黎2022年1月18日 /美通社/ -- Intersec(或“公司”),移动和活动数据解决方案的全球领导者,宣布加速推动全球一级运营商应用其 5G-ready 地理定位平台,进而根据数据隐私法规从新的&...
关键字:
se
(全球TMT2022年1月19日讯)移动和活动数据解决方案的全球领导者,Intersec宣布加速推动全球一级运营商应用其 5G-ready 地理定位平台,进而根据数据隐私法规从新的 5G 定位用例中获利。法国、加拿大、...
关键字:
se
(全球TMT2021年12月30日讯)Nano Dimension有限公司,一家行业领先的增材制造电子(AME)/3D印刷电子(PE)和微纳增材制造(Micro-AM)产品供应商,该公司宣布已经签署并达成了一项最终协议...
关键字:
se
mt
(全球TMT2021年12月2日讯)在亚马逊云科技re:Invent全球大会上,亚马逊云科技宣布推出Amazon IoT FleetWise,让汽车制造商更轻松、更经济地收集、管理汽车数据,同时几乎实时上传到云端。通过...
关键字:
亚马逊
se
上海2021年11月16日 /美通社/ -- Autowise.ai自动驾驶清扫版图再添一城。12月1日起,autowise.ai自动驾驶清扫车将于青岛市开展为期五年的环卫一体化服务,整体作业面积近350万平方...
关键字:
自动驾驶
se
CellsinASICPhysicalDesignSpecialCellRequirementsinICDesignistominimizethepossibleCMOSissuesMoreno.oftransistor...
关键字:
Design
Physical
se
设计分2种,一种叫前向设计,另一种叫后向设计。 后向设计就是我们只知道需求,知道要实现什么功能,但是暂时脑子里还没有具体的结构。多数时候都是后向设计。此时,先开始把module的input和output写好。然后从out...
关键字:
verilog
电路图