来自IEEE Xplore官网，IEEE Std 802.3ch-2020 (Amendment to IEEE Std 802.3-2018 as amended by IEEE Std 802.3cb-2018, IEEE Std 802.3bt-2018, IEEE Std 802.3cd-2018, IEEE Std 802.3cn-2019, IEEE Std 802.3cg-2019, IEEE Std 802.3cq-2020, and IEEE Std 802.3cm-2020)

IEEE Std 802.11ac-2013, pdf, 英文版

本标准定义了e功能验证语言。本标准的目的是作为一个权威的 (a)电子语言结构的语法和语义 (b)电子语言与标准仿真语言的相互作用 (b) e语言与标准仿真语言的互动 (c) e语言库。本标准服务于使用e语言进行电子设计功能验证的社区。它提供了一个独立于实施的电子语言的定义，并促进了基于电子语言的设计自动化工具的发展。

最新完整英文电子版 IEEE Std 1800.2-2020 Universal Verification Methodology Language Reference Manual (通用验证方法学语言参考手册 )。该标准建立了通用验证方法（UVM），这是一套应用编程接口（API），定义了一个基础类库（BCL）的定义，用于为功能验证环境开发模块化、可扩展和可重复使用的组件。这些API和BCL是基于IEEE的System Verilog标准，IEEE Std 1800.1。目前，验证组件和环境是以不同的形式创建的，这使得验证工具和/或地理上分散的设计环境之间的互操作性既费时又容易出错。UVM标准化工作的结果将改善互操作性，减少为每个新项目或电子设计自动化（EDA）工具重新购买和重写知识产权（IP）的成本，并使重复使用验证组件更加容易。总的来说，UVM的标准化工作将降低验证成本，提高整个行业的设计质量。

完整英文电子版 IEEE Std 1734-2011 Quality of Electronic and Software Intellectual Property Used in System and System on Chip (SoC) Designs(系统和片上系统（SoC）设计中使用的电子和软件知识产权的质量)。 本规范定义了一种标准的XML格式，用于表示电子设计知识产权（IP）的质量信息，该格式基于IP质量测量的信息模型。它包括一个模式和与测量IP质量有关的术语，包括在系统上执行的软件。该模式和信息模型可以集中代表IP用户感兴趣的特定类别。 在本文件中，IP一词应被用来指电子设计知识产权。电子设计知识产权是电子设计界的一个术语，指的是可重复使用的设计规范集合，这些规范代表了设计在各种媒体中的行为、属性和/或表现。

完整英文电子版IEEE Std 1666-2011 Standard SystemC Language Reference Manual （标准SystemC语言参考手册 ）。本标准的总体目的是为那些需要解决软硬件混合的复杂系统的设计者和架构师提供一个基于C++的标准。本标准的具体目的是为SystemC类库提供一个精确和完整的定义，包括一个TLM库，以便在开发SystemC实现时可以只参考本标准。本标准并不打算作为用户指南或提供SystemC的介绍。但它确实包含了对终端用户有用的信息。

完整英文电子版IEEE Std 1666.1-2016 Standard SystemC - Analog Mixed-Signal Extensions Language Reference Manual （标准SystemC--模拟混合信号扩展语言参考手册 ）。本标准定义了SystemC的模拟/混合信号扩展，是一个基于SystemC的ANSI标准C++类库，用于包括模拟/混合信号元素的系统和硬件设计。SystemC模拟/混合信号扩展的目的是为需要处理软硬件混合的复杂异构系统的设计师和建筑师提供一个C++标准。这个 标准建立在IEEE Std 1666-20112（SystemC语言参考手册）的基础上，并对其进行了扩展，以创建模拟/混合信号、多学科模型，同时模拟连续时间、离散时间和离散事件行为。本标准的具体目的是为AMS类库提供一个精确和完整的定义，这样就可以仅参考本标准来开发SystemC AMS的实现。本标准既不打算作为用户指南，也不打算提供SystemC中AMS扩展的介绍，但确实包含了对终端用户有用的信息。

完整英文电子版 IEEE Std 1450.6.2-2014 Memory Modeling in Core Test Language (CTL)-核心测试语言（CTL）中的内存建模。本标准的目的是开发一个CTL语言的扩展，提供足够的 描述一个存储器核心，以支持开发和重用该存储器的测试和修复机制。在集成到SoC环境中后，支持开发和重用该存储器的测试和修复机制，并能够为SoC上的逻辑创建测试模式。存储器外部的逻辑创建测试模式。

完整英文电子版 IEEE Std 1012-2016 System, Software, and Hardware Verification and Validation（系统、软件和硬件的验证和确认）。本标准的目的是：  建立 V&V 流程、活动和任务的通用框架，以支持所有系统， 软件和硬件生命周期过程。  定义每个生命周期过程中的 V&V 任务、所需的输入和所需的输出。  确定对应于四级完整性模式的最小 V&V 任务。  定义验证和确认计划的内容。

完整英文电子版 IEEE Std 1003.1-2016 Information Technology — Portable Operating System Interface (POSIX) - Base Specifications, Issue 7（信息技术 - 便携式操作系统接口 (POSIX) - 基本规范，第 7 版）。POSIX.1-2008定义了便携式操作系统接口（POSIX）的要求，并由以下主题组成，在标准中排列成一系列的卷。 - 基础定义 - 系统接口 - 外壳和实用工具 - 理论依据（信息性）