可编程逻辑器件检测

GB/T 2900.66-2004电工术语 半导体器件和集成电路

GB／T 2900的本部分界定了半导体技术、半导体设计和半导体类型的通用术语。

GB/T 16855.1-2018机械安全 控制系统安全相关部件 第1部分:设计通则

GB/T 16855的本部分规定了包括软件设计在内的控制系统安全相关部件(SRP/CS)设计和集成的安全要求和指导原则。本部分规定了这些SRP/CS部件的特征，包括执行安全功能所需要的性能等级。本部分适用于所有种类机械上具有高要求和连续模式的SRP/CS，不管其采用何种技术和能量(电气、液压、气动、机械等)。本部分未规定特殊应用中的安全功能或性能等级。本部分给出了采用可编程电子系统的SRP/CS的具体要求。本部分未给出SRP/CS的产品的具体设计要求，但可采用给出的类别或性能等级等原则。

GB/T 17564.4-2009电气元器件的标准数据元素类型和相关分类模式.第4部分:IEC标准数据元素类型和元器件类别基准集

GB/T 17564的本部分在公共字典内规定: ——电工设备和系统用电气元器件和材料的数据元素类型定义;——元器件类别及相关分类模式的定义;这些定义与电气元器件(包括电子、机电元器件和电工设备及系统中用的材料)有关。本部分的目的是用下列方式提供唯一标识的数据元素类型集：——定义的内容准确无歧义;——规定的值格式;——非定量数据元素类型的规定值域。元器件分类模式、元器件类别定义(通过特定数据元素类型将相关和有效的特性特征分配给每类元器件)用来准确元歧义定义数据元素类型并且使整个数据元素类型集可管理。本部分的数据元素类型集预定用于计算机化系统进行元器件选择与元器件管理、零部件列表处理以及计算机辅助设计、制造和测试。

GB/T 20296-2012集成电路记忆法与符号

本标准规定了使用器件的符号及记忆法宜与限定符号一致、预计达到两个目的,即:--对白盒子符号,给出标准名称;--对灰盒子符号,希望限制可能变化的范围、白盒子符号:符号中元件的功能行为完全由标准化方法描述的符号,相关的规则和解释可在二进制逻辑元件符号及应用注释,模拟元件符号,应用注释中找到、灰盒子符号:符号中元件的功能行为,通常由于其复杂性,有些用非白盒子符号所用的方法,特别是由参照的支持文件描述的符号;相关的规则和解释可在符号和应用注释中找到、本标准提出了白盒子符号和灰盒子符号的概念,便于设计者的应用、本标准适用于集成电路的设计、第3章中,第二列字母是W,表明相关的标记可用于白盒子符号以及灰盒子符号中、第二列是字母G,意味着有关的标记只能用于灰盒子符号中,或只能用于方框间的白盒子符号中(如作为\"电源关掉\"的附加信息)、在用字母m的地方,m应按每种情况的要求用相关的值、标识数字、循环长度、位数或顺序数代替、m1×m2出现的地方,m1应用字数、m2应用每字的位数代替,见符号、

GB/T 20438.4-2017电气/电子/可编程电子安全相关系统的功能安全 第4部分:定义和缩略语

GB/T 20438的本部分包括了GB/T 20438.1~GB/T 20438.7所使用的术语和解释。这些定义按标题分组，以便从它们的前后关系上去理解这些相关的术语。但这样的分组并不意味着对定义增加了含义。GB/T 20438.1、GB/T 20438.2、GB/T 20438.3和GB/T 20438.4是基础的安全标准，虽然它不适用于简单的E/E/PE安全相关系统(见GB/T 20438.4-2017的3.4.3)，但作为基础安全标准，各技术委员会可以在IEC指南104和ISO/IEC指南51的指导下制定相关标准时使用。GB/T 20438.1、GB/T 20438.2、GB/T 20438.3和GB/T 20438.4也可作为独立标准来使用。GB/T 20438的横向安全功能不适用于在IEC 60601系列指导下的医疗设备。各技术委员会的责任之一，是在其标准的起草工作中尽可能使用基础的安全标准。在本文中，本基础安全标准中的要求、测试方法或测试条件只有在这些技术委员会起草的标准中已明确引用或包含时适用。图1表示了GB/T 20438的整体框架，同时明确了本部分在实现E/E/PE安全相关系统功能安全过程中的作用。

GB/T 20515-2006半导体器件 集成电路 第5部分:半定制集成电路

本标准规了下列集成电路（IC）分类体系树（见图1）中有关半定制集成电路子类的标准。

GB/T 22033-2017信息技术 嵌入式系统术语

本标准界定了嵌入式系统常用的术语和定义。本标准适用于嵌入式系统的应用、开发、教学、出版和信息交流。

GB/T 25000.51-2016系统与软件工程 系统与软件质量要求和评价(SQuaRE) 第51部分:就绪可用软件产品(RUSP)的质量要求和测试细则

GB/T 25000的本部分确立了 ：a) 就绪可用软件产品(RUSP)的质量要求；b) 用于测试RUSP的包含测试计划、测试说明和测试结果等的测试文档集要求；c) RUSP的符合性评价细则。本部分还包括关于安全或业务攸关的RUSP的建议。本部分仅涉及向用户提供对产品的信任，即RUSP能按所提供的和交付的说明运行。不涉及生产实现(包含各种活动和中间产品，例如规格说明)。供方的质量体系超出了本部分的范围。本部分适用于RUSP。本部分的预期用户包括：a) 供方，当：1) 规定RUSP的需求时；2) 对照所声称的特性评估其软件产品时；3) 发布符合性声明[ISO/IEC 17050]时；4) 申请符合性证书或标志[ISO/IEC导则23]时；b) 希望建立某种认证模式(级、地区级或级)[ISO/IEC导则28]的认证机构；c) 遵循本测试细则提供符合性证书或标志而进行测试的测试实验室[ISO/IEC 17025];d) 认可注册机构或认证机构以及测试实验室的认可机构；c) 潜在的需方，其可能：1) 把预期的工作任务要求与现有软件产品的产品说明信息进行比较；2) 寻求已获认证的RUSP;3) 检验要求是否被满足；f) 可从更好的软件产品获益的终用户；g) 正在进行以下活动的组织：1) 根据本部分的质量要求和方法建立管理和工程环境；2) 管理和改进其质量过程及人力资源配置；h) 可能对安全或业务攸关的应用中使用的RUSP提出要求或推荐使用本部分的要求的监管机构。附录B给出了如何使用本部分的参考信息。

GB/T 33781-2017可编程逻辑器件软件开发通用要求

本标准规定了可编程逻辑器件软件开发过程的相关要求，规定了可编程逻辑器件软件开发过程全生存周期中每个阶段的目标、技术要求。本标准适用于可编程逻辑器件软件的开发过程。

GB/T 33783-2017可编程逻辑器件软件测试指南

本标准规定了可编程逻辑器件软件测试的目的、内容、管理、级别、过程、类型和方法等要求。本标准适用于可编程逻辑器件软件的测试。

GB/T 33784-2017可编程逻辑器件软件文档编制规范

本标准规定了可编程逻辑器件软件开发过程编制的主要文档及其编制的内容、格式等要求。本标准适用于可编程逻辑器件软件开发过程中文档的编制。

GB/T 35010.1-2018半导体芯片产品 第1部分:采购和使用要求

GB/T 35010的本部分用于指导半导体芯片产品的生产、供应和使用，半导体芯片产品包括：?　晶圆；?　单个裸芯片；?　带有互连结构的芯片和晶圆；?　小尺寸或部分封装的芯片和晶圆。本部分定义了此类芯片产品所需数据的低要求，也有助于含芯片的组件产品设计和采购。它涵盖了对数据的要求如下：?　产品标识；?　产品数据；?　芯片机械信息；?　测试、质量、装配和可靠性信息；?　处理、运输和储存信息。本部分包括了在研发和制造过程中用来描述芯片几何特性、物理性质和连接方法相关数据的具体要求。相关词汇和缩略词参见附录A和附录B。

GB/T 37691-2019可编程逻辑器件软件安全性设计指南

本标准给出了可编程逻辑器件软件安全性设计的指导和建议，并给出了需考虑要点有关的信息。本标准适用于可编程逻辑器件软件的系统需求分析、软件需求分析、设计和实现时的安全性设计。

GB/T 37979-2019可编程逻辑器件软件VHDL编程安全要求

本标准规定了VHDL用于可编程逻辑器件软件编程安全细则。本标准适用于可编程逻辑器件软件VHDL的编程安全设计、编码、测试及其使用。ASIC数字电路设计时也可参照使用。

GB/T 41142-2021核电厂安全重要数字仪表和控制系统硬件设计要求

本文件规定了核电厂基于计算机的安全重要系统硬件设计要求，包括硬件需求、设计和开发、验证和确认、鉴定、制造、安装和调试、运行、维护等相关内容。本文件适用于核电厂基于计算机的安全重要系统硬件的设计，及对预开发硬件(包括固件)的评估；也适用于可编程逻辑器件的设计过程和设计验证。本文件不适用于用于软件下载和检查的计算机硬件设施。

CB 774-2014导航产品设计文件的分类编号

本标准规定了导航产品及其组成部分（以下简称“产品”）设计文件的分类编号方法。本标准适用于产品的设计文件。

CB 30011-2018军工软件测试验证 测试过程和管理

本标准规定了军工软件多层次测试过程模型、软件(含可编程逻辑器件软件)通用的测试过程以及项目级别的测试管理要求。本标准适用于军工软件开发人员、软件测试人员、质量保证人员和项目管理人员等。

CB 30013-2018军工软件测试验证 测试工具要求

本标准规定了基于测试工具的测试框架模型，以及普通软件和可编程逻辑器件软件的管理要求、技术要求和质量要求，并建立测试工具与测试级别的映射关系。本标准适用于软件开发人员、测试人员、项目管理人员，测试工具的管理人员。

HB/Z 420-2014民用飞机机载电子硬件合格审定保证指南

本指导性技术文件规定了机载电子硬件概念设计、初始认证以及后续为保证持续适航进行的证后产品改进的整个过程要求，并提供了相关指南。本指导性技术文件适用于与机载电子硬件设计生命周期相关的开发和认证活动。本指导性技术文件涉及的机载电子硬件包含（但不局限于）以下硬件项：外场可更换单元（LRU）；电路板部件；包含宏功能的用户定制的微代码部件，如专用集成电路（AISC）和可编程逻辑器件（PLD）；采用集成工艺的部件，如混合电路和多芯片组件（MCM）；商用货架产品（COTS）部件。