Electronic Design Automation: Synthesis, Verification, and Test (Systems on Silicon)

Posted by Naveen | Posted in , , , , , , | Posted on 11:30 AM

0

Electronic Design Automation: Synthesis, Verification, and Test
By Laung-Terng Wang, Yao-Wen Chang, Kwang-Ting (Tim) Cheng
Publisher: Morgan Kaufmann | 2009 | 1008 Pages | ISBN: 0123743648 | PDF | 20.78 MB

“ This book provides broad and comprehensive coverage of the entire EDA flow. EDA/VLSI practitioners and researchers in need of fluency in an "adjacent" field will find this an invaluable reference to the basic EDA concepts, principles, data structures, algorithms, and architectures for the design, verification, and test of VLSI circuits. Anyone who needs to learn the concepts, principles, data structures, algorithms, and architectures of the EDA flow will benefit from this book.

* Covers complete spectrum of the EDA flow, from ESL design modeling to logic/test synthesis, verification, physical design, and test...helps EDA newcomers to get "up-and-running" quickly;
* Comprehensive coverage of EDA concepts, principles, data structures, algorithms, and architectures...helps all readers improve their VLSI design competence;
* Latest advancements, not yet available in other books, including Test compression, ESL design modeling, Large-scale floorplanning, Placement, Routing, Synthesis of clock and power/ground networks...helps readers to design/develop testable chips or products;
* Includes industry best-practices wherever appropriate in most chapters...helps readers avoid costly mistakes.


Link 1

Link 2

VLSI Circuits for Biomedical Applications

Posted by Naveen | Posted in , , , , , | Posted on 11:27 AM

0

Krzysztof Iniewski , "VLSI Circuits for Biomedical Applications "
Artech House Publishers | 2008 | ISBN: 1596933178 | 435 pages | PDF | 10,9 MB

VLSI (very large scale integration) is the process of creating integrated circuits by combining thousands of transistor based circuits into a single chip. Written by top-notch international experts in industry and academia, this groundbreaking resource presents a comprehensive, state-of-the-art overview of VLSI circuit design for a wide range of applications in biology and medicine.

Supported with over 280 illustrations and over 160 equations, the book offers cutting-edge guidance on designing integrated circuits for wireless biosensing, body implants, biosensing interfaces, and molecular biology. You discover innovative design techniques and novel materials to help you achieve higher levels circuit and system performance. This invaluable volume is essential reading for anyone with a serious interest in circuit design and future biomedical technology, whether you're a seasoned practitioner or graduate student preparing for work in this challenging field.



Link 1

Link 2
Link 3

Applied Formal Verification

Posted by Naveen | Posted in , , , , , | Posted on 10:25 AM

0

Douglas L. Perry, Harry Foster, "Applied Formal Verification"
MgH | 2005 | ISBN: 007144372X | 240 pages | PDF | 1,2 MB

Applied Formal Verification delivers right-now methods for integrating this powerful tool into your design process. Written by two of the field's leaders, this tutorial opens shortcuts to the concept-proving, efficiency-boosting benefits of formal verification. The book includes real-world examples of formal verification applied to complex designs and clarifying explanations of high-level requirement writing. If you've some knowledge of Verilog or VHDL and simulation verification, you're ready to build your real-world problem-solving skills with this potent guide to formal verification.

APPLY FORMAL VERIFICATION NOW
Simulation-based verification * Introduction to formal techniques * Contrasting simulation and formal techniques * Developing a formal test plan * Writing high-level requirements * Proving high-level requirements * System-level simulation * Final system simulation * PSL tables * SystemVerilog assertions tables


Link 1
Link 2
Link 3

Modern VLSI Design: IP-Based Design (4th Edition)

Posted by Naveen | | Posted on 10:13 AM

0

Wayne Wolf, "Modern VLSI Design: IP-Based Design"
Prentice Hall PTR | 2008 | ISBN: 0137145004 | 656 pages | PDF | 3,8 MB

The Number 1 VLSI Design Guide—Now Fully Updated for IP-Based Design and the Newest Technologies

Modern VLSI Design, Fourth Edition, offers authoritative, up-to-the-minute guidance for the entire VLSI design process—from architecture and logic design through layout and packaging. Wayne Wolf has systematically updated his award-winning book for today’s newest technologies and highest-value design techniques. Wolf introduces powerful new IP-based design techniques at all three levels: gates, subsystems, and architecture. He presents deeper coverage of logic design fundamentals, clocking and timing, and much more. No other VLSI guide presents as much up-to-date information for maximizing performance, minimizing power utilization, and achieving rapid design turnarounds.

Coverage includes


All-new material on IP-based design
Extensive new coverage of networks-on-chips
New coverage of using FPGA fabrics to improve design flexibility
New material on image sensors, busses, Rent’s Rule, pipelining, and more
Updated VLSI technology parameters reflecting the latest advances
Revised descriptions of HDLs and other VLSI design tools
Advanced techniques for overcoming bottlenecks and reducing crosstalk
Low-power design techniques for enhancing reliability and extending battery life
Testing solutions for every level of abstraction, from gates to architecture
Revamped end-of-chapter problems that fully reflect today’s VLSI design challenges
Wolf introduces a top-down, systematic design methodology that begins with high-level models, extends from circuits to architecture, and facilitates effective testing. Along the way, he brings together all the skills VLSI design professionals will need to create tomorrow’s state-of-the-art devices.


Link 1
Link 2

Low-Power Design of Nanometer FPGAs: Architecture and EDA

Posted by Naveen | Posted in , , , , | Posted on 10:09 AM

0

Low-Power Design of Nanometer FPGAs: Architecture and EDA (Systems on Silicon) By Hassan Hassan, Mohab Anis
Publisher: Morgan Kaufmann 2009-10-12 | 352 Pages | ISBN: 0123744385 | PDF | 1.2 MB

Field Programmable Gate Arrays (FPGAs) have become very popular as embedded components on computing platforms. An FPGA is a viable, reprogrammable design approach that provides a fast time-to-market alternative to Application Specific Integrated Circuits (ASICs). Since FPGA implementations can be customized to fit for any application, their versatility leads to performance gains, and enables reuse of expensive silicon. Although high performance can be achieved in FPGAs, their high levels of power consumption pose a critical design challenge.

This book will be an invaluable reference for researchers and practicing engineers concerned with power-efficient, FPGA design. State-of-the-art power reduction techniques for FPGAs will be described and compared. These techniques will be applied at the circuit, architecture, and electronic design automation levels to describe both the dynamic and leakage power sources and enable strategies for codesign.

Design perspective on low-power FPGAs...low-power techniques presented at key FPGA design levels for circuits, architectures, and electronic design automation, form critical, "bridge" guidelines for codesign;
Low-leakage design in FPGAs...comprehensive review of leakage-tolerant techniques empowers designers to minimize power dissipation;
FPGA power estimation techniques...provides valuable tools for estimating power efficiency/savings of current, low-power FPGA design techniques.


Link 1
Link 2
Link 3

FPGA Books continued ..........

Posted by Naveen | Posted in , , , , , , | Posted on 9:38 AM

0

FPGA Prototyping Using Verilog Examples
By Pong P. Chu


Description:A hands-on introduction to Verilog synthesis and FPGA prototyping,Hardware Descriptive Language (HDL) and Field-Programmable Gate Array (FPGA) devices allow designers to quickly develop and simulate a sophisticated digital circuit, realize it on a prototyping device, and verify the operation of its physical implementation. As these technologies have matured and become mainstream practice, it is now possible to use a PC and an inexpensive FPGA prototyping board to construct a complex digital system.

This book utilizes a "learn by doing" approach to introduce the concepts and techniques of Verilog and FPGA to designers through a series of hands-on experiments. FPGA Prototyping by Verilog Examples provides:

* A collection of clear, easy-to-follow templates for quick code development
* A large number of practical examples to illustrate and reinforce the concepts
and design techniques
* Realistic projects that can be implemented and tested on a Xilinx prototyping
board
* A thorough exploration of the Xilinx PicoBlaze soft-core microcontroller

Although the book is an introductory text, the examples are developed in a rigorous manner and the derivations follow strict design guidelines and coding practices used for large, complex systems. It lays a solid foundation for students and new engineers and prepares them for future development tasks. FPGA Prototyping by Verilog Examples is an indispensable companion text for digital design courses and also serves as a valuable self-teaching guide for practicing engineers who wish to learn more about this emerging area of interest.

Link1



ASIC and FPGA Verification: A Guide to Component Modeling (Systems on Silicon)
By Richard Munden

Dscription:
Richard Munden demonstrates how to create and use simulation models for verifying ASIC and FPGA designs and board-level designs that use off-the-shelf digital components. Based on the VHDL/VITAL standard, these models include timing constraints and propagation delays that are required for accurate verification of todays digital designs.

ASIC and FPGA Verification: A Guide to Component Modeling expertly illustrates how ASICs and FPGAs can be verified in the larger context of a board or a system. It is a valuable resource for any designer who simulates multi-chip digital designs.

*Provides numerous models and a clearly defined methodology for performing board-level simulation.
*Covers the details of modeling for verification of both logic and timing.
*First book to collect and teach techniques for using VHDL to model "off-the-shelf" or "IP" digital components for use in FPGA and board-level design verification.

Link1
Link2
Link3
Link4

Reconfigurable Computing: The Theory and Practice of FPGA-Based Computation (Systems on Silicon) (Systems on Silicon)
By Scott Hauck, André DeHon

Descrption:
The main characteristic of Reconfigurable Computing is the presence of hardware that can be reconfigured to implement specific functionality more suitable for specially tailored hardware than on a simple uniprocessor. Reconfigurable computing systems join microprocessors and programmable hardware in order to take advantage of the combined strengths of hardware and software and have been used in applications ranging from embedded systems to high performance computing. Many of the fundamental theories have been identified and used by the Hardware/Software Co-Design research field. Although the same background ideas are shared in both areas, they have different goals and use different approaches.This book is intended as an introduction to the entire range of issues important to reconfigurable computing, using FPGAs as the context, or computing vehicles to implement this powerful technology. It will take a reader with a background in the basics of digital design and software programming and provide them with the knowledge needed to be an effective designer or researcher in this rapidly evolving field.

Treatment of FPGAs as computing vehicles rather than glue-logic or ASIC substitutes
Views of FPGA programming beyond Verilog/VHDL
Broad set of case studies demonstrating how to use FPGAs in novel and efficient ways


Link1
Link2
Link3
Link4


Robotic Exploration and Landmark Determination: Hardware-Efficient Algorithms and FPGA Implementations (Studies in Computational Intelligence)
By K. Sridharan, Panakala Rajesh Kumar

Description:
Much of the research effort in mobile robots in the recent past has been on sensing and design of time-efficient algorithms for tasks such as localization, mapping and navigation. Mobile robots typically employ an embedded computer for high level computations. As applications of robots expand, there is a need to investigate architecturally efficient choices for this embedded computing platform. In particular, it is valuable to process data to obtain time, space and energy-efficient solutions for various robotic tasks.

This book presents hardware-efficient algorithms and FPGA implementations for two robotic tasks, namely exploration and landmark determination. The work identifies scenarios for mobile robotics where parallel processing and selective shutdown offered by FPGAs are invaluable. The book proceeds to systematically develop memory-driven VLSI architectures for both the tasks. The architectures are ported to a low-cost FPGA with a fairly small number of system gates. A robot fabricated with this FPGA on-board serves to validate the efficacy of the approach. Numerous experiments with the robot are reported.

Link1
Link2

FPGA-based Implementation of Signal Processing Systems
By Roger Woods, John Mcallister, Richard Turner, Ying Yi, Gaye Lightbody

Description:
Field programmable gate arrays (FPGAs) are an increasingly popular technology for implementing digital signal processing (DSP) systems. By allowing designers to create circuit architectures developed for the specific applications, high levels of performance can be achieved for many DSP applications providing considerable improvements over conventional microprocessor and dedicated DSP processor solutions. The book addresses the key issue in this process specifically, the methods and tools needed for the design, optimization and implementation of DSP systems in programmable FPGA hardware. It presents a review of the leading-edge techniques in this field, analyzing advanced DSP-based design flows for both signal flow graph- (SFG-) based and dataflow-based implementation, system on chip (SoC) aspects, and future trends and challenges for FPGAs. The automation of the techniques for component architectural synthesis, computational models, and the reduction of energy consumption to help improve FPGA performance, are given in detail.

Written from a system level design perspective and with a DSP focus, the authors present many practical application examples of complex DSP implementation, involving:

* high-performance computing e.g. matrix operations such as matrix multiplication;
* high-speed filtering including finite impulse response (FIR) filters and wave digital filters (WDFs);
* adaptive filtering e.g. recursive least squares (RLS) filtering;
* transforms such as the fast Fourier transform (FFT).

FPGA-based Implementation of Signal Processing Systems is an important reference for practising engineers and researchers working on the design and development of DSP systems for radio, telecommunication, information, audio-visual and security applications. Senior level electrical and computer engineering graduates taking courses in signal processing or digital signal processing shall also find this volume of interest.

Link1
Link2
Link3

FPGA related books

Posted by Naveen | Posted in , , , | Posted on 11:39 AM

0

Ian Kuon, Russell Tessier, Jonathan Rose - FPGA Architecture
Publisher: Now Publishers Inc | 2008-04-18 | ISBN: 1601981260 | PDF | 136 pages | 1.03 MB

Description:
Field-Programmable Gate Arrays (FPGAs) have become one of the key digital circuit implementation media over the last decade. A crucial part of their creation lies in their architecture, which governs the nature of their programmable logic functionality and their programmable interconnect. FPGA architecture has a dramatic effect on the quality of the final device's speed performance, area efficiency and power consumption. FPGA Architecture: Survey and Challenges reviews the historical development of programmable logic devices, the fundamental programming technologies that the programmability is built on, and then describes the basic understandings gleaned from research on architectures. FPGA Architecture: Survey and Challenges starts with a brief overview of programmable logic to provide a context for the subsequent sections which review the history of programmable logic, and the underlying programming technologies. The following sections define the terminology of FPGA architecture, and then describe foundations and trends of logic block architecture and routing architecture including a discussion of power management techniques and related circuit design issues. A brief overview of the input/output structures and architectural questions in FPGAs is then presented followed by an explicit comparison between FPGAs and competing ASIC standard cell technology. It concludes with a review of some of the design challenges facing FPGAs and a look at emerging architectures for FPGAs. FPGA Architecture: Survey and Challenges is an invaluable reference for engineers and computer scientists. It is also an excellent primer for senior or graduate-level students in electrical engineering or computer science.

Link1
Link2
Link3


James E. Gaskin, «Synthesis of Arithmetic Circuits: FPGA, ASIC and Embedded Systems»
Publisher: Wiley | 576 pages | March 10, 2006 | ISBN: 0471687839 | PDF | 7.73 MB

Description:
In Synthesis of Arithmetic Circuits: FPGA, ASIC and Embedded Systems, the authors take a novel approach of presenting methods and examples for the synthesis of arithmetic circuits that better reflects the needs of today's computer system designers and engineers. Unlike other publications that limit discussion to arithmetic units for general-purpose computers, this text features a practical focus on embedded systems.

Link1
Link2
Link3

Jean-Pierre Deschamps, "Hardware Implementation of Finite-Field Arithmetic (Electronic Engineering)"
McGraw-Hill Professional 2009 | ISBN-10: 0071545816 | 360 Pages | PDF | 1,2 MB

Description:

Implement Finite-Field Arithmetic in Specific Hardware (FPGA and ASIC).Master cutting-edge electronic circuit synthesis and design with help from this detailed guide. Hardware Implementation of Finite-Field Arithmetic describes algorithms and circuits for executing finite-field operations, including addition, subtraction, multiplication, squaring, exponentiation, and division.
This comprehensive resource begins with an overview of mathematics, covering algebra, number theory, finite fields, and cryptography. The book then presents algorithms which can be executed and verified with actual input data. Logic schemes and VHDL models are described in such a way that the corresponding circuits can be easily simulated and synthesized. The book concludes with a real-world example of a finite-field application--elliptic-curve cryptography. This is an essential guide for hardware engineers involved in the development of embedded systems.
Get detailed coverage of:
Modulo m reduction
Modulo m addition, subtraction, multiplication, and exponentiation
Operations over GF(p) and GF(pm)
Operations over the commutative ring Zp[x]/f(x)
Operations over the binary field GF(2m) using normal, polynomial, dual, and triangular

Link1