Search results

The purpose of this book is to introduce VHSIC Hardware Description Lan­ guage (VHDL) and its use for synthesis. VHDL is a hardware description language which provides a means of specifying a digital system over different levels of abstraction. It supports behavior specification during the early stages of a design process and structural specification during the later implementation stages. VHDL was originally introduced as a hardware description language that per­ mitted the simulation of digita...

Synthesis of Finite State Machines: Logic Optimization is the second in a set of two monographs devoted to the synthesis of Finite State Machines (FSMs). The first volume, Synthesis of Finite State Machines: Functional Optimization, addresses functional optimization, whereas this one addresses logic optimization. The result of functional optimization is a symbolic description of an FSM which represents a sequential function chosen from a collection of permissible candidates. Logic optimiz...

Technology computer-aided design, or TCAD, is critical to today's semiconductor technology and anybody working in this industry needs to know something about TCAD. This book is about how to use computer software to manufacture and test virtually semiconductor devices in 3D. It brings to life the topic of semiconductor device physics, with a hands-on, tutorial approach that de-emphasizes abstract physics and equations and emphasizes real practice and extensive illustrations. Coverage includes a c...

This book covers some of the technological changes that have emerged in the fashion world. It provides a way of integrating this technology with the process of designing clothes. This book focuses on the representational and graphic aspects of fashion design. It gives the history of computer-aided design followed by a description of the types of systems presently utilized in the industry and the role each plays in the design process. It also breaks down the design process and describes the CAD-...

Computational Intelligence in Manufacturing addresses applications of AI, machine learning and other innovative computational techniques across the manufacturing supply chain. The rapid development of smart or digital manufacturing known as Industry 4.0 has swiftly provided a large number of opportunities for product and manufacturing process improvement. Selecting the appropriate technologies and combining them successfully is a challenge this book helps readers overcome . It explains how to pr...

Take advantage of the power of technology to develop 3D spatial visualization skills and minimize the learning curve! This revolutionary multimedia CD-ROM and its companion workbook are aimed at helping users develop the skills they need for success in a variety of technical careers, including: engineering, architecture, medicine, computer database operation, chemistry, and more. Nine fun, easy-to-use modules provide first-hand experience in working with isometric drawings, orthographic projecti...

This book presents a detailed summary of research on automatic layout of device-level analog circuits that was undertaken in the late 1980s and early 1990s at Carnegie Mellon University. We focus on the work behind the creation of the tools called KOAN and ANAGRAM II, which form part of the core of the CMU ACACIA analog CAD system. KOAN is a device placer for custom analog cells; ANANGRAM II a detailed area router for these analog cells. We strive to present the motivations behind the architectu...

Function Architecture Co-Design is a new paradigm for the design and implementation of embedded systems. Function/Architecture Optimization and Co-Design of Embedded Systems presents the authors' work in developing a function/architecture optimization and co-design formal methodology and framework for control-dominated embedded systems. The approach incorporates both data flow and control optimizations performed on a suitable novel intermediate design task representation. The aim is not...

Formal verification is the mathematical proof of correctness of computer systems. Microprocessors are the most important components in computer systems, and are increasingly being used in safety-critical applications, e.g., to monitor the health of patients, to control the engines and breaks of cars, to drive autonomous vehicles and fly autonomous aircraft, and to control weapons systems. As such the correctness of microprocessors is a matter of public safety and national security. Furthermore,...

Examining options for the practical design of an automated process, this reference provides a vast amount of knowledge to design a new automatic machine or write specifications for a machine to perform an automated process-focusing on the many existing automation concepts used in recent history and showcasing the automation experiences and recommendations of the author and his associates.

Advances in Soft Computing contains the most recent developments in the field of soft computing in engineering design and manufacture. The book comprises a selection of papers that were first presented in June 1998 at the 3rd On-line World Conference on Soft Computing in Engineering Design and Manufacturing. Amongst these are four invited papers by World-renowned researchers in the field. Soft computing is a collection of methodologies which aim to exploit tolerance for imprecision, uncertainty...