A readily accessible and technology independent approach to the structureddesign of digital systems based on the concept of employing a design representation where each component element has a directly equivalent har...
详细信息
A readily accessible and technology independent approach to the structureddesign of digital systems based on the concept of employing a design representation where each component element has a directly equivalent hardware implementation is presented. Algorithmic State Machines (ASM) are used as a vehicle to demonstrate the principle in practice. An example implementation is compared with a number of alternative controller designs based on conventional techniques. Extension to larger scale design tasks is also addressed. The application of the technique to other design representations is discussed. The computer aided design tools required to employ the technique are considered.
The design of the electronic element in complex integrated systems is placing increasing demands on the designers of such systems with respect to factors such as performance, reliability, costs, and design time. This ...
详细信息
The design of the electronic element in complex integrated systems is placing increasing demands on the designers of such systems with respect to factors such as performance, reliability, costs, and design time. This is leading to a move by designers away from the more traditional and intuitive designmethods towards the adoption of a more structured approach to the design process. The paper proposes the viability of the approach being adopted for the design of the electronic component of a mechatronic system.
This paper discusses some of the structured techniques and processes which are employed by the Subsystems Electronics development group at IBM Havant. A number of processes can be applied at various stages of a develo...
详细信息
This paper discusses some of the structured techniques and processes which are employed by the Subsystems Electronics development group at IBM Havant. A number of processes can be applied at various stages of a development project, from the initial architecture phase, through the implementation phase, and eventually through to evaluation and product test. This paper focuses on those processes which are used during the specification, implementation and simulation phases of VLSI chip design.
The study of computing is split at an early stage between the branches that deal with hardware and software: there is also a corresponding split in professional specialization. This paper explores the essential unity ...
详细信息
The study of computing is split at an early stage between the branches that deal with hardware and software: there is also a corresponding split in professional specialization. This paper explores the essential unity of the two branches and attempts to find a common framework within which hardware-software codesigns can be formulated, transformed and reasoned about. We use the notion of program transformation to map a user's program into a variety of forms. These forms can then be interpreted as hardware, as software, or as machine code for an application-specific processor together with a hardware description of the processor. This paper deals with implementations which use at least two different forms simultaneously. A single application program can exploit the inherent, and widely differing, cost-performance characteristics that each of these forms has, in order to give hardware support to the parts of the application that need it most. We typically use Field-Programmable Gate Arrays in conjunction with microprocessors to implement our system. This enables us to construct realistic working hardware-software systems in hours or even minutes.
The success and acceptability of any design rest with the implementation of its specification by the designer. In making reliable software and hardwaredesigns, a formal method of design is often advocated and sometim...
详细信息
The success and acceptability of any design rest with the implementation of its specification by the designer. In making reliable software and hardwaredesigns, a formal method of design is often advocated and sometimes required. This method should always begin with expression of the need, followed by project definition, project planning, and specifying system requirements and system features in a requirement specification. Also, the specifier should define precisely the various functions required of the system and how these functions inter-relate with one another. This should then produce a functional specification. The designer must be able to understand the specification so that eventual implementation will satisfy the requirements laid down in the specification. It should be remembered that often the specification becomes a legal document between the designer (manufacturer) and the buyer (specifier). Hence, the specification must contain no ambiguities. A well-written specification will prevent both over-design or under-design of a system. A specification is the first in the spectrum of formal design mechanisms. This paper focuses attention on the rules or guidelines to follow when writing a system specification. These guidelines were derived from an investigation to evaluate how people understand a written specification. The specification can be written at three basic levels: a) the designer/manufacturer specification, b) the supplier/retailer specification, c) the buyer/user specification.
The components in avionics differ from the general commercial market for electronic components in three aspects: its low volume;its long life cycle;and its strong emphasis on safety. Commercial Off-The-Shelf (COTS) pa...
详细信息
The components in avionics differ from the general commercial market for electronic components in three aspects: its low volume;its long life cycle;and its strong emphasis on safety. Commercial Off-The-Shelf (COTS) parts are relatively cheap because of high volume, have a short production life because of the rate of technological progress, and offer little design assurance. The use of COTS hardware in avionic systems that gives importance to safety is investigated. The methods available to provide assurance for COTS hardware are presented. The certification mechanisms for equipments containing COTS hardware, assessment of service experience, consideration of hardware faults, and consideration of COTS firmware are discussed.
The design of embedded systems requires strict adherence to stringent safety, reliability and temporal constraints. A design environment is proposed for embedded systems. The proposed environment combines iterative an...
详细信息
The design of embedded systems requires strict adherence to stringent safety, reliability and temporal constraints. A design environment is proposed for embedded systems. The proposed environment combines iterative and search methods into an integrated environment. Co-simulation is seen as desirable to enable resolution of conflicting trade-offs modelled using specialist notations.
A readily accessible and technology independent approach to the structureddesign of digital systems based on the concept of employing a design representation where each component element has a directly equivalent har...
详细信息
A readily accessible and technology independent approach to the structureddesign of digital systems based on the concept of employing a design representation where each component element has a directly equivalent hardware implementation is presented. Algorithmic state machines (ASM) are used as a vehicle to demonstrate the principle in practice. An example implementation is compared with a number of alternative controller designs based on conventional techniques. Extension to larger scale design tasks is also addressed. The application of the technique to other design representations is discussed. The computer aided design tools required to employ the technique are considered.< >
暂无评论