Author: Publisher:
ISBN: 9780738148502
Category :
Languages : en
Pages :
Book Description
IEEE Std 1364-2005 (Revision of IEEE Std 1364-2001)
Author: Accelerating Network Functions Using Reconfigurable Hardware
Author: Ralf KundelPublisher: Springer Nature
ISBN: 3031528727
Category :
Languages : en
Pages : 188
Book Description
Advanced VLSI Design and Testability Issues
Author: Suman Lata TripathiPublisher: CRC Press
ISBN: 1000168158
Category : Technology & Engineering
Languages : en
Pages : 379
Book Description
This book facilitates the VLSI-interested individuals with not only in-depth knowledge, but also the broad aspects of it by explaining its applications in different fields, including image processing and biomedical. The deep understanding of basic concepts gives you the power to develop a new application aspect, which is very well taken care of in this book by using simple language in explaining the concepts. In the VLSI world, the importance of hardware description languages cannot be ignored, as the designing of such dense and complex circuits is not possible without them. Both Verilog and VHDL languages are used here for designing. The current needs of high-performance integrated circuits (ICs) including low power devices and new emerging materials, which can play a very important role in achieving new functionalities, are the most interesting part of the book. The testing of VLSI circuits becomes more crucial than the designing of the circuits in this nanometer technology era. The role of fault simulation algorithms is very well explained, and its implementation using Verilog is the key aspect of this book. This book is well organized into 20 chapters. Chapter 1 emphasizes on uses of FPGA on various image processing and biomedical applications. Then, the descriptions enlighten the basic understanding of digital design from the perspective of HDL in Chapters 2–5. The performance enhancement with alternate material or geometry for silicon-based FET designs is focused in Chapters 6 and 7. Chapters 8 and 9 describe the study of bimolecular interactions with biosensing FETs. Chapters 10–13 deal with advanced FET structures available in various shapes, materials such as nanowire, HFET, and their comparison in terms of device performance metrics calculation. Chapters 14–18 describe different application-specific VLSI design techniques and challenges for analog and digital circuit designs. Chapter 19 explains the VLSI testability issues with the description of simulation and its categorization into logic and fault simulation for test pattern generation using Verilog HDL. Chapter 20 deals with a secured VLSI design with hardware obfuscation by hiding the IC’s structure and function, which makes it much more difficult to reverse engineer.
Signal Processing and Analysis of Electrical Circuit
Author: Adam GlowaczPublisher: MDPI
ISBN: 3039282948
Category : Technology & Engineering
Languages : en
Pages : 604
Book Description
This Special Issue with 35 published articles shows the significance of the topic “Signal Processing and Analysis of Electrical Circuit”. This topic has been gaining increasing attention in recent times. The presented articles can be categorized into four different areas: signal processing and analysis methods of electrical circuits; electrical measurement technology; applications of signal processing of electrical equipment; fault diagnosis of electrical circuits. It is a fact that the development of electrical systems, signal processing methods, and circuits has been accelerating. Electronics applications related to electrical circuits and signal processing methods have gained noticeable attention in recent times. The methods of signal processing and electrical circuits are widely used by engineers and scientists all over the world. The constituent papers represent a significant contribution to electronics and present applications that can be used in industry. Further improvements to the presented approaches are required for realizing their full potential.
Introduction to VLSI Systems
Author: Ming-Bo LinPublisher: CRC Press
ISBN: 1439897328
Category : Technology & Engineering
Languages : en
Pages : 890
Book Description
With the advance of semiconductors and ubiquitous computing, the use of system-on-a-chip (SoC) has become an essential technique to reduce product cost. With this progress and continuous reduction of feature sizes, and the development of very large-scale integration (VLSI) circuits, addressing the harder problems requires fundamental understanding
Separation Logic for High-level Synthesis
Author: Felix WintersteinPublisher: Springer
ISBN: 3319532227
Category : Technology & Engineering
Languages : en
Pages : 143
Book Description
This book presents novel compiler techniques, which combine a rigorous mathematical framework, novel program analyses and digital hardware design to advance current high-level synthesis tools and extend their scope beyond the industrial ‘state of the art’. Implementing computation on customised digital hardware plays an increasingly important role in the quest for energy-efficient high-performance computing. Field-programmable gate arrays (FPGAs) gain efficiency by encoding the computing task into the chip’s physical circuitry and are gaining rapidly increasing importance in the processor market, especially after recent announcements of large-scale deployments in the data centre. This is driving, more than ever, the demand for higher design entry abstraction levels, such as the automatic circuit synthesis from high-level languages (high-level synthesis). The techniques in this book apply formal reasoning to high-level synthesis in the context of demonstrably practical applications. /pp
Engineering Embedded Systems
Author: Peter HintenausPublisher: Springer
ISBN: 3319106805
Category : Technology & Engineering
Languages : en
Pages : 359
Book Description
This is a textbook for graduate and final-year-undergraduate computer-science and electrical-engineering students interested in the hardware and software aspects of embedded and cyberphysical systems design. It is comprehensive and self-contained, covering everything from the basics to case-study implementation. Emphasis is placed on the physical nature of the problem domain and of the devices used. The reader is assumed to be familiar on a theoretical level with mathematical tools like ordinary differential equation and Fourier transforms. In this book these tools will be put to practical use. Engineering Embedded Systems begins by addressing basic material on signals and systems, before introducing to electronics. Treatment of digital electronics accentuating synchronous circuits and including high-speed effects proceeds to micro-controllers, digital signal processors and programmable logic. Peripheral units and decentralized networks are given due weight. The properties of analog circuits and devices like filters and data converters are covered to the extent desirable by a systems architect. The handling of individual elements concludes with power supplies including regulators and converters. The final section of the text is composed of four case studies: • electric-drive control, permanent magnet synchronous motors in particular; • lock-in amplification with measurement circuits for weight and torque, and moisture; • design of a simple continuous wave radar that can be operated to measure speed and distance; and • design of a Fourier transform infrared spectrometer for process applications. End-of-chapter exercises will assist the student to assimilate the tutorial material and these are supplemented by a downloadable solutions manual for instructors. The “pen-and-paper” problems are further augmented with laboratory activities. In addition to its student market, Engineering Embedded Systems will assist industrial practitioners working in systems architecture and the design of electronic measurement systems to keep up to date with developments in embedded systems through self study.
The Verilog® Hardware Description Language
Author: Donald ThomasPublisher: Springer Science & Business Media
ISBN: 0387853448
Category : Technology & Engineering
Languages : en
Pages : 395
Book Description
XV From the Old to the New xvii Acknowledgments xx| Verilog A Tutorial Introduction Getting Started 2 A Structural Description 2 Simulating the binaryToESeg Driver 4 Creating Ports For the Module 7 Creating a Testbench For a Module 8 Behavioral Modeling of Combinational Circuits 11 Procedural Models 12 Rules for Synthesizing Combinational Circuits 13 Procedural Modeling of Clocked Sequential Circuits 14 Modeling Finite State Machines 15 Rules for Synthesizing Sequential Systems 18 Non-Blocking Assignment ("
Digital System Design with SystemVerilog
Author: Mark ZwolinskiPublisher: Pearson Education
ISBN: 0137046316
Category : Technology & Engineering
Languages : en
Pages : 458
Book Description
The Definitive, Up-to-Date Guide to Digital Design with SystemVerilog: Concepts, Techniques, and Code To design state-of-the-art digital hardware, engineers first specify functionality in a high-level Hardware Description Language (HDL)—and today’s most powerful, useful HDL is SystemVerilog, now an IEEE standard. Digital System Design with SystemVerilog is the first comprehensive introduction to both SystemVerilog and the contemporary digital hardware design techniques used with it. Building on the proven approach of his bestselling Digital System Design with VHDL, Mark Zwolinski covers everything engineers need to know to automate the entire design process with SystemVerilog—from modeling through functional simulation, synthesis, timing simulation, and verification. Zwolinski teaches through about a hundred and fifty practical examples, each with carefully detailed syntax and enough in-depth information to enable rapid hardware design and verification. All examples are available for download from the book's companion Web site, zwolinski.org. Coverage includes Using electronic design automation tools with programmable logic and ASIC technologies Essential principles of Boolean algebra and combinational logic design, with discussions of timing and hazards Core modeling techniques: combinational building blocks, buffers, decoders, encoders, multiplexers, adders, and parity checkers Sequential building blocks: latches, flip- flops, registers, counters, memory, and sequential multipliers Designing finite state machines: from ASM chart to D flip-flops, next state, and output logic Modeling interfaces and packages with SystemVerilog Designing testbenches: architecture, constrained random test generation, and assertion-based verification Describing RTL and FPGA synthesis models Understanding and implementing Design-for-Test Exploring anomalous behavior in asynchronous sequential circuits Performing Verilog-AMS and mixed-signal modeling Whatever your experience with digital design, older versions of Verilog, or VHDL, this book will help you discover SystemVerilog’s full power and use it to the fullest.
Computational Science - ICCS 2024
Author: Leonardo FrancoPublisher: Springer Nature
ISBN: 303163778X
Category : Computational complexity
Languages : en
Pages : 435
Book Description
Zusammenfassung: The 7-volume set LNCS 14832 - 14838 constitutes the proceedings of the 24th International Conference on Computational Science, ICCS 2024, which took place in Malaga, Spain, during July 2-4, 2024. The 155 full papers and 70 short papers included in these proceedings were carefully reviewed and selected from 430 submissions. They were organized in topical sections as follows: Part I: ICCS 2024 Main Track Full Papers; Part II: ICCS 2024 Main Track Full Papers; Part III: ICCS 2024 Main Track Short Papers; Advances in High-Performance Computational Earth Sciences: Numerical Methods, Frameworks and Applications; Artificial Intelligence and High-Performance Computing for Advanced Simulations; Part IV: Biomedical and Bioinformatics Challenges for Computer Science; Computational Health; Part V: Computational Optimization, Modelling, and Simulation; Generative AI and Large Language Models (LLMs) in Advancing Computational Medicine; Machine Learning and Data Assimilation for Dynamical Systems; Multiscale Modelling and Simulation; Part VI: Network Models and Analysis: From Foundations to Artificial Intelligence; Numerical Algorithms and Computer Arithmetic for Computational Science; Quantum Computing; Part VII: Simulations of Flow and Transport: Modeling, Algorithms and Computation; Smart Systems: Bringing Together Computer Vision, Sensor Networks, and Artificial Intelligence; Solving Problems with Uncertainties; Teaching Computational Science