In terms of the authors sketch of design and verification of safety programs, a pointer logic system is designed for a subset of C-like language.
文中根据作者所设想的安全程序的设计和证明框架，为类c语言的一个子集设计了一个指针逻辑系统。
By analyzing the basic logic procedure of solving problems in control systems, this paper gives a general design principle of CADCSC command language.
本文分析了解决控制系统问题的基本逻辑过程，由此归纳出了控制系统CAD命令语言的一般设计原则。
The conceptually oriented design knowledge acquisition system described in this paper is a very general knowledge acquisition environment which understands basic logic and language.
本文提出的面向概念的知识获取系统是一个能理解基本逻辑和自然语言的通用知识获取环境。
The design procedure of arbiter logic by hardware description language and state with transform conditions are also demonstrated.
阐述了用硬件描述语言设计仲裁逻辑的具体过程，给出了逻辑状态机和转换关系。
Now, many digital logic systems cannot do without computer aided design CAD, especially the VHDL Hardware Description Language.
数字逻辑系统的设计离不开计算机辅助设计CAD工具的帮助，尤其是VHDL硬件描述语言。
And combinational logic circuits by using VHDL language and in two ways, comparing the merits of the two implementations and different design processes and ideas.
并且通过应用组合逻辑电路和VHDL语言实现两种方法，对照了两种实现方法的优劣及不同的设计流程和思想。
And combinational logic circuits by using VHDL language and in two ways, comparing the merits of the two implementations and different design processes and ideas.
并且通过应用组合逻辑电路和VHDL语言实现两种方法，对照了两种实现方法的优劣及不同的设计流程和思想。
应用推荐