完整英文电子版 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）的要求，并由以下主题组成，在标准中排列成一系列的卷。 - 基础定义 - 系统接口 - 外壳和实用工具 - 理论依据（信息性）

完整英文电子版IEC 62014-5：2015（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一词应被用来指电子设计知识产权。电子设计知识产权是电子设计界的一个术语，指的是可重复使用的设计规范集合，这些规范代表了设计在各种媒体中的行为、属性和/或表现

完整英文电子版 IEC 61691-7：2009（IEEE Std 1666) Behavioural languages – Part 7：SystemC Language Reference Manual（行为语言--第七部分：SystemC语言参考手册）。SystemC 的一般目的是为需要处理硬件和软件混合的复杂系统的设计人员和架构师提供基于 C++ 的标准。 本标准的具体目的是为SystemC类库提供精确、完整的定义，以便单独参照本标准开发SystemC实现。 本标准并非旨在作为用户指南或提供 SystemC 的介绍，但确实包含对最终用户有用的信息。

MIL-STD-499A+499C[System Engineering]标准

本标准规定了计算机系统中浮点运算的格式和操作。定义了异常情况，并规定了对这些情况的处理。本标准提供了一种用浮点数进行计算的方法，不管是用硬件、软件还是两者结合的方式进行处理，都会产生相同的结果。在输入数据相同的情况下，计算结果将是相同的，与实现方式无关。无论何种实现方式，数学处理中的错误和错误条件都将以一致的方式报告。