【英语版】国际标准 IEC TR 63051:2017 EN Documentation on design automation subjects - Mathematical algorithm hardware description languages for system level modeling and verification (HDLMath) 设计自动化主题的文档-用于系统级建模和验证的数学算法硬件描述语言（HDLMath）.pdf

IECTR63051:2017EN文档是对设计自动化主题的文档，其中包含了用于系统级建模和验证的数学算法硬件描述语言的系统级建模和验证的数学算法硬件描述语言（HDLMath）。

IEC（国际电工委员会）是一个国际性的技术组织，负责制定和推广电气工程领域的相关标准。TR（技术报告）是IEC的技术报告系列，通常用于特定主题的讨论和指导。

该文档主要关注于系统级建模和验证中的数学算法硬件描述语言的使用。它提供了关于HDLMath的详细说明，包括其特点、应用范围、语法规则、工具支持等方面的信息。

HDLMath是一种用于描述和模拟数学算法的硬件描述语言，它允许设计师使用数学算法来描述和模拟系统中的各种行为和功能。这种描述方式可以提供更高的精确度和灵活性，有助于提高系统建模和验证的效率和准确性。

IECTR63051:2017EN文档是关于系统级建模和验证中数学算法硬件描述语言的重要指南，它提供了关于HDLMath的详细解释和说明，帮助设计师更好地理解和应用这种语言，以提高他们的系统设计和验证能力。