IEEE 1800-2017
SystemVerilog-统一硬件设计 规范 和验证语言(IEEE计算机协会)

SystemVerilog-Unified Hardware Design@ Specification@ and Verification Language (IEEE Computer Society)


 

 

非常抱歉,我们暂时无法提供预览,您可以试试: 免费下载 IEEE 1800-2017 前三页,或者稍后再访问。

您也可以尝试购买此标准,
点击右侧 “购买” 按钮开始采购(由第三方提供)。

点击下载后,生成下载文件时间比较长,请耐心等待......

 

标准号
IEEE 1800-2017
发布
2017年
发布单位
IEEE - The Institute of Electrical and Electronics Engineers@ Inc.
当前最新
IEEE 1800-2017
 
 
适用范围
This standard provides the definition of the language syntax and semantics for the IEEE 1800? SystemVerilog language@ which is a unified hardware design@ specification@ and verification language. The standard includes support for behavioral@ register transfer level (RTL)@ and gate-level hardware descriptions; testbench@ coverage@ assertion@ object-oriented@ and constrained random constructs; and also provides application programming interfaces (APIs) to foreign programming languages. Purpose This standard develops the IEEE 1800 SystemVerilog language in order to meet the increasing usage of the language in specification@ design@ and verification of hardware. This revision corrects errors and clarifies aspects of the language definition in IEEE Std 1800-2012.1 This revision also provides enhanced features that ease design@ improve verification@ and enhance cross-language interactions.

IEEE 1800-2017相似标准


推荐

浅析EDA技术在数字电路设计方案中的影响(一)

这样设计方法如同一砖一瓦建造楼房,不仅效率低、成本高而且容易出错,高层次设计给我们提供了一种“自顶向下”(Top-Down)全新设计方法,这种方法首先从系统入手,在顶层进行功能方框图划分结构设计,在方框图一级进行仿真、纠错,并用硬件描述语言对高层系统进行描述,在系统一级进行验证,然后用综合优化工具生成具体门电路网表,其对应物理实现级可以是印刷电路板或专用集成电路,由于设计主要仿真调试过程是在高层次上完成...

13位华人学者入选!2021年ACM Fellow 名单正式公布

胡晓波(IEEE Fellow)是圣母大学计算机科学与工程系教授,本科毕业于天津大学,硕士毕业于纽约理工学院(现为纽约大学坦登工程学院),于普渡大学获得博士学位。胡晓波主要研究兴趣包括具有功率、温度可靠性感知的系统级设计,具有新兴技术的电路架构设计,实时嵌入式系统的资源管理,用于医疗应用的算法硬件协同设计以及 VLSI 电路系统的计算机辅助设计。...

多位华人学者入选!2020 年ACM Fellow 名单正式公布

姓名:周昆机构:浙江大学当选理由:因对计算机图形学的贡献而当选个人介绍:周昆为浙江大学计算机辅助设计与图形学国家重点实验室主任,教育部长江学者特聘教授,国家杰出青年科学基金获得者,国际电气电子工程师协会会士(IEEE Fellow)。主要研究领域包括计算机图形学、计算机视觉、人机交互虚拟现实。...

清华发布新版计算机学科推荐学术会议和期刊列表,与CCF有何不同?

《清华大学计算机学科推荐学术会议和期刊列表》与《中国计算机学会推荐国际学术会议和期刊目录》这两份推荐列表,都将计算机学科划分为10个研究方向,在某些方向略有区别,比如CCF分为计算机体系结构/并行与分布计算/存储系统,清华计算机统一称为高性能计算;清华在人工智能方向增加模式识别,而CCF统一称为人工智能;在系统软件与软件工程方向,CCF还有程序设计语言方向。...





Copyright ©2007-2022 ANTPEDIA, All Rights Reserved
京ICP备07018254号 京公网安备1101085018 电信与信息服务业务经营许可证:京ICP证110310号