1、 IEC TR 63051 Edition 1.0 2017-01 TECHNICAL REPORT Documentation on design automation subjects Mathematical algorithm hardware description languages for system lev el modeling and verification(HDLMath)IEC T R 63051:2017-01(en)colourinside THIS PUBLICATION IS COPYRIGHT PROTECTED Copyright 2017 IEC,Ge
2、neva,Switzerland All rights reserved.Unless otherwise specified,no part of this publication may be reproduced or utilized in any form or by any means,electronic or mechanical,including photocopying and microfilm,without permission in writing from either IEC or IECs member National Committee in the c
3、ountry of the requester.If you have any questions about IEC copyright or have an enquiry about obtaining additional rights to this publication,please contact the address below or your local IEC member National Committee for further information.IEC Central Office Tel.:+41 22 919 02 11 3,rue de Varemb
4、 Fax:+41 22 919 03 00 CH-1211 Geneva 20 infoiec.ch Switzerland www.iec.ch About the IEC The International Electrotechnical Commission(IEC)is the leading global organization that prepares and publishes International Standards for all electrical,electronic and related technologies.About IEC publicatio
5、ns The technical content of IEC publications is kept under constant review by the IEC.Please make sure that you have the latest edition,a corrigenda or an amendment might have been published.IEC Catalogue-webstore.iec.ch/catalogue The stand-alone applica tion for consulting the entir e bibliogr aphi
6、cal informa tion on IEC International Standar ds,Technical Specifica tions,Technical Reports and other documents.Av ailable for PC,Mac OS,Android Tablets and iPad.IEC publications search-www.iec.ch/searchpub The adv anced sear ch enables to find IEC publications by a var iety of cr iter ia(refer enc
7、e number,text,technica l committee,).It also gives infor ma tion on pr ojects,replaced and w ithdraw n publications.IEC Just Published-webstore.iec.ch/justpublished Stay up to da te on all new IEC publications.Just Published details all new publica tions released.Av ailable online and also once a mo
8、nth by email.Electropedia-www.electropedia.org The w or lds leading online dictionary of electronic and electrical terms containing 20 000 terms and definitions in English and Fr ench,w ith equiv alent ter ms in 16 additional languages.Also k nown as the Inter national Electr otechnical Vocabulary(I
9、EV)online.IEC Glossary-std.iec.ch/glossary 65 000 electrotechnical terminology entries in English and Fr ench extracted fr om the Terms and Definitions clause of IEC publica tions issued since 2002.Some entr ies hav e been collected from ear lier publications of IEC TC 37,77,86 and CISPR.IEC Custome
10、r Serv ice Centre-webstore.iec.ch/csc If you w ish to giv e us your feedback on this publication or need fur ther assistance,plea se contact the Customer Ser v ice Centre:csciec.ch.IEC TR 63051 Edition 1.0 2017-01 TECHNICAL REPORT Documentation on design automation subjects Mathematical algorithm ha
11、rdware description languages for system lev el modeling and v erification(HDLMath)INT ERNAT IONAL ELECT ROT ECHNICAL COMMISSION ICS 25.040.01;35.240.50 ISBN 978-2-8322-3772-4 Registered t rademark of the Internat ional Electrotechnica l Commission Warning!Mak e sure that you obtained this publicatio
12、n from an authorized distributor.colourinside 2 IEC TR 63051:2017 IEC 2017 CONTENTS FOREWORD.3 INTRODUCTION.5 1 Scope.7 2 Normative references.7 3 Terms and definitions.7 4 Definition and positioning of HDLMath.7 4.1 General.7 4.2 Current HDLMaths.7 4.3 Design abstraction level of HDLMath.8 5 Functi
13、onal requirements of HDLMath.9 5.1 General.9 5.2 Mathematical expressions.9 5.3 Various kinds of precision computation.10 5.4 Exception and error handling.10 5.5 Multi-dimensional arrays.11 5.6 Mathematical functions.11 5.7 Mixed numerical and symbolic computations.12 5.8 Feedback process.12 5.9 Use
14、r-defined functions in C-code.13 5.10 Verification environment.14 6 Comparison of current HDLMath languages.14 7 Conclusion.15 Bibliography.16 Figure 1 Numbers of description lines.9 Figure 2 Examples of mathematical expressions.10 Figure 3 Multi-dimensional arrays and mathematical functions in HDLM
15、ath1.11 Figure 4 Multi-dimensional arrays and mathematical functions in HDLMath2.12 Figure 5 Mixed numerical and symbolic computations in HDLMath1 and HDLMath2.12 Figure 6 Example of a feedback process.12 Figure 7 Example of feedback process in HDLMath1 and HDLMath2.13 Figure 8 Examples of user-defi
16、ned functions in C-code in HDLMath1 and HDLMath2.13 Figure 9 Structure of test-bench description of HDLMath1 and HDLMath2.14 Table 1 Examples of mathematics applications.5 Table 2 Examples of precision type.10 Table 3 Examples of overflow handling.11 Table 4 Comparison of current HDLMaths.15 IEC TR 63051:2017 IEC 2017 3 INTERNATIONAL ELECTROTECHNICAL COMMISSION _ DOCUMENTATION ON DESIGN AUTOMATION SUBJECTS MATHEMATICAL ALGORITHM HARDWARE DESCRIPTION LANGUAGES FOR SYSTEM LEVEL MODELING AND VERIFI