IEC_62050-2005_IEEE_1076.6.pdf

INTERNATIONAL STANDARD IEC62050 First edition2005-07 IEEE 1076.6VHDL Register Transfer Level(RTL)synthesis Reference number IEC 62050(E):2005 IEEE Std.1076.6(E):2004 LICENSED TO MECON Limited.-RANCHI/BANGALOREFOR INTERNAL USE AT THIS LOCATION ONLY,SUPPLIED BY BOOK SUPPLY BUREAU.Publication numbering As from 1 January 1997 all IEC publications are issued with a designation in the 60000 series.For example,IEC 34-1 is now referred to as IEC 60034-1.Consolidated editions The IEC is now publishing consolidated versions of its publications.For example,edition numbers 1.0,1.1 and 1.2 refer,respectively,to the base publication,the base publication incorporating amendment 1 and the base publication incorporating amendments 1 and 2.Further information on IEC publications The technical content of IEC publications is kept under constant review by the IEC,thus ensuring that the content reflects current technology.Information relating to this publication,including its validity,is available in the IEC Catalogue of publications(see below)in addition to new editions,amendments and corrigenda.Information on the subjects under consideration and work in progress undertaken by the technical committee which has prepared this publication,as well as the list of publications issued,is also available from the following:IEC Web Site(www.iec.ch)Catalogue of IEC publications The on-line catalogue on the IEC web site(www.iec.ch/searchpub)enables you to search by a variety of criteria including text searches,technical committees and date of publication.On-line information is also available on recently issued publications,withdrawn and replaced publications,as well as corrigenda.IEC Just Published This summary of recently issued publications(www.iec.ch/online_news/justpub)is also available by email.Please contact the Customer Service Centre(see below)for further information.Customer Service Centre If you have any questions regarding this publication or need further assistance,please contact the Customer Service Centre:Email:custserviec.ch Tel:+41 22 919 02 11 Fax:+41 22 919 03 00 LICENSED TO MECON Limited.-RANCHI/BANGALOREFOR INTERNAL USE AT THIS LOCATION ONLY,SUPPLIED BY BOOK SUPPLY BUREAU.VHDL Register Transfer Level(RTL)synthesis INTERNATIONAL STANDARD IEC62050 First edition2005-07 IEEE 1076.6Commission Electrotechnique InternationaleInternational Electrotechnical Commission IEEE 2005 Copyright-all rights reserved IEEE is a registered trademark in the U.S.Patent&Trademark Office,owned by the Institute of Electrical and Electronics Engineers,Inc.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 the publisher.International Electrotechnical Commission,3,rue de Varemb,PO Box 131,CH-1211 Geneva 20,SwitzerlandTelephone:+41 22 919 02 11 Telefax:+41 22 919 03 00 E-mail:inmailiec.ch Web:www.iec.ch The Institute of Electrical and Electronics Engineers,Inc,3 Park Avenue,New York,NY 10016-5997,USATelephone:+1 732 562 3800 Telefax:+1 732 562 1571 E-mail:stds-infoieee.org Web:www.standards.ieee.org LICENSED TO MECON Limited.-RANCHI/BANGALOREFOR INTERNAL USE AT THIS LOCATION ONLY,SUPPLIED BY BOOK SUPPLY BUREAU.1.Overview.91.1 Scope.91.2 Compliance to this standard.91.3 Terminology.101.4 Conventions.102.References.113.Definitions and acronyms.113.1 Definitions.113.2 Acronyms.124.Predefined types.135.Verification methodology.135.1 Combinational verification.145.2 Sequential verification.146.Modeling hardware elements.156.1 Edge-sensitive sequential logic.156.2 Level-sensitive sequential logic.276.3 Three-state logic and busses.316.4 Combinational logic.316.5 ROM and RAM memories.327.Pragmas.377.1 Attributes.377.2 Metacomments.548.Syntax.558.1 Design entities and configurations.558.2 Subprograms and packages.608.3 Types.648.4 Declarations.698.5 Specifications.758.6 Names.778.7 Expressions.798.8 Sequential statements.838.9 Concurrent statements.898.10 Scope and visibility.948.11 Design units and their analysis.958.12 Elaboration.968.13 Lexical elements.968.14 Predefined language environment.96Annex A(informative)Syntax summary.99Index.120IEC 62050:2005(E)IEEE 1076.6-2004(E)2 FOREWORD.3 IEEE Introduction.6 Published by IEC under licence from IEEE.2005 IEEE.All rights reserved.Annex C(informative)List of Participants.119 Annex B(normative)Synthesis package RTL_ATTRIBUTES.118CONTENTSLICENSED TO MECON Limited.-RANCHI/BANGALOREFOR INTERNAL USE AT THIS LOCATION ONLY,SUPPLIED BY BOOK SUPPLY BUREAU.IEC 62050:2005(E)IEEE 1076.6-2004(E)3 Published by IEC under licence from IEEE.2005 IEEE.All rights reserved.INTERNATIONAL ELECTROTECHNICAL COMMISSION _ VHDL REGISTER TRANSFERT LEVEL(RTL)SYNTHESIS FOREWORD 1)The International Electrotechnical Commission(IEC)is a worldwide organization for standardization comprising all national electrotechnical committees(IEC National Committees).The object of IEC is to promote international co-operatio