IEC TR 63051：2017 设计自动化主题文献.系统级建模和验证用数学算法硬件描述语言（HDLMath）标准立项发展报告.docx

设计自动化主题文献系统级建模和验证用数学算法硬件描述语言标准立项发展报告

StandardizationDevelopmentReport:DocumentationonDesignAutomationSubjects-MathematicalAlgorithmHardwareDescriptionLanguagesforSystemLevelModelingandVerification(HDLMath)

摘要

随着集成电路设计复杂度的持续攀升和系统级芯片（SoC）集成度的不断提高，系统级建模与验证已成为电子设计自动化（EDA）领域的关键环节。传统的