目的是要区分并联接这些关键的功能和数据元素，随之产生逻辑系统设计。
The objective is to identify and link these key functions and data elements, yielding a logical system design.
文中根据作者所设想的安全程序的设计和证明框架，为类c语言的一个子集设计了一个指针逻辑系统。
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.
数字逻辑系统的设计离不开计算机辅助设计CAD工具的帮助，尤其是VHDL硬件描述语言。
Now, many digital logic systems cannot do without computer aided design CAD, especially the VHDL Hardware Description Language.
应用推荐