
【国外标准】 IEEE Approved Draft Standard for SystemVerilog--Unified Hardware Design, Specification, and Verification Language
本网站 发布时间:
2025-04-30
- IEEE P1800
- 定价: 424元
- 在线阅读
开通会员免费在线看70000余条国内标准,赠送文本下载次数,单本最低仅合13.3元!还可享标准出版进度查询、定制跟踪推送、标准查新等超多特权!  
查看详情>>

适用范围:
This standard provides the definition of the language syntax and semantics for the IEEE 1800(tm)-2017 Standard for SystemVerilog--Unified Hardware Design, Specification, and Verification 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… read more application programming interfaces (APIs) to foreign programming languages. read less
标准号:
IEEE P1800
标准名称:
IEEE Approved Draft Standard for SystemVerilog--Unified Hardware Design, Specification, and Verification Language
英文名称:
标准状态:
-
发布日期:
-
实施日期:
出版语种:
- 推荐标准
- ASTM E1800-21 Standard Specification for Adhesive for Bonding Foam Cored Sandwich Panels (160 °F Elevated Humidity Service), Type I Panels
- ASTM F1800-19e1 Standard Practice for Cyclic Fatigue Testing of Metal Tibial Tray Components of Total Knee Joint Replacements
- ASTM E1800-21 Standard Specification for Adhesive for Bonding Foam Cored Sandwich Panels (160 °F Elevated Humidity Service), Type I Panels
- ASTM F1800-19e1 Standard Practice for Cyclic Fatigue Testing of Metal Tibial Tray Components of Total Knee Joint Replacements
- AS 1301.P10rp-1986 Methods of test for pulp and paper (metric units) Determination of moisture in wood chips - Distillation method
- AS 1301.P11s-1978 Methods of test for pulp and paper (metric units) Klason lignin in wood and pulp
- AS 1301.P201m-1986 Methods of test for pulp and paper (metric units) Kappa number of pulp
- AS 1301.P414m-1986 Methods of test for pulp and paper (metric units) Conditioning of paper for testing
- AS 1629P-1979/Amdt 1-1994 Scorched particle standards for dry milk
- AS/NZS 1800:1998 Occupational protective helmets - Selection, care and use
- KS X ISO IEEE 11073-00103 보건의료정보 — 개인 건강 기기 통신 — 제00103부: 개요
- KS X ISO IEEE 11073-00103(2023 Confirm) 보건의료정보 — 개인 건강 기기 통신 — 제00103부: 개요
- KS X ISO IEEE 11073-10442 보건의료정보 — 개인 건강 기기 통신 — 제10442부: 기기 특성화 — 근력 운동 장치
- KS X ISO IEEE 11073-10471(2023 Confirm) 보건의료정보 — 개인 건강 기기 통신 — 제10471부: 기기 특성화 — 독거 생활 활동 허브
- KS X ISO/IEC/IEEE 24748-1 시스템 및 소프트웨어 엔지니어링 — 생명주기 관리 — 제1부: 생명주기 관리 지침