当前位置:首页 > 公众号精选 > 芯片验证工程师
[导读]下面是一个小的真实verilog代码,具有异步set/reset逻辑(低电平有效)的触发器模型。这个verilog模型可以正确地综合,但在一个cornercase情况下仿真结果不正确。这个cornercase是什么?always_ff@(posedgeclkornegedgers...

下面是一个小的真实verilog 代码,具有异步set/reset逻辑(低电平有效)的触发器模型。这个verilog模型可以正确地综合,但在一个 corner case情况下仿真结果不正确。这个 corner case是什么?

always_ff @( posedge clkor negedge rst_n // active-low resetor negedge set_n // active-low set)if (!rst_n) // reset has priority over set q_out <= '0; // reset all bits to zeroelse if (!set_n) q_out <= '1; // set all bits to oneelse 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 clkor negedge rst_n // active-low resetor negedge set_n // active-low set`ifndef SYNTHESIS // non-synthesizable simulation codeor 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
关闭
关闭