IEC_61691-5-2004_IEEE_1076.4.pdf

INTERNATIONALSTANDARD IEC61691-5 First edition2004-10 IEEE 1076.4Behavioural languages Part 5:VITAL ASIC(application specific integrated circuit)modeling specification Reference number IEC 61691-5(E):2004 IEEE Std.1076.4(E):2000 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.Behavioural languages Part 5:VITAL ASIC(application specific integrated circuit)modeling specification INTERNATIONALSTANDARD IEC61691-5 First edition2004-10 IEEE 1076.4Commission Electrotechnique InternationaleInternational Electrotechnical Commission Copyright IEEE 2004 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.Copyright 2001 IEEE.All rights reserved.1.Overview.101.1 Scope.101.2 Purpose.101.3 Intent of this standard.101.4 Structure and terminology of this standard.101.5 Syntactic description.111.6 Semantic description.121.7 Front matter,examples,figures,notes,and annexes.122.References.123.Basic elements of the VITAL ASIC modeling specification.133.1 VITAL modeling levels and compliance.133.2 VITAL standard packages.143.3 VITAL specification for timing data insertion.144.The Level 0 specification.164.1 The VITAL_Level0 attribute.164.2 General usage rules.164.3 The Level 0 entity interface.174.4 The Level 0 architecture body.265.Backannotation.285.1 Backannotation methods.285.2 The VITAL SDF map.296.The Level 1 specification.446.1 The VITAL_Level1 attribute.446.2 The Level 1 architecture body.446.3 The Level 1 architecture declarative part.456.4 The Level 1 architecture statement part.457.Predefined primitives and tables.557.1 VITAL logic primitives.557.2 VitalResolve.577.3 VITAL table primitives.578.Timing constraints.638.1 Timing check procedures.638.2 Modeling negative timing constraints.689.Delay selection.799.1 VITAL delay types and subtypes.792IEC 61691-5:2004(E)IEEE 1076.4-2000(E)Published by IEC under licence from IEEE.2004 IEEE.All rights reserved.CONTENTS FOREWORD.4 IEEE Introduction.8 LICENSED TO MECON Limited.-RANCHI/BANGALOREFOR INTERNAL USE AT THIS LOCATION ONLY,SUPPLIED BY BOOK SUPPLY BUREAU.Copyright 2001 IEEE.All rights reserved.9.2 Transition dependent delay selection.809.3 Glitch handling.809.4 Path delay procedures.819.5 Delay selection in VITAL primitives.839.6 VitalExtendToFill