BSI PD IEC/TR 63051:2017

$102.76

Documentation on design automation subjects. Mathematical algorithm hardware description languages for system level modeling and verification (HDLMath)

Published By	Publication Date	Number of Pages
BSI	2017	20

Guaranteed Safe Checkout

Categories: 35.240.50 - IT applications in industry, BSI

If you have any questions, feel free to reach out to our online customer service team by clicking on the bottom right corner. We’re here to assist you 24/7.
Email:[email protected]

A hardware description language provides a means to describe the behavior of a system precisely and concisely. This document describes the main functional requirements for an HDLMath language and compares existing HDLMath languages from the viewpoint of designers. It is intended to accelerate the standardization of a mathematical algorithm design language and to help establish a new and good system modeling and verification environment.

PDF Catalog

PDF Pages	PDF Title
4	CONTENTS
5	FOREWORD
7	INTRODUCTION Tables Table 1 – Examples of mathematics applications
9	1 Scope 2 Normative references 3 Terms and definitions 4 Definition and positioning of HDLMath 4.1 General 4.2 Current HDLMaths
10	4.3 Design abstraction level of HDLMath
11	5 Functional requirements of HDLMath 5.1 General 5.2 Mathematical expressions Figures Figure 1 – Numbers of description lines
12	5.3 Various kinds of precision computation 5.4 Exception and error handling Figure 2 – Examples of mathematical expressions Table 2 – Examples of precision type
13	5.5 Multi-dimensional arrays 5.6 Mathematical functions Figure 3 – Multi-dimensional arrays and mathematical functions in HDLMath1 Table 3 – Examples of overflow handling
14	5.7 Mixed numerical and symbolic computations 5.8 Feedback process Figure 4 – Multi-dimensional arrays and mathematical functions in HDLMath2 Figure 5 – Mixed numerical and symbolic computations in HDLMath1 and HDLMath2 Figure 6 – Example of a feedback process
15	5.9 User-defined functions in C-code Figure 7 – Example of feedback process in HDLMath1 and HDLMath2 Figure 8 – Examples of user-defined functions in C-code in HDLMath1 and HDLMath2
16	5.10 Verification environment 6 Comparison of current HDLMath languages Figure 9 – Structure of test-bench description of HDLMath1 and HDLMath2
17	7 Conclusion Table 4 – Comparison of current HDLMaths
18	Bibliography

Status

Definitive

Pages

Publication Date

2017-01-10

ISBN

978 0 580 93916 7

Standard Number

PD IEC/TR 63051:2017

Title

Documentation on design automation subjects. Mathematical algorithm hardware description languages for system level modeling and verification (HDLMath)

Identical National Standard Of

IEC TR 63051:2017

Descriptors

Utility programs, Design, Data layout, Specifications, Programming languages, Data processing, Syntax, High-level languages, Automatic control systems, Computer hardware, Semantics, Computer technology, Cryptography, Data processing equipment

Publisher

BSI

Committee

EPL/501

ICS Codes

35.240.50 - IT applications in industry


PDF Format	Searchable	Printable	Preview Now

BSI PD IEC/TR 63051:2017

PDF Catalog

Related products