L74 程序语言 标准查询与下载

IEC 62525:2007 数字试验矢量数据用标准试验接口语言(STIL)

This standard defines a test description language that: a) Facilitates the transfer of large volumes of digital test vector data from CAE environments to automated test equipment (ATE) environments; b) Specifies pattern, format, and timing information sufficient to define the application of digital test vectors to a device under test (DUT); c) Supports the volume of test vector data generated from structured tests such as scan/automatic test pattern generation (ATPG), integral test techniques such as built-in self test (BIST), and functional test specifications for IC designs and their assemblies, in a format optimized for application in ATE environments. In setting the scope for any standard, some issues are defined to not be pertinent to the initial project. The following is a partial list of issues that were dropped from the scope of this initial project: — Levels: A key aspect of a digital test program is the ability to establish voltage and current parameters (levels) for signals under test. Level handling is not explicitly defined in the current standard, as this information is both compact (not presenting a transportation issue) and commonly established independently of digital test data, requiring different support mechanisms outside the current scope of this standard. Termination values may affect levels. — Diagnostic/fault-tracing information: The goal of this standard is to optimally present data that needs to be moved onto ATE. While diagnostic data, fault identification data, and macro/design element correspondence data can fall into this category (and is often fairly large), this standard is also focused on integrated circuit and assemblies test, and most debug/failure analysis occurs separately from the ATE for these structures. Note that return of failure information (for off-ATE analysis) is also not part of the standard as currently defined. — Datalogging mechanisms, formatting, and control usually are not defined as part of this current standard. — Parametric tests are not defined as an integral part of this standard, except for optional pattern labels that identify potential locations for parametric tests, such as IDDQ tests or alternating current (AC) timing tests. — Program flow: Test sequencing and ordering are not defined as part of the current standard except as necessary to define collections of digital patterns meant to execute as a unit. — Binning constructs are not part of the current standard. — Analog or mixed-signal test: While this is an area of concern for many participants, at this point transfer of analog test data does not contribute to the same transportation issue seen with digital data. — Algorithmic pattern constructs (such as sequences commonly used for memory test) are not currently defined as part of the standard. — Parallel test/multisite test constructs are not an integral part of the current environment. — User input and user control/options are not part of the current standard. — Characterization tools, such as shmoo plots, are not defined as part of the current standard.

Standard Test Interface Language (STIL) for digital test vector data

ISO/IEC 9899:1999/Cor 3:2007 编程语言.C语言.技术勘误3

This standard is Programming languages - C; Technical Corrigendum 3.

Programming languages - C; Technical Corrigendum 3

IEC 62530:2007 系统级硬件描述语言标准.统一硬件设计、规范和鉴定语言

This standard specifies extensions for a higher level of abstraction for modeling and verification with the Verilog? hardware description language (HDL). These additions extend Verilog into the systems space and the verification space. SystemVerilog is built on top of IEEE Std 1364?1 for the Verilog HDL. This standard includes design specification methods, embedded assertions language, testbench language including coverage and assertions application programming interface (API), and a direct programming interface (DPI). Throughout this standard, the following terms apply: — Verilog refers to IEEE Std 1364 for the Verilog HDL. — Verilog-2001 refers to IEEE Std 1364-2001 [B4]2 for the Verilog HDL. — Verilog-1995 refers to IEEE Std 1364-1995 [B3] for the Verilog HDL. — SystemVerilog refers to the extensions to the Verilog standard (IEEE Std 1364) as defined in this standard.

Standard for SystemVerilog - Unified hardware design, specification and verification language

IEC 62531:2007 特性规范语言(PSL)用标准

This standard defines the property specification language (PSL), which formally describes electronic system behavior. This standard specifies the syntax and semantics for PSL and also clarifies how PSL interfaces with various standard electronic system design languages.

Standard for property specification language (PSL)

IEC 62526:2007 半导体设计环境用标准试验接口语言(STIL)扩展标准

Structures are defined in STIL to support usage as semiconductor simulation stimulus, including (1) mapping signal names to equivalent design references, (2) interface between scan and built-in self test (BIST) and the logic simulation, (3) data types to represent unresolved states in a pattern, (4) parallel or asynchronous pattern execution on different design blocks, and (5) expression-based conditional execution of pattern constructs. Structures are defined in STIL to support the definition of test patterns for sub-blocks of a design4 (i.e., embedded cores) such that these tests can be incorporated into a complete higher level device test. Structures are defined in STIL to relate fail information from device testing environments back to original stimulus and design data elements.

Standard for extensions to Standard Test Interface Language (STIL) for semiconductor design environments

BS ISO/IEC 24707:2007 信息技术.普通逻辑(CL).基于逻辑的语言族的构架

This International Standard specifies a family of logic languages designed for use in the representation and interchange of information and data among disparate computer systems. The following features are essential to the design of this International Standard: • Languages in the family have declarative semantics. It is possible to understand the meaning of expressions in these languages without appeal to an interpreter for manipulating those expressions. • Languages in the family are logically comprehensive — at its most general, they provide for the expression of arbitrary first-order logical sentences. • Interchange of information among heterogeneous computer systems. The following are within the scope of this International Standard: • representation of information in ontologies and knowledge bases; • specification of expressions that are the input or output of inference engines; • formal interpretations of the symbols in the language. The following are outside the scope of this International Standard: • the specification of proof theory or inference rules; • specification of translators between the notations of heterogeneous computer systems; • computer-based operational methods of providing relationships between symbols in the logical “universe of discourse” and individuals in the “real world”. This International Standard describes Common Logic’s syntax and semantics. It defines an abstract syntax and an associated model-theoretic semantics for a specific extension of firstorder logic. The intent is that the content of any system using first-order logic can be represented in this International Standard. The purpose is to facilitate interchange of first-order logic-based information between systems. Issues relating to computability using this International Standard (efficiency, optimization, etc.) are not addressed.

Information technology - Common Logic (CL) - A framework for a family of logic-based languages

KS X ISO 1989:2007 信息技术.程序设计语言(COBOL)

? ??? COBOL?? ???? ????? ??? ??? ??? ????. ? ??? ?

Programming languages-Cobol(endorsement of ansi standard x3.23-1985)

KS X ISO/IEC TR 10182:2007 信息技术.程序设计语言及其环境和系统软件接口.语言汇编指南

? ??? ?? ??? ? ?? ??? ????? ??? ??? ??? ???. ? ???

Information Technology-Programming languages, their environments and system software interface-Guidelines for language binding

KS X 2012-2007 UNIX环境下的C语言

? ??? C ????? ??? ??? ????? ??? ??? ????, ??? ????

Information technology-C language in unix environment

KS X ISO/IEC 13719-3:2007 信息技术.可移植的公共工具环境(PCTE).第3部分:Ada编程语言联编

? ??? Ada ????? ??? ??? ????? ?? ? ??(PCTE) ??????

Information technology-Portable common tool environment(PCTE)-Part 3:Ada programming language binding

ANSI/IEEE 1076.1:2007 标准硬件描述语言(VHDL)模拟和复合信号扩展

This standard defines the 1076.1 language, a hardware description language for the description and the simulation of analog, digital, and mixed-signal systems. The language, informally known as VHDL-AMS, is built on the ANSI/IEEE Std 1076-2002 (VHDL) language, and extends it to provide capabilities of writing and simulating analog and mixed-signal models.

Standard VHDL Analog and Mixed-Signal Extensions

ISO/IEC 13816:2007 信息技术.程序设计语言、其环境和系统软件接口.程序设计语言ISLISP

This International Standard specifies syntax and semantics of the computer programming language ISLISP by specifying requirements for a conforming ISLISP processor and a conforming ISLISP text. This International Standard does not specify: (a) the size or complexity of an ISLISP text that exceeds the capacity of any specific data processing system or the capacity of a particular processor, nor the actions to be taken when the corresponding limits are exceeded; (b) the minimal requirements of a data processing system that is capable of supporting an implementation of a processor for ISLISP; (c) the method of preparation of an ISLISP text for execution and the method of activation of this ISLISP text, prepared for execution; (d) the typographical presentation of an ISLISP text published for human reading; (e) extensions that might or might not be provided by the implementation.

Information technology - Programming languages, their environments and system software interfaces - Programming language ISLISP

ISO/IEC 24707:2007 信息技术.通用逻辑(CL):基于逻辑的语言族的构架

This International Standard specifies a family of logic languages designed for use in the representation and interchange of information and data among disparate computer systems. The following features are essential to the design of this International Standard: • Languages in the family have declarative semantics. It is possible to understand the meaning of expressions in these languages without appeal to an interpreter for manipulating those expressions. • Languages in the family are logically comprehensive — at its most general, they provide for the expression of arbitrary first-order logical sentences. • Interchange of information among heterogeneous computer systems. The following are within the scope of this International Standard: • representation of information in ontologies and knowledge bases; • specification of expressions that are the input or output of inference engines; • formal interpretations of the symbols in the language. The following are outside the scope of this International Standard: • the specification of proof theory or inference rules; • specification of translators between the notations of heterogeneous computer systems; • computer-based operational methods of providing relationships between symbols in the logical “universe of discourse” and individuals in the “real world”. This International Standard describes Common Logic’s syntax and semantics. It defines an abstract syntax and an associated model-theoretic semantics for a specific extension of firstorder logic. The intent is that the content of any system using first-order logic can be represented in this International Standard. The purpose is to facilitate interchange of first-order logic-based information between systems. Issues relating to computability using this International Standard (efficiency, optimization, etc.) are not addressed.

Information technology - Common Logic (CL): a framework for a family of logic-based languages

JIS X 3005-13:2007 信息技术.数据库语言.SQL.第13部分:使用JavaTM程序设计语言的SQL例程和类型(SQL/JRT)

この規格は，Javaプログラム言語で書かれた静的メソッドをSQL呼出しルーチンとして呼び出す機能，及びJavaプログラム言語で定義されたクラスをSQL利用者定義構造型として用いる機能を規定する(Javaほ，Sun Microsystcma.Incの登録商標である。)。

Information technology -- Database languages -- SQL -- Part 13: SQL Routines and Types Using the JavaTM Programming Language (SQL/JRT)

ISO/IEC TR 24731-1:2007 信息技术.程序设计语言及其环境和系统软件接口.C语言程序库的扩展部分.第1部分:边界检查接口

This Technical Report specifies a series of extensions of the programming language C, specified by International Standard ISO/IEC 9899-1999. These extensions can be useful in the mitigation of security vulnerabilities in programs,and consist of a new predefined macro,and new functions,macros,and types declared or defined in existing standard headers. International Standard ISO/IEC 9899-1999 provides important context and specification for this Technical Report.Clauses 3 and 4 of ISO/IEC 9899-1999.Clause 5 of this Technical Report is to be read as if it weremerged into Subclause6.10.8 of ISO/IEC 9899-1999.Clause 6 of this Technical Report is to be read as if it were merged into the parallel structure of named Subclauses of Clause 7 of ISO/IEC 9899-1999.Statements made in ISO/IEC 9899-1999,whether about the language or library,apply to this Technical Report unless a corresponding section of this Technical Reprot states otherwise.In particular,Subclause 7.14("Use of library functions")of ISO/IEC 9899-1999 applies to this Technical Report.

Information technology - Programming languages, their environments and system software interfaces - Extensions to the C library - Part 1: Bounds-checking interfaces

ANSI/IEEE 1450.3:2007 检测器目标规范用标准测试接口语言(STIL)(IEEE Std 1450-1999)的扩展标准

Defines structures in STIL: 1. For the specification of resource mapping of ATE hardware architecture. An example of resource mapping is the assignment of tester resources to waveform characters that are used in STIL-vectors. 2. For including ATE specific instructions in-line with the STIL data. 3. That allow for 'incremental processing' whereby a set of STIL files may be targeted to multiple ATE systems by allowing separately identified ATE data to co-exist. 4. For defining tester rules checks to ensure that the set of generated STIL files conform to the selected resources on one or more ATE systems. 5. For the specification of the resources required for the execution of a set of STIL files on a given ATE system.

Standard for Extensions to Standard Test Interface Language (STIL) (IEEE Std. 1450-1999) for Tester Target Specification

ECA SP 5171-2007 电气连接器/插座测试程序,包括对环境的分类 发表为ANSI/EIA/ECA-364-E

This standard establishes a recommended minimum test sequence and test procedures for electrical connectors and sockets. This standard also includes administrative details and guidelines for connector/socket qualification and an annex for pertinent techni

Electrical Connector/Socket Test Procedures Including Environmental Classifications To be published as ANSI/EIA/ECA-364-E

ECA SP 5170-2007 电连接器的电缆弯曲试验程序.发表为ANSI/EIA/ECA-364-41D

This standard establishes a method to determine the effectiveness of circular jacketed cable to plug seal, or flat cable to plug seal or interface to withstand strain under repeated alternating cable-flexing stresses as experienced in use with cable strai

Cable Flexing Test Procedure for Electrical Connectors To be published as ANSI/EIA/ECA-364-41D

KS X ISO 24610-1:2007 语言资源管理.特征结构.第1部分:特征结构表示法

? ??? ???? ??? ?? ???, ?? ?? ???? ?? ??? ???? ?? ?

Language resource management-Feature structures-Part 1:Feature structure representation

BS DD CEN ISO/TS 19139:2007 地理信息.元数据.可扩展标记语言(XML)计划的实施

Geographic information - Metadata - XML schema implementation