X-propagation

[vcs] x-propagation flow

背景Verilog提供了四种状态来模拟实际电路的电平状态，1，0，x，z在整个设计流程，包含了Simulation，综合，LEC等不同阶段对X态的解释不尽相同。对于验证来说，在Simulation阶段进行RTL功能仿真时，X态表示unkown高低电平不确定的状态。Verilog对于X态的propagate传播处理，是偏乐观的。而一些由于X态的传播导致的bug无法在正常的RTL仿真阶段发现，但是在G
江左嘻哈说·2024-01-13 09:34

X态详解 与 X态传播 VCS X-Propagation

Verilog作为硬件行为级描述语言，提供了四种状态来模拟实际电路的电平状态，1，0，x，z在整个设计流程，包含了Simulation,FormalVerification,EquivalenceChecking,Synthesis,CodeCoverage,PowerState等不同阶段或概念，X态在不同context（上下文/语境）下也存在不同的semantics语义。SynthesisSem
Holden_Liu·2023-04-16 17:34

X 态及基于 VCS 的 X-Propagation 检测

点击查看精选IC技能树系列文章点击进入【芯片设计验证】社区，查看更多精彩内容 声明：作者主页：【MangoPapa的CSDN主页】。⚠️本文首发于CSDN，转载或引用请注明出处【https://mangopapa.blog.csdn.net/article/details/129996971】。⚠️本文目的为个人学习记录及知识分享。因个人能力受限，存在协议解读不正确的可能。若您参考本文进行产品设计
MangoPapa·2023-04-16 17:33
上一页 1 下一页
按字母分类： ABCDEFGHIJKLMNOPQRSTUVWXYZ其他