收藏 分享(赏)

IEC_TR_63051-2017.pdf

上传人:益****师 文档编号:236011 上传时间:2023-03-14 格式:PDF 页数:20 大小:919.17KB
下载 相关 举报
IEC_TR_63051-2017.pdf_第1页
第1页 / 共20页
IEC_TR_63051-2017.pdf_第2页
第2页 / 共20页
IEC_TR_63051-2017.pdf_第3页
第3页 / 共20页
IEC_TR_63051-2017.pdf_第4页
第4页 / 共20页
IEC_TR_63051-2017.pdf_第5页
第5页 / 共20页
IEC_TR_63051-2017.pdf_第6页
第6页 / 共20页
亲,该文档总共20页,到这儿已超出免费预览范围,如果喜欢就下载吧!
资源描述

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

展开阅读全文
相关资源
猜你喜欢
相关搜索

当前位置:首页 > 专业资料 > 国外标准

copyright@ 2008-2023 wnwk.com网站版权所有

经营许可证编号:浙ICP备2024059924号-2