PD IEC/TR 63051:2017 PDF
Documentation on design automation subjects. Mathematical algorithm hardware description languages for system level modeling and verification (HDLMath)
Documentation on design automation subjects. Mathematical algorithm hardware description languages for system level modeling and verification (HDLMath)
- Статус документа:
- Действующий
- Формат:
- Электронный (PDF)
- Дата публикации:
- 10 января 2017 г.
- ICS:
- 25.040.01
- SKU:
- PD IEC/TR 63051:2017
Abstract
What is PD IEC/TR 63051 – HDLMath for system modelling and verification about?
Around the world, engineers in industries such as electronics and automobiles are developing many kinds of systems and products. However, these are developed based on conventional design processes and suffer from many design problems and long design times. Because the laws of nature can be expressed mathematically, mathematics is a good algorithmic method for the description and modelling of such systems. Mathematical modelling is also an important approach for both solving problems and visualizing the abstract concepts involved. A hardware description language provides a means to describe the behaviour of a system precisely and concisely. PD IEC/TR 63051 describes the main functional requirements for Mathematical algorithm hardware description languages (HDLMath) for system-level modelling and verification and compares existing HDLMath languages from the viewpoint of designers.
Похожие стандарты
Другие стандарты PD
PD 6605-2:1998
ОтменёнGuidance on methodology for assessment of stress-rupture data - Computing methods
PD ISO/TS 6226:2025
ДействующийHealth informatics. Reference architecture for syndromic surveillance systems for infectious diseases
1 Scope This document specifies a reference architecture for event-based syndromic surveillance systems for infectious diseases. The system reference architecture addresses architectural components i…
PD ISO/TS 17595:2025
ДействующийSolid biofuels. Characterization of wood chip fuels. Essential information for producers, suppliers and users
1 Scope This document provides guidance on the characterization of wood chips produced from raw materials, as defined in ISO 17225‑4 , for the following aspects: quality classes and specifications; s…
PD ISO/TS 4452:2025
ДействующийSpecification and demonstration of system reliability of single-use drug delivery systems
1 Scope This document addresses the specification and demonstration of capability and system reliability to successfully deliver a medicinal product as part of design verification and manufacture, ut…
PD ISO/TS 25271:2026
ДействующийAutomation systems and integration. Industrial digital twin interface architecture
1 Scope This document specifies the interface architecture of industrial digital twin systems, which is structured around three key elements: the digital twin, the physical twin and the interface tha…