Concat us[email protected]
Shopping Cart

No products in the cart.

🔍
BSI PD IEC/TR 63051:2017

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
PDF Format Searchable Printable Preview Now
Guaranteed Safe Checkout
Categories: ,

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

Related products

BSI PD IEC/TR 63051:2017
$102.76