【英文标准名称】:StandardTestMethodforTotalChlorineinCoalbytheOxygenBombCombustion/IonSelectiveElectrodeMethod
【原文标准名称】:用氧弹燃烧/离子选择电极法对煤中总氯含量的试验方法
【标准号】:ASTMD4208-1988
【标准状态】:作废
【国别】:美国
【发布日期】:1988
【实施或试行日期】:
【发布单位】:美国材料与试验协会(ASTM)
【起草单位】:ASTM
【标准类型】:()
【标准水平】:()
【中文主题词】:试验;煤;燃料;氯;含量测定;固体燃料
【英文主题词】:solidfuels;chlorine;coal;determinationofcontent;testing;fuels
【摘要】:
【中国标准分类号】:D21
【国际标准分类号】:75_160_10
【页数】:4P;A4
【正文语种】:英语


【英文标准名称】:StandardforSystemVerilog:UnifiedHardwareDesign,SpecificationandVerificationLanguage
【原文标准名称】:硬件描述语言标准:统一硬件设计和验证语言
【标准号】:ANSI/IEEE1800-2005
【标准状态】:作废
【国别】:美国
【发布日期】:2005
【实施或试行日期】:
【发布单位】:美国国家标准学会(US-ANSI)
【起草单位】:ANSI
【标准类型】:()
【标准水平】:()
【中文主题词】:通路;应用程序接口;自动化;计算机硬件;数据格式;数据模型;数据处理;数据传送;数据类型;描述;设计;电子工程;电子系统;文件结构;文档;文件;功能描述;五金件;信息处理;接口(数据处理);程序;程序设计;程序设计语言;语义学;模拟;硬件语言描述
【英文主题词】:Access;API;ApplicationProgramInterface;Automation;Computerhardware;Dataformats;Datamodels;Dataprocessing;Datatransfer;Datatypes;Descriptions;Design;Electronicengineering;Electronicsystems;Filestructure;Files;Functionaldescriptions;Hardware;Informationprocessing;Interfaces(dataprocessing);Programmes;Programming;Programminglanguages;Semantics;Simulation;Verilog
【摘要】:SpecifiesextensionsforahigherlevelofabstractionformodelingandverificationwiththeVerilogHardwareDescriptionLanguage.TheadditionsextendVerilogintothesystemsspaceandtheverificationspace.SystemVerilogisbuiltontopoftheIEEE1364standardfortheVerilogHardwareDescriptionLanguage.TheSystemVerilogstandardincludesdesignspecificationmethods,embeddedassertionslanguage,testbenchlanguageincludingcoverageandassertionsAPI,andadirectprogramminginterface.
【中国标准分类号】:L74
【国际标准分类号】:35_060
【页数】:
【正文语种】:英语