日志

assertion

已有 602 次阅读| 2016-8-10 22:24 |个人分类:验证杂谈

1 可以由designer来加断言，也可以由验证加断言

2.验证施加断言要求

A 断言仅仅针对于接口

B对于激励输入接口，断言关注的是propery的cover

C对于输出接口，断言关注输出的接口的时序，以及property的cover

EDA直播火热报名！半导体器件建模工程实践: 半导体器件模型是连接代工厂和IC设计公司之间的桥梁。器件建模，顾名思义就是对于器件或者电路的电学行为比如电流电压关系，电容电压关系以及S参数和频率关系等等的一个数学描述。器件模型通过PDK的方式集成到仿真工具中..

忆阻器、第三代半导体等半导体材料与器件讲坛(资料+视频）: EETOP联合泰克科技，专门创建了“半导体材料与器件科学”的专题网页，并精心准备了海量的干货素材，涵盖PDF文档、云上讲坛视频。

GMT+8, 2024-4-25 05:28 , Processed in 0.016286 second(s), 11 queries , Gzip On, Redis On.

eetop公众号

创芯大讲堂

创芯人才网