An automatic test pattern generation system, SOCRATES, is presented. SOCRATES includes several novel concepts and techniques that significantly improve and accelerate the automatic test pattern generation process for ...
详细信息
An automatic test pattern generation system, SOCRATES, is presented. SOCRATES includes several novel concepts and techniques that significantly improve and accelerate the automatic test pattern generation process for combinational and scan-based circuits. Based on the FAN algorithm, improved implication, sensitization, and multiple backtrace procedures are described. The application of these techniques leads to a considerable reduction of the number of backtrackings and an earlier recognition of conflicts and redundancies. Several experiments using a set of combinational benchmark circuits demonstrate the efficiency of SOCRATES and its cost-effectiveness, even in a workstation environment.< >
A placement method for cell-based layout styles composed of alternating and interacting global optimization and partitioning phases is presented. In contrast to other methods using the divide-and-conquer paradigm, it ...
详细信息
A placement method for cell-based layout styles composed of alternating and interacting global optimization and partitioning phases is presented. In contrast to other methods using the divide-and-conquer paradigm, it maintains the simultaneous treatment of all cells during optimization over all levels of partitioning. In the global optimization phases, constrained quadratic optimization problems with unique global minima are solved. Their solutions induce the assignment of cells to regions during the partitioning phases. For general-cell circuits, a highly efficient exhaustive slicing procedure is applied to small subsets of cells. The designer may choose a configuration from a menu to meet his requirements on chip area, chip aspect ratio and wire length. Placements with high area utilization are obtained within short computation times. The method has been applied to general-cell and standard-cell circuits with up to 3000 cells and nets.< >
Based on the sophisticated strategies used in the automatic test pattern generation system SOCRATES, the authors present several concepts aiming at a further improvement and acceleration of the deterministic test patt...
详细信息
Based on the sophisticated strategies used in the automatic test pattern generation system SOCRATES, the authors present several concepts aiming at a further improvement and acceleration of the deterministic test pattern generation and redundancy identification process. In particular, they describe an improved implication procedure and an improved unique sensitization procedure. Both procedures significantly advance the deterministic test pattern generation and redundancy identification especially for those faults, for which it is difficult to generate a test pattern or to prove them to be redundant, respectively. As a result of the application of the proposed techniques, SOCRATES is capable of successfully generating a test pattern for all testable faults in a set of combinational benchmark circuits, and of identifying all redundant faults with less than 10 backtrackings.< >
The principles of fault simulation and fault grading are introduced by a general description of the problem. Based upon the well-known concept of restricting fault simulation to the fanout stems and of combining it wi...
详细信息
The principles of fault simulation and fault grading are introduced by a general description of the problem. Based upon the well-known concept of restricting fault simulation to the fanout stems and of combining it with a backward traversal inside the fanout-free regions of the circuit, proposals are presented to further accelerate fault simulation and fault grading. These proposals aim at parallel processing of patterns at all stages of the calculation procedure, at reducing the number of fanout stems for which a fault simulation has to be carried out, and at taking advantage of structural characteristics of the circuit. An experiment with a set of benchmark circuits demonstrates the efficiency of the proposed approaches.
作者:
CARLSON, CMFIREMAN, HCraig M. Carlson:is a general engineer in the Computer Aided Engineering Division (SEA-507). He received his B.S. degree in naval architecture from the University of Michigan in 1970. In 1972
he was selected for the NAVSEC Hull Division's Long Term Training Program at the University of Michigan and received his M. S. E. degree in naval architecture in 1973. Additionally he has done graduate work in computer science at The Johns Hopkins University. Mr. Carlson began his career with the Naval Ship Engineering Center in 1970 where he worked in the Ship Arrangements Branch. While in ship arrangements he was task leader for the PGG PCG PHM and MCM ship designs. In addition he was project engineer for shipboard stowage ship space classification system and ship standard nomenclature. He was technical manager of the CASDAC arrangement subsystem and the CASDAC hull design system. In 1982 he joined what is now the Computer Aided Engineering Division. Currently he is the manager for the computer supported design version XX system. Besides ASNE which he joined in 1972 he is a member of SNA ME and the U.S. Naval Institute. Howard Fireman:is a naval architect in the Ship Arrangements Design Division (SEA-55W1). He received his B. S. E. degree in naval architecture from the University of Michigan in 1979. In 1983
he was selected for NavSea's Long Term Training Program at the University of Michigan and received his M. S. E. degree in naval architecture with a specialization in ship production and computer aided ship design in 1985. Mr. Fireman began his career with the Naval Ship Engineering Center in 1977 as an engineering cooperative student. Since graduating from the NavSea EIT program he has worked in the Ship Arrangements Design Division. He was task leader for the AOE-6 AE-36 T-AH ARS-SO and SWATH T-AGOS ship designs. He is technical manager of the CSD General Arrangement Design System and is currently the Hull Group CSD coordinator. Besides ASNE which he joined in 1979 he is a member of SNA ME ASE a
The ever increasing complexity of ships coupled with cost, schedule, and resource constraints require innovative methods by the Naval Sea Systems Command's ship design community to meet this challenge. This paper ...
详细信息
The ever increasing complexity of ships coupled with cost, schedule, and resource constraints require innovative methods by the Naval Sea Systems Command's ship design community to meet this challenge. This paper describes the effort by the NavSea Ship Arrangement design Division to dramatically improve its ship design capability by the use of a system of computer-based design tools called the General Arrangement design System. The General Arrangement design System (GADS) is based on the engineering requirements of the ship arrangement design process. GADS is currently being used as a production engineering tool. This paper is organized into two parts. Part I describes the General Arrangement design System, and Part II describes the general arrangement design methodology.
A new two-phased method for the simultaneous placement of modules for standard-cell layout is presented. In phase one, a relative placement is calculated by application of an iterative solution method taking advantage...
详细信息
A new two-phased method for the simultaneous placement of modules for standard-cell layout is presented. In phase one, a relative placement is calculated by application of an iterative solution method taking advantage...
详细信息
A new two-phased method for the simultaneous placement of modules for standard-cell layout is presented. In phase one, a relative placement is calculated by application of an iterative solution method taking advantage of net-list sparsity. A fast algorithm is derived from a new formulation of the problem. In addition, signal weights and pin coordinates are considered. In phase two, different-sized modules are assigned to physical locations by solving a transportation problem.
A new two-phased method for the simultaneous placement of modules for standard-cell layout is presented. In phase one, a relative placement is calculated by application of an iterative solution method taking advantage...
ISBN:
(纸本)9780818607028
A new two-phased method for the simultaneous placement of modules for standard-cell layout is presented. In phase one, a relative placement is calculated by application of an iterative solution method taking advantage of net-list scarcity. A fast algorithm is derived from a new formulation of the problem. In addition, signal weights and pin coordinates are considered. In phase two, different-sized modules are assigned to physical locations by solving a transportation problem.
作者:
GUPTA, SKSCHMIDT, TWSudhir “S.K.” Guptais currently manager
technical programs at Lockheed Shipbuilding Company Seattle Washington. He graduated from the Marine Engineering College India in 1972 and spent eight years as a marine engineer on commercial ships including service as a licensed chief engineer. In 1981 he received his BSE degree in naval architecture and marine engineering from the University of Michigan. Before joining LSC Mr. Gupta worked with Designers and Planners Inc. His current responsibilities include management of SWA TH design and development efforts. Other experience has been in the fields of computer aided design and early-stage ship design. He received the Robert E. Gross Award for Technical Excellence as Engineer/Scientist of the Year from Lockheed Corporation in 1984 for his stability studies on LSD-41 class ships. Mr. Gupta has earlier presented technical papers on ship production and diesel engines. He is a member of SNAME ASNE RINA Institute of Marine Engineers and is registered as a chartered engineer in U.K. and in India. Terrence W. Schmidtgraduated from California State Polytechnic University in 1966 receiving his BS degree in aeronautical engineering. He received his MS degree in mechanical engineering from San Jose State University. Mr. Schmidt is currently a group leader at Lockheed Advanced Marine Systems
Santa Clara previously known as the Ocean Systems Division of Lockheed Missile and Space Company. A key participant on all SWATH projects his work led to him being awarded the Robert E. Gross A ward for Technical Excellence as Engineer/Scientist of the Year in 198S. His responsibilities include hydrodynamic design development and analysis of SWATH ships. He has performed experimental and analytical studies on a variety of advanced marine vehicles. From 1966 to 1973 Mr. Schmidt worked at ARO Inc. as a project engineer responsible for planning conducting and documenting wind tunnel test programs. Models included missiles aircraft and marine vehicles.
It has been over two decades since the start of SWATH technology development began in earnest. SWATH is no longer an “emerging” technology. SWATH ships are now state of the art and the technology has come of age. Wi...
详细信息
It has been over two decades since the start of SWATH technology development began in earnest. SWATH is no longer an “emerging” technology. SWATH ships are now state of the art and the technology has come of age. With the construction of the 3500 ton Kaiyo in Japan, SWATH vessels have moved from prototypes and demonstrators to modern, high performance working vessels. A number of new design techniques have been developed which enhance the seakeeping and maneuvering capability of these ships. Other concepts currently being developed include producibility improvements, structural design manuals, cost and weight estimation standards, and performance predictions based on scale models. A synthesis computer program has been developed for conceptual design based on existing SWATH ships and designs.
暂无评论