Narrow your search

Library

KU Leuven (51)

Thomas More Mechelen (50)

UCLL (50)

Odisee (49)

Thomas More Kempen (49)

ULB (49)

VIVES (49)

ULiège (48)

LUCA School of Arts (35)

AP (28)

More...

Resource type

book (81)

digital (25)


Language

English (101)

Dutch (5)


Year
From To Submit

2009 (106)

Listing 1 - 10 of 106 << page
of 11
>>
Sort by

Book
Nanosystems Design and Technology
Authors: --- --- --- ---
ISBN: 9781441902559 Year: 2009 Publisher: Boston MA Springer US

Loading...
Export citation

Choose an application

Bookmark

Abstract

DeMicheli, et. al., Nanosystems Design and Technology This book addresses the impact of nanotechnologies on the design of electronic systems. Coverage includes technologies ranging from nanoelectronics to sensing and micro/nanofluidics, and encompassing techniques that bridge the gap between engineering and biology. Since the application space of nanosystems is very vast, Nanosystems Design and Technology focuses on specific topics that exemplify the challenges and opportunities that nanotechnology brings to the system design table. Addresses state-of-the-art in evolution of nanosystems, including hybrid technologies, integrated sensing and processing; Presents a multidisciplinary framework for design of heterogeneous, embedded systems (hardware) and corresponding software infrastructure; Focuses on system-level design that can be applied to numerous applications (e.g., lab-on-chip design, large-scale sensor networks, bio-analysis and synthesis);


Book
Static Timing Analysis for Nanometer Designs : A Practical Approach
Authors: --- ---
ISBN: 9780387938202 Year: 2009 Publisher: Boston MA Springer US

Loading...
Export citation

Choose an application

Bookmark

Abstract

Static Timing Analysis for Nanometer Designs: A Practical Approach is a reference for both beginners as well as professionals working in the area of static timing analysis for semiconductors. This book provides a blend of underlying theoretical background and in-depth coverage of timing verification using static timing analysis. The relevant topics such as cell and interconnect modeling, timing calculation, and crosstalk, which can impact the timing of a nanometer design are covered in detail. Timing checks at various process, environment, and interconnect corners, including on-chip variations, are explained in detail. Verification of hierarchal building blocks, full chip, including timing verification of special IO interfaces are covered in detail. Appendices provide complete coverage of SDC, SDF, and SPEF formats. This book is written for professionals working in the area of chip design, timing verification of ASICs and also for graduate students specializing in logic and chip design. Professionals who are beginning to use static timing analysis or are already well-versed in static timing analysis will find this book useful. Static Timing Analysis for Nanometer Designs serves as a reference for a graduate course in chip design and as a text for a course in timing verification for working engineers.


Digital
Static Timing Analysis for Nanometer Designs : A Practical Approach
Authors: ---
ISBN: 9780387938202 Year: 2009 Publisher: Boston, MA Springer-Verlag US

Loading...
Export citation

Choose an application

Bookmark

Abstract


Digital
Nanosystems Design and Technology
Authors: --- --- ---
ISBN: 9781441902559 Year: 2009 Publisher: Boston, MA Springer-Verlag US

Loading...
Export citation

Choose an application

Bookmark

Abstract


Book
AutoCAD 2010 : basisboek
Author:
ISBN: 9789072487612 Year: 2009 Publisher: Nijmegen TEC


Book
Electronic design automation : synthesis, verification, and test
Authors: --- --- ---
ISBN: 128254215X 9786612542152 0080922007 0123743648 Year: 2009 Publisher: Amsterdam : Morgan Kaufmann/Elsevier,

Loading...
Export citation

Choose an application

Bookmark

Abstract

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, verific


Book
Motivated Reinforcement Learning : Curious Characters for Multiuser Games
Authors: --- ---
ISBN: 9783540891871 Year: 2009 Publisher: Berlin Heidelberg Springer Berlin Heidelberg

Loading...
Export citation

Choose an application

Bookmark

Abstract

Motivated learning is an emerging research field in artificial intelligence and cognitive modelling. Computational models of motivation extend reinforcement learning to adaptive, multitask learning in complex, dynamic environments - the goal being to understand how machines can develop new skills and achieve goals that were not predefined by human engineers. In particular, this book describes how motivated reinforcement learning agents can be used in computer games for the design of non-player characters that can adapt their behaviour in response to unexpected changes in their environment. This book covers the design, application and evaluation of computational models of motivation in reinforcement learning. The authors start with overviews of motivation and reinforcement learning, then describe models for motivated reinforcement learning. The performance of these models is demonstrated by applications in simulated game scenarios and a live, open-ended virtual world. Researchers in artificial intelligence, machine learning and artificial life will benefit from this book, as will practitioners working on complex, dynamic systems - in particular multiuser, online games.


Book
Timing Optimization Through Clock Skew Scheduling
Authors: --- --- ---
ISBN: 9780387710563 Year: 2009 Publisher: Boston MA Springer US

Loading...
Export citation

Choose an application

Bookmark

Abstract

Timing Optimization Through Clock Skew Scheduling focuses on optimizing the timing of large scale, high performance, digital synchronous systems. A particular emphasis is placed on algorithms for non-zero clock skew scheduling to improve the performance and reliability of VLSI circuits. This research monograph answers the need for a broad introduction to state-of-the-art clock skew scheduling algorithms from a circuit, graph, and mathematical optimization background. A detailed description of clock skew scheduling application on edge-triggered and level-sensitive circuits, synchronized with single and multi-phase clocking schemes, and formulated as linear programming (LP) and quadratic programming (QP) formulations are provided along with an analysis of optimal computer solution techniques. Theoretical limits of improvement in clock frequency through clock skew scheduling are highlighted. Hints and a preliminary implementation of a parallel skew scheduling application are also included. Timing Optimization Through Clock Skew Scheduling contains sufficient detail for the advanced CAD algorithm developer, researcher and graduate student. Furthermore, with the material provided on timing properties and optimization, those readers with less background can also benefit from this book.


Book
Functional Design Errors in Digital Circuits : Diagnosis, Correction and Repair
Authors: --- --- ---
ISBN: 9781402093654 Year: 2009 Publisher: Dordrecht Springer Netherlands

Loading...
Export citation

Choose an application

Bookmark

Abstract

Due to the dramatic increase in design complexity, modern circuits are often produced with functional errors. While improvements in verification allow engineers to find more errors, fixing these errors remains a manual and challenging task. Functional Design Errors in Digital Circuits Diagnosis covers a wide spectrum of innovative methods to automate the debugging process throughout the design flow: from Register-Transfer Level (RTL) all the way to the silicon die. In particular, this book describes: (1) techniques for bug trace minimization that simplify debugging; (2) an RTL error diagnosis method that identifies the root cause of errors directly; (3) a counterexample-guided error-repair framework to automatically fix errors in gate-level and RTL designs; (4) a symmetry-based rewiring technology for fixing electrical errors; (5) an incremental verification system for physical synthesis; and (6) an integrated framework for post-silicon debugging and layout repair. In addition, Functional Design Errors in Digital Circuits Diagnosis describes a comprehensive evaluation of spare-cell insertion methods. The solutions provided in this book can greatly reduce debugging effort, enhance design quality, and ultimately enable the design and manufacture of more reliable electronic devices.


Digital
Timing Optimization Through Clock Skew Scheduling
Authors: --- ---
ISBN: 9780387710563 Year: 2009 Publisher: Boston, MA Springer US

Listing 1 - 10 of 106 << page
of 11
>>
Sort by