Author : George Winston Zobrist
Publisher : Intellect (UK)
Page : 428 pages
File Size : 40,63 MB
Release : 1989
Category : Computers
ISBN :
These volumes review late 1980s/early 1990s state-of-the-art developments in computer-aided design and analysis techniques. Contributions from researchers and practitioners include discussions of parallel algorithms and fundamental operations in cryptography, systolic arrays and pipelined designs.
Author : George Winston Zobrist
Publisher :
Page : 378 pages
File Size : 13,68 MB
Release : 1990
Category : Computer-aided design
ISBN :
Author : Chandan Kumar Sarkar
Publisher : CRC Press
Page : 428 pages
File Size : 42,11 MB
Release : 2018-09-03
Category : Technology & Engineering
ISBN : 1466512660
Responding to recent developments and a growing VLSI circuit manufacturing market, Technology Computer Aided Design: Simulation for VLSI MOSFET examines advanced MOSFET processes and devices through TCAD numerical simulations. The book provides a balanced summary of TCAD and MOSFET basic concepts, equations, physics, and new technologies related to TCAD and MOSFET. A firm grasp of these concepts allows for the design of better models, thus streamlining the design process, saving time and money. This book places emphasis on the importance of modeling and simulations of VLSI MOS transistors and TCAD software. Providing background concepts involved in the TCAD simulation of MOSFET devices, it presents concepts in a simplified manner, frequently using comparisons to everyday-life experiences. The book then explains concepts in depth, with required mathematics and program code. This book also details the classical semiconductor physics for understanding the principle of operations for VLSI MOS transistors, illustrates recent developments in the area of MOSFET and other electronic devices, and analyzes the evolution of the role of modeling and simulation of MOSFET. It also provides exposure to the two most commercially popular TCAD simulation tools Silvaco and Sentaurus. • Emphasizes the need for TCAD simulation to be included within VLSI design flow for nano-scale integrated circuits • Introduces the advantages of TCAD simulations for device and process technology characterization • Presents the fundamental physics and mathematics incorporated in the TCAD tools • Includes popular commercial TCAD simulation tools (Silvaco and Sentaurus) • Provides characterization of performances of VLSI MOSFETs through TCAD tools • Offers familiarization to compact modeling for VLSI circuit simulation R&D cost and time for electronic product development is drastically reduced by taking advantage of TCAD tools, making it indispensable for modern VLSI device technologies. They provide a means to characterize the MOS transistors and improve the VLSI circuit simulation procedure. The comprehensive information and systematic approach to design, characterization, fabrication, and computation of VLSI MOS transistor through TCAD tools presented in this book provides a thorough foundation for the development of models that simplify the design verification process and make it cost effective.
Author : Rajat K. Pal
Publisher : CRC Press
Page : 428 pages
File Size : 50,4 MB
Release : 2000
Category : Computers
ISBN : 9780849309311
This book focuses on computation complexity and design of algorithms for multi-layer channel routing. In particular, it deals with various large-scale, computationally intensive optimization problems that have specific applications in many technology-supported routing models. The author includes numerous examples and exercises along with many hard-copy solutions that illustration the feasibility of different routing solutions. He also mentions several problems that remain open, pointing the way for future research.
Author : Hafizur Rahaman
Publisher : Springer
Page : 427 pages
File Size : 27,32 MB
Release : 2012-06-26
Category : Computers
ISBN : 3642314945
This book constitutes the refereed proceedings of the 16th International Symposium on VSLI Design and Test, VDAT 2012, held in Shibpur, India, in July 2012. The 30 revised regular papers presented together with 10 short papers and 13 poster sessions were carefully selected from 135 submissions. The papers are organized in topical sections on VLSI design, design and modeling of digital circuits and systems, testing and verification, design for testability, testing memories and regular logic arrays, embedded systems: hardware/software co-design and verification, emerging technology: nanoscale computing and nanotechnology.
Author : Jeong-Taek Kong
Publisher : Springer Science & Business Media
Page : 276 pages
File Size : 40,49 MB
Release : 2012-12-06
Category : Technology & Engineering
ISBN : 1461523214
Digital Timing Macromodeling for VLSI Design Verification first of all provides an extensive history of the development of simulation techniques. It presents detailed discussion of the various techniques implemented in circuit, timing, fast-timing, switch-level timing, switch-level, and gate-level simulation. It also discusses mixed-mode simulation and interconnection analysis methods. The review in Chapter 2 gives an understanding of the advantages and disadvantages of the many techniques applied in modern digital macromodels. The book also presents a wide variety of techniques for performing nonlinear macromodeling of digital MOS subcircuits which address a large number of shortcomings in existing digital MOS macromodels. Specifically, the techniques address the device model detail, transistor coupling capacitance, effective channel length modulation, series transistor reduction, effective transconductance, input terminal dependence, gate parasitic capacitance, the body effect, the impact of parasitic RC-interconnects, and the effect of transmission gates. The techniques address major sources of errors in existing macromodeling techniques, which must be addressed if macromodeling is to be accepted in commercial CAD tools by chip designers. The techniques presented in Chapters 4-6 can be implemented in other macromodels, and are demonstrated using the macromodel presented in Chapter 3. The new techniques are validated over an extremely wide range of operating conditions: much wider than has been presented for previous macromodels, thus demonstrating the wide range of applicability of these techniques.
Author : Nikolas G Bourbakis
Publisher : World Scientific
Page : 545 pages
File Size : 32,47 MB
Release : 1998-05-05
Category : Computers
ISBN : 981449903X
Contents:A New Way to Acquire Knowledge (H-Y Wang)An SPN Knowledge Representation Scheme (J Gattiker & N Bourbakis)On the Deep Structures of Word Problems and Their Construction (F Gomez)Resolving Conflicts in Inheritance Reasoning with Statistical Approach (C W Lee)Integrating High and Low Level Computer Vision for Scene Understanding (R Malik & S So)The Evolution of Commercial AI Tools: The First Decade (F Hayes-Roth)Reengineering: The AI Generation — Billions on the Table (J S Minor Jr)An Intelligent Tool for Discovering Data Dependencies in Relational DBS (P Gavaskar & F Golshani)A Case-Based Reasoning (CBR) Tool to Assist Traffic Flow (B Das & S Bayles)A Study of Financial Expert System Based on Flops (T Kaneko & K Takenaka)An Associative Data Parallel Compilation Model for Tight Integration of High Performance Knowledge Retrieval and Computation (A K Bansal)Software Automation: From Silly to Intelligent (J-F Xu et al.)Software Engineering Using Artificial Intelligence: The Knowledge Based Software Assistant (D White)Knowledge Based Derivation of Programs from Specifications (T Weight et al.)Automatic Functional Model Generation for Parallel Fault Design Error Simulations (S-E Chang & S A Szygenda)Visual Reverse Engineering Using SPNs for Automated Diagnosis and Functional Simulation of Digital Circuits (J Gattiker & S Mertoguno)The Impact of AI in VLSI Design Automation (M Mortazavi & N Bourbakis)The Automated Acquisition of Subcategorizations of Verbs, Nouns and Adjectives from Sample Sentences (F Gomez)General Method for Planning and Rendezvous Problems (K I Trovato)Learning to Improve Path Planning Performance (P C Chen)Incremental Adaptation as a Method to Improve Reactive Behavior (A J Hendriks & D M Lyons)An SPN-Neural Planning Methodology for Coordination of Multiple Robotic Arms with Constrained Placement (N Bourbakis & A Tascillo) Readership: Computer scientists, artificial intelligence practitioners and robotics users. keywords:
Author : Nam Ling
Publisher : World Scientific
Page : 134 pages
File Size : 49,26 MB
Release : 1999
Category : Technology & Engineering
ISBN : 9789810238674
Circuits and architectures have become more complex in terms of structure, interconnection topology, and data flow. Design correctness has become increasingly significant, as errors in design may result in strenuous debugging, or even in the repetition of a costly manufacturing process. Although circuit simulation has been used traditionally and widely as the technique for checking hardware and architectural designs, it does not guarantee the conformity of designs to specifications. Formal methods therefore become vital in guaranteeing the correctness of designs and have thus received a significant amount of attention in the CAD industry today.This book presents a formal method for specifying and verifying the correctness of systolic array designs. Such architectures are commonly found in the form of accelerators for digital signal, image, and video processing. These arrays can be quite complicated in topology and data flow. In the book, a formalism called STA is defined for these kinds of dynamic environments, with a survey of related techniques. A framework for specification and verification is established. Formal verification techniques to check the correctness of the systolic networks with respect to the algorithmic level specifications are explained. The book also presents a Prolog-based formal design verifier (named VSTA), developed to automate the verification process, as using a general purpose theorem prover is usually extremely time-consuming. Several application examples are included in the book to illustrate how formal techniques and the verifier can be used to automate proofs.
Author : Ibrahim (Abe) M. Elfadel
Publisher : Springer
Page : 697 pages
File Size : 10,67 MB
Release : 2019-03-15
Category : Technology & Engineering
ISBN : 3030046664
This book provides readers with an up-to-date account of the use of machine learning frameworks, methodologies, algorithms and techniques in the context of computer-aided design (CAD) for very-large-scale integrated circuits (VLSI). Coverage includes the various machine learning methods used in lithography, physical design, yield prediction, post-silicon performance analysis, reliability and failure analysis, power and thermal analysis, analog design, logic synthesis, verification, and neuromorphic design. Provides up-to-date information on machine learning in VLSI CAD for device modeling, layout verifications, yield prediction, post-silicon validation, and reliability; Discusses the use of machine learning techniques in the context of analog and digital synthesis; Demonstrates how to formulate VLSI CAD objectives as machine learning problems and provides a comprehensive treatment of their efficient solutions; Discusses the tradeoff between the cost of collecting data and prediction accuracy and provides a methodology for using prior data to reduce cost of data collection in the design, testing and validation of both analog and digital VLSI designs. From the Foreword As the semiconductor industry embraces the rising swell of cognitive systems and edge intelligence, this book could serve as a harbinger and example of the osmosis that will exist between our cognitive structures and methods, on the one hand, and the hardware architectures and technologies that will support them, on the other....As we transition from the computing era to the cognitive one, it behooves us to remember the success story of VLSI CAD and to earnestly seek the help of the invisible hand so that our future cognitive systems are used to design more powerful cognitive systems. This book is very much aligned with this on-going transition from computing to cognition, and it is with deep pleasure that I recommend it to all those who are actively engaged in this exciting transformation. Dr. Ruchir Puri, IBM Fellow, IBM Watson CTO & Chief Architect, IBM T. J. Watson Research Center
Author : Himansu Das
Publisher : Springer Nature
Page : 665 pages
File Size : 17,73 MB
Release : 2020-03-26
Category : Technology & Engineering
ISBN : 9811524149
This book focuses on new and original research ideas and findings in three broad areas: computing, analytics, and networking and their potential applications in the various domains of engineering – an emerging, interdisciplinary area in which a wide range of theories and methodologies are being investigated and developed to tackle complex and challenging real-world problems. The book also features keynote presentations and papers from the International Conference on Computing Analytics and Networking (ICCAN 2019), which offers an open forum for scientists, researchers and technocrats in academia and industry from around the globe to present and share state-of-the-art concepts, prototypes, and innovative research ideas in diverse fields. Providing inspiration for postgraduate students and young researchers working in the field of computer science & engineering, the book also discusses hardware technologies and future communication technologies, making it useful for those in the field of electronics.
