The paper presents the development of tools that supports programmable logic design portability. Support for design portability is the ability to target the same design to different programmable or custom ASIC technol...
详细信息
The paper presents the development of tools that supports programmable logic design portability. Support for design portability is the ability to target the same design to different programmable or custom ASIC technologies. Also shown is the advent of design synthesis tools which can be optimized for use and development of universal schematic libraries that support multiple device architectures.
The Center for computerapplications in Electro-Magnetic Education (CAEME), supported by ieeE/US National Science Foundation, has launched two volumes of CAEME software book as an initiative to stimulate and accelerat...
详细信息
The Center for computerapplications in Electro-Magnetic Education (CAEME), supported by ieeE/US National Science Foundation, has launched two volumes of CAEME software book as an initiative to stimulate and accelerate the use of computers and softwaretools in engineering education, particularly in the electromagnetic area. The CAEME software book, comprising total 32 packages, four multimedia lessons and two videotapes, covers almost all the topics in the education of electromagnetism. The book is distributed on a university membership program basis and has been generally well received by over 500 universities in over 30 countries.
This paper is an overview of top-down design with Mentor and Altera CAD tools. It outlines the entire process of designing hardware from writing VHDL to mapping the design to an FPGA. Intermediate steps including synt...
详细信息
This paper is an overview of top-down design with Mentor and Altera CAD tools. It outlines the entire process of designing hardware from writing VHDL to mapping the design to an FPGA. Intermediate steps including synthesis, optimisation, functional simulation, layout and partitioning are also discussed. The conclusion derives from our experiences.
The design support through the application of case based reasoning (CBR) is illustrated by means of three examples drawn from the past and current research, demonstrating the suitability of CBR in different aspects of...
详细信息
The design support through the application of case based reasoning (CBR) is illustrated by means of three examples drawn from the past and current research, demonstrating the suitability of CBR in different aspects of design, different problem areas, and different design goals. These examples are: a quality advisory system for the designer in the early mechanical engineering design stages;the integration of CBR with aspects of quality function deployment as a means of identifying suitable metrics and softwareengineering design;and a domain and tool independent environment to support the traceability and documentation of the work of either a single designer or a design team in conceptual design.
作者：
Carre, B.A.Univ of Southampton
Dep of Electronics & Information Engineering Southampton Engl Univ of Southampton Dep of Electronics & Information Engineering Southampton Engl
The correctness of software is often of paramount importance. Considerable efforts are therefore being made to improve the quality of software, through more vigorous formulation of requirements and specifications;prog...
详细信息
The correctness of software is often of paramount importance. Considerable efforts are therefore being made to improve the quality of software, through more vigorous formulation of requirements and specifications;programming is also becoming more systematic, with the advent of languages which encourage or even compel the programmer to discipline his thoughts. Nevertheless, debugging remains a severe problem, which cannot be solved entirely by program testing, because it is usually impossible to construct sets of test data which fully exercise a program. There is therefore considerable interest in validation methods, whose aim is to show, by analysis of a program text, that the program has no errors (or particular kinds), for any program execution.
The paper presents an overview of FPGA development tools and the advances being made to meet the needs of logic designers. Advances in design entry methods, synthesis, partitioning, placement and routing algorithms, s...
详细信息
The paper presents an overview of FPGA development tools and the advances being made to meet the needs of logic designers. Advances in design entry methods, synthesis, partitioning, placement and routing algorithms, system simulation and tool integration are being made to keep pace with the complexities of the design process. FPGA tools are now evolving into fully integrated tool sets that support sophisticated synthesis based design environments.
The various issues of process and product assurance aspects of Rapid application Development (RAD) are discussed. RAD brings together a powerful collection of techniques for producing systems with intrinsic quality. I...
详细信息
The various issues of process and product assurance aspects of Rapid application Development (RAD) are discussed. RAD brings together a powerful collection of techniques for producing systems with intrinsic quality. It recognizes the need to help users understand their requirements and ensures constant validation to assure appropriateness. It also enables testing to take place throughout the life cycle and minimizes intermediate products that introduce distortion along the path from requirement to code. Some tenets of quality practice used in traditional waterfall development are no longer appropriate for RAD, and new mechanisms are needed instead.
A CASE tool designed to enable software engineers to produce a faithful animation of specifications written in Z is described. The CASE tool is based around the program development tool known as CRYSTAL. The propertie...
详细信息
A CASE tool designed to enable software engineers to produce a faithful animation of specifications written in Z is described. The CASE tool is based around the program development tool known as CRYSTAL. The properties that guided the development of the tool and its features are outlined. An example is given to illustrate these. The utility of the tool is evaluated.
With software increasingly being employed in safety-critical applications, there is much speculation on the nature of procedures and tools for achieving software quality. The authors explore the use of the SPADE tools...
详细信息
With software increasingly being employed in safety-critical applications, there is much speculation on the nature of procedures and tools for achieving software quality. The authors explore the use of the SPADE toolset, including the SPADE Proof Checker, together with appropriate procedures for achieving a high degree of confidence in the correctness of a piece of software with respect to a specification.< >
暂无评论