切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
您的位置
首页
期刊论文
下一代芯片设计与验证语言:SystemVerilog(验证篇)
下一代芯片设计与验证语言:SystemVerilog(验证篇)
来源 :电子设计应用 | 被引量 : 0次 | 上传用户:jiusea
【摘 要】
:
SystemVerilog是下一代芯片设计和验证语言,于2005年12月被标准化为IEEE P1800—2005。本文介绍SystemVerilog发展的过程及其对验证建模的支持,重点讨论其在功能验证方面的重要
【作 者】
:
钟文枫
【机 构】
:
Mentor
【出 处】
:
电子设计应用
【发表日期】
:
2008年12期
【关键词】
:
SYSTEMVERILOG
设计和验证语言
功能验证
断言
验证方法学
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
SystemVerilog是下一代芯片设计和验证语言,于2005年12月被标准化为IEEE P1800—2005。本文介绍SystemVerilog发展的过程及其对验证建模的支持,重点讨论其在功能验证方面的重要应用及使用技巧。
其他文献
开关模式电源(SMPS)——降压转换器拓扑结构
当前有许多不同的半导体器件,因此在为车载应用设计一款降压或降压模式转换器时可能会用到广泛的拓扑结构(见图1)。本文对不同的拓扑结构进行了高层次的概述。
期刊
电源
车载
SMPS
降压转换器
在Encounter中实现网格+局部树的时钟设计流程
本文提出了一种新的方法,可以在Encounter中实现全局网格加局部树(MLT)流程。通过在时钟设计流程中利用CTS和时钟网格的优势,可以确保MLT具有更小的偏差,并进一步优化网格结构以降
期刊
ENCOUNTER
全局网络
局部树
其他学术论文