A method for logic design verification is introduced in which a gate-level implementation of a circuit is compared with a functional-level specification. In this method, test patterns that were developed to detect sin...
详细信息
A method for logic design verification is introduced in which a gate-level implementation of a circuit is compared with a functional-level specification. In this method, test patterns that were developed to detect single stuck-line faults in the gate-level implementation are used instead to compare the gate-level implementation with the functional-level specification. In the presence of certain hypothesized design errors, such a test set will produce responses in the implementation that disagree with the responses in the specification. It is shown that the class of design errors that can be detected in this way is very large.< >
The key to the effectiveness of any cadsystem is the effectiveness of its human interface. Designers need an interface that is easily mastered, consistent across the variety of tools within the system, and adaptable....
详细信息
The key to the effectiveness of any cadsystem is the effectiveness of its human interface. Designers need an interface that is easily mastered, consistent across the variety of tools within the system, and adaptable....
ISBN:
(纸本)9780818607028
The key to the effectiveness of any cadsystem is the effectiveness of its human interface. Designers need an interface that is easily mastered, consistent across the variety of tools within the system, and adaptable. In an effort to provide this type of interface, the authors and others within the MCC cadprogram have built a software platform that isolates the input/output functions used by each cad tool from the software of the tool itself. This platform includes a grammar-driven front end which supports 'modeless' input and standardized subsystems for graphical input and output. Use of this platform is supported by a suite of utilities that simplify the effort required of the cad tool developer in specifying a user interface.
The key to the effectiveness of any cadsystem is the effectiveness of its human interface. Designers need an interface that is easily mastered, consistent across the variety of tools within the system, and adaptable....
详细信息
The key to the effectiveness of any cadsystem is the effectiveness of its human interface. Designers need an interface that is easily mastered, consistent across the variety of tools within the system, and adaptable. In an effort to provide this type of interface, the authors and others within the MCC cadprogram have built a software platform that isolates the input/output functions used by each cad tool from the software of the tool itself. This platform includes a grammar-driven front end which supports 'modeless' input and standardized subsystems for graphical input and output. Use of this platform is supported by a suite of utilities that simplify the effort required of the cad tool developer in specifying a user interface.
This paper presents an integrated approach to Computer-Aided Ship Design for U.S. Navy preliminary and contract design. An integrated Hull Design system (HDS), currently under development by the Hull Group of the Nava...
This paper presents an integrated approach to Computer-Aided Ship Design for U.S. Navy preliminary and contract design. An integrated Hull Design system (HDS), currently under development by the Hull Group of the Naval Sea systems Command (NAVSEA 32). is the vehicle for the discussion. This paper is directed toward practicing ship design professionals and the managers of the ship design process. Primary emphasis of this paper, and of the development effort currently under way, is on aiding ship design professionals in their work. Focus is on integration and management control of the extremely complex set of processes which make up naval ship design. The terminology of the Ship Designer and Design Manager is used. The reader needs no familiarity with the technologies of computer science.
暂无评论