EETOP 创芯网论坛 (原名：电子顶级开发网)

标题: 『三味书屋』发书过年，猪年要走了。。。 [打印本页]
作者: benemale    时间: 2008-1-26 20:33
标题: 『三味书屋』发书过年，猪年要走了。。。
一楼留着更新用。。。^ ^
这堆书放在电脑里好久了，花了好长时间才整理完。
最近论坛比较慢，这么多书估计要发到过年了，大家喜欢哪本就跟贴吼一声，我优先上传吧~~~

[ 本帖最后由 benemale 于 2008-1-26 21:48 编辑 ]
作者: benemale    时间: 2008-1-26 20:39
( , 下载次数: 68 )
A Roadmap for Formal Property Verification

Dasgupta, Pallab

2006, XIII, 251 p., Hardcover
ISBN: 978-1-4020-4757-2


This item usually ships in 2-3 business days

$99.00

About this book
|
Table of contents

About this book
Integrating formal property verification (FPV) into an existing design process raises several interesting questions. Have I written enough properties? Have I written a consistent set of properties? What should I do when the FPV tool runs into capacity issues? This book develops the answers to these questions and fits them into a roadmap for formal property verification – a roadmap that shows how to glue FPV technology into the traditional validation flow. A Roadmap for Formal Property Verification explores the key issues in this powerful technology through simple examples – you do not need any background on formal methods to read most parts of this book.


Written for:
Design verification engineers responsible for complex chip and system designs: CPRs, DSPs, network processors, graphic processors and the SoCs that use them and Electronic Design Automation (EDA) companies developing the next generation of CAD tools for formal design verification

Keywords:


[ 本帖最后由 benemale 于 2008-1-26 22:45 编辑 ]
作者: benemale    时间: 2008-1-26 20:43
( , 下载次数: 67 )
Constraint-Based Verification

Yuan, Jun, Pixley, Carl, Aziz, Adnan

2006, XII, 253 p., Hardcover
ISBN: 978-0-387-25947-5


This item usually ships in 2-3 business days

$109.00

About this book
|
Table of contents
|
Sample pages

About this book
Constraint-Based Verification covers an emerging field in functional verification of electronic designs, referred to as the "constraint-based verification."  The topics are developed in the context of a wide range of dynamic and static verification approaches including simulation, emulation, and formal methods.  The goal is to show how constraints, or assertions, can be used towards automating the generation of testbenches, resulting in a seamless verification flow.  Topics such as verification coverage, and connection with assertion based verification, are also covered.
The book targets verification engineers as well as researchers. It covers both methodological and technical issues.  Particular stress is given to the latest advances in functional verification.
The research community has witnessed recent growth of interests in constraint-based functional verification.  Various techniques have been developed.  They are relatively new, but have reached a level of maturity so that they are appearing in commercial tools such as Vera and System Verilog.


Written for:
Engineers and verification practioners, researchers

[ 本帖最后由 benemale 于 2008-1-26 22:53 编辑 ]
作者: benemale    时间: 2008-1-26 20:44
( , 下载次数: 61 )
Effective Functional Verification
Principles and Processes

Vasudevan, Srivatsa

2006, XXIV, 256 p., Hardcover
ISBN: 978-0-387-28601-3


This item usually ships in 2-3 business days

$119.00

About this book
|
Table of contents

About this book
Effective Functional Verification is organized into 4 parts. The first part contains 3 chapters designed appeal to newcomers and experienced people to the field. There is a survey of various verification methodologies and a discussion of them.
The second part with 3 chapters is targeted towards people in management and higher up on the experience ladders. New verification engineers reading these chapters learn what is expected and how things work in verification. Some case studies are also presented with analysis of proposed improvements.
The last two parts are the result of experience of several years. It goes into how to optimize a verification plan and an environment and how to get results effectively. Various subjects are discussed here to get the most out of a verification environment. Lastely, the appendix discusses some tool specifics to help remove repetitive work and also some tool specific guidelines.
While reading Effective Functional Verification, one will be able to get a jump start on planning and executing a verification plan using the concepts presented.

Written for:
Senior verification engineers, students, professionals

Keywords:


[ 本帖最后由 benemale 于 2008-1-26 23:07 编辑 ]
作者: benemale    时间: 2008-1-26 20:47
( , 下载次数: 73 )
Scalable Hardware Verification with Symbolic Simulation

Bertacco, Valeria

2006, XX, 179 p., Hardcover
ISBN: 978-0-387-24411-2


This item usually ships in 2-3 business days

$119.00

About this book
|
Table of contents
|
Sample pages

About this book
Scalable Hardware Verification with Symbolic Simulation presents recent advancements in symbolic simulation-based solutions which radically improve scalability. It overviews current verification techniques, both based on logic simulation and formal verification methods, and unveils the inner workings of symbolic simulation. The core of this book focuses on new techniques that narrow the performance gap between the complexity of digital systems and the limited ability to verify them. In particular, it covers a range of solutions that exploit approximation and parametrization methods, including quasi-symbolic simulation, cycle-based symbolic simulation, and parameterizations based on disjoint-support decompositions.

In structuring this book, the author’s hope was to provide interesting reading for a broad range of design automation readers. The first two chapters provide an overview of digital systems design and, in particular, verification. Chapter 3 reviews mainstream symbolic techniques in formal verification, dedicating most of its focus to symbolic simulation. The fourth chapter covers the necessary principles of parametric forms and disjoint-support decompositions. Chapters 5 and 6 focus on recent symbolic simulation techniques, and the final chapter addresses key topics needing further research.

Scalable Hardware Verification with Symbolic Simulation is for verification engineers and researchers in the design automation field.

Highlights:

● A discussion of the leading hardware verification techniques, including simulation and formal verification solutions
● Important concepts related to the underlying models and algorithms employed in the field
● The latest innovations in the area of symbolic simulation, exploiting techniques such as parametric forms and decomposition properties of Boolean functions
● Providing insights into possible new developments in the hardware verification

Written for:
Professional CAD verification engineers, researchers in formal verification and validation, advanced graduate students

[ 本帖最后由 benemale 于 2008-1-27 10:35 编辑 ]
作者: benemale    时间: 2008-1-26 20:51
( , 下载次数: 63 )
Next Generation Design and Verification Methodologies for Distributed Embedded Control Systems
Proceedings of the GM R&D Workshop, Bangalore, India, January 2007

Ramesh, S.; Sampath, P. (Eds.)


2007, XXIII, 300 p., Hardcover
ISBN: 978-1-4020-6253-7


Ships in 3 - 5 business days

$169.00

About this book
|
Table of contents

About this book
This volume is the proceedings of the workshop “Next Generation Design and Verification Methodologies for Distributed Embedded Control Systems” organised by General Motors R&D, India Science Lab. The workshop was held on January 5-6 2007 at the NIAS auditorium, IISc campus, Bangalore, India. This workshop is the first of its kind to be organised by an automotive major to bring together the leaders in the field of embedded systems development to present state-of-the-art work, and to discuss future strategies for addressing the increasing complexity of embedded control systems. The workshop consisted of invited talks given by leading experts and researchers from academic and industrial organizations. The workshop covered all areas of embedded systems development and in particular:

Written for:
Industry professionals, academic researchers and graduate students interested in the area of rigorous design and verification of distributed embedded systems

Keywords:


[ 本帖最后由 benemale 于 2008-1-26 23:26 编辑 ]
作者: benemale    时间: 2008-1-26 20:57
( , 下载次数: 64 )
Physical Design Essentials
An ASIC Design Implementation Perspective

Golshan, Khosrow

2007, XIX, 211 p., Hardcover
ISBN: 978-0-387-36642-5


Ships in 3 - 5 business days

$129.00

About this book
|
Table of contents
|
Sample pages

About this book
Physical Design Essentials explains the basic steps required in the physical design of Application Specific Integrated Circuits (ASICs). The subject matter presentation follows the industry-common ASIC physical design flow.

Topics covered include:

Physical Design Essentials is written for professional design engineers who need to be conversant with all aspects of ASIC design implementation: device processes, library development, place-and-route algorithms, verification, and testing.

Written for:
ASIC and physical designers, design and business manager involved with ASIC design, semiconductor foundry professionals such a process engineers, students studying EE and CS in the field of VLSI Architecture and Design Automation, training of newly hired physical design engineers

[ 本帖最后由 benemale 于 2008-1-26 23:50 编辑 ]
作者: benemale    时间: 2008-1-26 21:03
( , 下载次数: 57 )
Embedded System Design

Marwedel, P.

2006, XVII, 241 p., Softcover
ISBN: 978-0-387-29237-3


This item usually ships in 2-3 business days

$49.95

About this book
|
Table of contents
|
Sample pages

About this book
Embedded systems can be defined as information processing systems embedded into enclosing products such as cars, telecommunication or fabrication equipment. Such systems come with a large number of common characteristics, including real-time constraints, and dependability as well as efficiency requirements. Following the success of information technology (IT) for office and workflow applications, embedded systems are considered to be the most important application area of IT during the coming years. This importance of embedded systems is so far not well reflected in many of the current curricula.
Embedded System Design is intended as an aid for changing this situation. It provides the material for a first course on embedded systems, but can also be used by PhD students and professors. A key goal of this book is to provide an overview of embedded system design and to relate the most important topics in embedded system design to each other. It should help to motivate students as well as professors to put more emphasis on education in embedded systems. In order to facilitate teaching from this book, slides, exercises and other related material can be downloaded via the author's web page.
Written for:
PhD students, professors

[ 本帖最后由 benemale 于 2008-1-26 23:13 编辑 ]
作者: benemale    时间: 2008-1-26 21:05
( , 下载次数: 61 )
Embedded System Design: Topics, Techniques and Trends
IFIP TC10 Working Conference: International Embedded Systems Symposium (IESS), May 30 - June 1, 2007, Irvine (CA), USA

Series: IFIP International Federation for Information Processing , Vol. 231

Rettberg, A.; Zanella, M.; Domer, R.; Gerstlauer, A.; Rammig, F. (Eds.)


2007, XVI, 444 p., Hardcover
ISBN: 978-0-387-72257-3


This item usually ships in 2-3 business days

$185.00

About this book
|
Table of contents
|
Sample pages

About this book
Over recent years, embedded systems have gained an enormous amount of processing power and functionality. Many of the formerly external components can now be integrated into a single System-on-Chip. This tendency has resulted in a dramatic reduction in the size and cost of embedded systems. As a unique technology, the design of embedded systems is an essential element of many innovations.
Embedded System Design: Topics, Techniques and Trends presents the technical program of the International Embedded Systems Symposium (IESS) 2007 held in Irvine, California. IESS is a unique forum to present novel ideas, exchange timely research results, and discuss the state of the art and future trends in the field of embedded systems. Contributors and participants from both industry and academia take active part in this symposium. The IESS conference is organized by the Computer Systems Technology committee (TC10) of the International Federation for Information Processing (IFIP).
Timley topics, techniques and trends in embedded system design are covered by the chapters in this book, including design methodology, specification and modeling, embedded software and hardware synthesis, networks-on-chip, distributed and networked systems, and system verification and validation. Particular emphaisis is paid to automotive and medical applications. A set of actual case studies and special aspects in embedded system design are included as well.

Written for:
Researchers and practitioners in embedded system design

[ 本帖最后由 benemale 于 2008-1-27 10:58 编辑 ]
作者: benemale    时间: 2008-1-26 21:06

( , 下载次数: 55 ) 		Fine- and Coarse-Grain Reconfigurable Computing

Vassiliadis, Stamatis; Soudris, Dimitrios (Eds.)

2007, XVI, 384 p., Hardcover
ISBN: 978-1-4020-6504-0


This item usually ships in 2-3 business days

$119.00

About this book
|
Table of contents

About this book
Fine- and Coarse-Grain Reconfigurable Computing gives the basic concepts and building blocks for the design of Fine- (or FPGA) and Coarse-Grain Reconfigurable Architectures. Recently-developed integrated architecture design and software-supported design flow of FPGA and coarse-grain reconfigurable architecture are also described. The book is accompanied by an interactive CD which includes case studies and lab projects for the design of FPGA and Coarse-grain architectures based on the European funded projects AMDREL and MOLEN, respectively.
Part I consists of two extensive surveys of FPGA and Coarse-Grain Reconfigurable Architectures:
The FPGA technology is defined, which includes architecture, logic block structure, interconnect, and configuration methods and existing fine-grain reconfigurable architectures emerged from both academia and industry. Additionally, the implementation techniques and CAD tools developed to facilitate the implementation of a system in reconfigurable hardware by the industry and academia are provided.
In addition the features, the advantages and limitations of the coarse-grain reconfigurable systems, the specific issues that should be addressed during the design phase, as well as representative existing coarse-grain reconfigurable systems are explained.
In Part II, case studies, innovative research results about reconfigurable architectures and design frameworks from three projects AMDREL, MOLEN and ADRES&DRESC, and, a new classification according to microcoded architectural criteria are described.
Fine- and Coarse-Grain Reconfigurable Computing is an essential reference for researchers and professionals and can be used as a textbook by undergraduate, graduate students and professors.
Foreword by Yale Patt, Jim Smith and Mateo Valero

Written for:
Undergraduate graduate students in electrical and/or computer engineering, physics (with electronics/VLSI design activities), graduate students: MSc programmes in electrical and computer eng., or digital/VLSI design, embedded systems design, PhD students in VLSI design, low power design, digital design, embedded hardware design, system-on-chip design, IP components design, logic design/synthesis, transistor-level design, processor design, high-speed arithmetic processors, and reconfigurable architectures, DSP VLSI aignal processing, and engineers/professionals from industry in FPGA design, reconfigurable architectures, VLSI design, low power VLSI design, digital design, System-on-chip design, ASIC design

Keywords:


[ 本帖最后由 benemale 于 2008-1-27 23:53 编辑 ]
作者: benemale    时间: 2008-1-26 21:08
( , 下载次数: 66 )
Introduction to Reconfigurable Computing
Architectures, Algorithms, and Applications

Bobda, Christophe

2007, XXVI, 362 p., Hardcover
ISBN: 978-1-4020-6088-5


This item usually ships in 2-3 business days

$119.00

About this book
|
Table of contents

About this book
“Introduction to Reconfigurable Computing” provides a comprehensive study of the field Reconfigurable Computing. It provides an entry point to the novice willing to move in the research field reconfigurable computing, FPGA and system on programmable chip design. The book can also be used as teaching reference for a graduate course in computer engineering, or as reference to advance electrical and computer engineers. It provides a very strong theoretical and practical background to the field of reconfigurable computing, from the early Estrin’s machine to the very modern architecture like coarse-grained reconfigurable device and the embedded logic devices. Apart from the introduction and the conclusion, the main chapters of the book are the following:
-Architecture of reconfigurable systems, which presents the technology and the architecture used in fine-grained and those used in coarse-grained reconfigurable devices.
-Design and implementation: This section deals with the implementation on reconfigurable system. It briefly covers the steps needed to implement application on today's FPGAs. And focus on the logic synthesis for FPGA, in particular LUT technology mapping.
-High-Level Synthesis for Reconfigurable Devices: The high-level synthesis for reconfigurable systems, also known as temporal partitioning is presented here. Several temporal partitioning techniques are presented and explained.
-Temporal placement: This section considers stand alone reconfigurable systems. Its assume that a kind of operating systems for reconfigurable systems is in charge of managing the resources of a given system and allocate space on a device for the computation of incoming tasks., and therefore presents several temporal placement approaches for off-line as well as on-line placement.
-On-line and Dynamic Interconnection: This chapter reviews and explains the different approaches for allowing communication between modules dynamically placed at run-time on a given device.
-Designing a reconfigurable application on Xilinx Virtex FPGA: In this section, the different design approaches of partial reconfigurable systems on the Xilinx FPGAs that are one of the few on the market with this feature, are explained.
-System on programmable chip: System on programmable chip is a hot topic in reconfigurable computing. This is mainly the integration of a system made upon some peripheral (UART, Ethernet, VGA, etc.), but also computational (Coding, filter, etc.) hardware modules on one programmable chip. The current usable solutions are presented: The book furthermore focuses on the development of adaptive multiprocessors on chip, i.e. systems consisting of a set of Processors and exchangeable hardware accelerators.
-Applications: This part covers the use of reconfigurable system in computer architecture (rapid prototyping, reconfigurable supercomputer, reconfigurable massively parallel computers) and algorithm better adapted for reconfigurable systems (distributed arithmetic, network packet processing, etc...).

Written for:
Computer engineers, computer architects, electrical engineers, computer scientists, FPGA designers, ASIC designers, students and teachers in computer engineering and electrical engineering

Keywords:


[ 本帖最后由 benemale 于 2008-1-27 10:11 编辑 ]
作者: benemale    时间: 2008-1-26 21:16
( , 下载次数: 62 )
High-Performance Computing
6th International Symposium, ISHPC 2005, Nara, Japan, September 7-9, 2005, First International Workshop on Advance Low Power Systems, ALPS 2006, Revised Selected Papers

Series: Lecture Notes in Computer Science , Vol. 4759

Sublibrary: Theoretical Computer Science and General Issues

Labarta, Jesus; Joe, Kazuki; Sato, Toshinori (Eds.)


2008, XV, 524 p., Softcover
ISBN: 978-3-540-77703-8
Online version available



This item usually ships in 3-4 weeks.

$89.95

About this book

About this book
This book constitutes the thoroughly refereed joint post-conference proceedings of the 6th International Symposium on High-Performance Computing, ISHPC 2005, held in Nara, Japan, in September 2005 and the First International Workshop on Advanced Low Power Systems 2006, ALPS2006, organized as satellite event of the 20th ACM International Conference on Supercomputing, ICS 2006, held in Cairns, Australia, in July 2006.
The ISHPC 2005 symposium contributed 15 revised full papers and 13 revised short papers as well as 6 papers from the Second High Performance Fortran (HPF) International Workshop: Experiences and Progress, HiWEP 2005, and 8 papers from the Workshop on Applications for PetaFLOPS Computing, APC 2005 - all of which were carefully reviewed and selected from a total of 76 submissions. The volume is completed with 5 papers of the First International Workshop on Advanced Low Power Systems, ALPS2006, selected from 15 initial submissions that also passed a second round of reviewing and improvement. The papers are organized in topical sections on architecture of high performance computing, HPC applications or visualization, current HPF research, and low-power processing techniques in HPC.

Written for:
Researchers and professionals
Keywords:


[ 本帖最后由 benemale 于 2008-1-28 00:16 编辑 ]
作者: benemale    时间: 2008-1-26 21:21
( , 下载次数: 61 )
Innovative Algorithms and Techniques in Automation, Industrial Electronics and Telecommunications

Sobh, T.; Elleithy, K.; Mahmood, A.; Karim, M. (Eds.)

2007, XVI, 552 p., Hardcover
ISBN: 978-1-4020-6265-0


Ships in 3 - 5 business days

$109.00

About this book
|
Table of contents

About this book
Innovative Algorithms and Techniques in Automation, Industrial Electronics and Telecommunications is a collection of world class paper articles addressing the following topics:






Written for:
Professors, lecturers, instructors, teachers in colleges and universities, researchers/scientists (national research labs, industry research labs, industrial research and development centers, university research labs), graduate students, post-doctoral fellows and post-graduate students and advanced undergraduate students.

[ 本帖最后由 benemale 于 2008-1-27 10:28 编辑 ]
作者: benemale    时间: 2008-1-26 21:25
( , 下载次数: 58 )
Innovations and Advanced Techniques in Computer and Information Sciences and Engineering

Sobh, Tarek (Ed.)

2007, XVIII, 562 p., Hardcover
ISBN: 978-1-4020-6267-4


Ships in 3 - 5 business days

$109.00

About this book
|
Table of contents

About this book
Innovations and Advanced Techniques in Computer and Information Sciences and Engineering is a collection of world class paper articles addressing the following topics:


Written for:
Professors, lecturers, instructors, teachers in colleges and universities, researchers/scientists (national research labs, industry research labs, industrial research and development centers, university research labs), graduate students, post-doctoral fellows and post-graduate students and advanced undergraduate students.

[ 本帖最后由 benemale 于 2008-1-27 10:48 编辑 ]
作者: benemale    时间: 2008-1-26 21:28
( , 下载次数: 47 )
Fundamentals of Switching Theory and Logic Design
A Hands on Approach

Astola, Jaakko T., Stankovic, Radomir S.

2006, XIII, 342 p., Hardcover
ISBN: 978-0-387-28593-1


This item usually ships in 2-3 business days

$109.00

About this textbook
|
Table of contents

About this textbook
Switching theory and logic design provide mathematical foundations and tools for digital system design that is an essential part in the research and development in almost all areas of modern technology. The vast complexity of modern digital systems implies that they can only be handled by computer aided design tools that are built on sophisticated mathematical models. Fundamentals of Switching Theory and Logic Design is aimed at providing an accessible introduction to these mathematical techniques that underlie the design tools and that are necessary for understanding their capabilities and limitations.
As is typical to many disciplines a high level of abstraction enables a unified treatment of many methodologies and techniques as well as provides a deep understanding of the subject in general. The drawback is that without a hands-on touch on the details it is difficult to develop an intuitive understanding of the techniques. We try to combine these views by providing hands-on examples on the techniques while binding these to the more general theory that is developed in parallel. For instance, the use of vector spaces and group theory unifies the spectral (Fourier-like) interpretation of polynomial, and graphic (decision diagrams) representations of logic functions, as well as provides new methods for optimization of logic functions.
Consequently, Fundamentals of Switching Theory and Logic Design discusses the fundamentals of switching theory and logic design from a slightly alternative point of view and also presents links between switching theory and related areas of signal processing and system theory. It also covers the core topics recommended in IEEE/ACM curricula for teaching and study in this area. Further, it contains several elective sections discussing topics for further research work in this area

Written for:
Undergraduate and graduate students, as well as scientists and professionals in computer science and engineering with an interest in these areas
Keywords:


[ 本帖最后由 benemale 于 2008-1-26 23:55 编辑 ]
作者: benemale    时间: 2008-1-26 21:32
( , 下载次数: 59 )
Field Programmable Logic and Application
14th International Conference , FPL 2004, Leuven, Belgium, August 30-September 1, 2004, Proceedings

Series: Lecture Notes in Computer Science , Vol. 3203

Becker, Jürgen; Platzner, Marco; Vernalde, Serge (Eds.)

2004, XXIX, 1198 p. Also available online., Softcover
ISBN: 978-3-540-22989-6
Online version available



Order now, and we will ship when available. (Your credit card will not be charged until we ship)

$147.00

About this book
|
Table of contents
|
Sample pages

About this book
This book constitutes the refereed proceedings of the 14th International Conference on Field-Programmable Logic, FPL 2003, held in Leuven, Belgium in August/September 2004.
The 78 revised full papers, 45 revised short papers, and 29 poster abstracts presented together with 3 keynote contributions and 3 tutorial summaries were carefully reviewed and selected from 285 papers submitted. The papers are organized in topical sections on organic and biologic computing, security and cryptography, platform-based design, algorithms and architectures, acceleration application, architecture, physical design, arithmetic, multitasking, circuit technology, network processing, testing, applications, signal processing, computational models and compiler, dynamic reconfiguration, networks and optimisation algorithms, system-on-chip, high-speed design, image processing, network-on-chip, power-aware design, IP-based design, co-processing architectures, system level design, physical interconnect, computational models, cryptography and compression, network applications and architecture, and debugging and test.

Written for:
Researchers and professionals
Keywords:


[ 本帖最后由 benemale 于 2008-1-27 11:19 编辑 ]
作者: benemale    时间: 2008-1-26 21:34
( , 下载次数: 66 )
Dynamic and Robust Streaming in and between Connected Consumer-Electronic Devices

Series: Philips Research Book Series , Vol. 3

Stok, Peter van der (Ed.)

2005, VIII, 239 p., Hardcover
ISBN: 978-1-4020-3453-4


This item usually ships in 3-4 weeks.

$139.00

About this book
|
Table of contents

About this book
Dynamic and Robust Streaming in and between Connected Consumer-Electronic Devices addresses a subject that is becoming more important over the years. On the one hand the arrival of home networks is imminent, and on the other hand we notice that chips integrate more and more functionality. The home network interconnects the Consumer Electronic (CE) devices in the home, and the individual CE-devices incorporate the chips to realize a ubiquitous streaming of video streams over this network.
Making such networks robust against user (re)configurations takes a large design effort. Both network and chips must be resilient against unexpected user behavior, perturbed communication, and unexpected inputs. The networks and chips must support a dynamic environment in which the user selects new videos, changes destinations or sources and generally does not want to be bothered by logistic issues in these networks. Traditionally, a network operator manages the network to adapt to user wishes. In the home, no such operator is present. and measures must be taken in chips and network to auto-manage the network.
This book provides a comprehensive overview of the challenges that face us. The book shows that there are many similarities between traditional networking and networks in the chip. However, there are some different operational conditions that lead to original solutions.
Dynamic and Robust Streaming in and between Connected Consumer-Electronic Devices focuses on the robustness aspects of the chosen technologies in the area of video steaming. Management of resources such as memory, bandwidth, CPU cycles, bus –cycles is an aspect that is prominent in many of the sections.

Written for:
Researchers

大家下载后将第一个附件改名为“Dynamic and Robust Streaming in and between Connected Consumer.part1”即可顺利解压。

[ 本帖最后由 benemale 于 2008-1-28 21:29 编辑 ]
作者: benemale    时间: 2008-1-26 21:36
( , 下载次数: 60 )
Platform Based Design at the Electronic System Level
Industry Perspectives and Experiences

Burton, Mark; Morawiec, Adam (Eds.)

2006, X, 100 p., Hardcover
ISBN: 978-1-4020-5137-1


This item usually ships in 2-3 business days

$119.00

About this book
|
Table of contents

About this book
Platform Based Design at the Electronic System Level presents a multi-faceted view of the set of problems that the electronic industry currently faces in the development and integration of complex heterogeneous systems (including both hardware and software components). It analyses and proposes solutions related to the provision of integration platforms by SoC and IP providers in light of the needs and requirements expressed by the system companies: they are the users of such platforms which they apply to develop their next generation products. Further, the book tries to draw a comprehensive picture of the current "interfaces" between the platform providers and users, defined by technical requirements, current design methodology and flows, standards, and finally by the business context and relationships (which should not to be underestimated). These producer-consumer, shared "interfaces" enable (or should enable) the exchange of a well-understood and complete set of data between both parties to ensure design efficiency, high productivity and best use of domain-specific expertise and knowledge.
The problems to be solved are related to modelling of platform functionality and performance (formalisms, methods, metrics), interoperability of models, architecture exploration, early SW development in parallel to the HW platform instantiation, verification and debugging methods and flows, management of complexity at various abstraction levels, and the implications of the trade-offs between the accuracy and complexity of models. The solutions discussed by the contributors to this book have one common denominator: these are standards. In the general sense, the book provides views on why and what kind of standards are the prerequisite to the deployment of a platform based design ecosystem, in which cooperation is made possible between all parties involved in system development: system houses, platform and IP providers and EDA companies.

The material presented in Platform Based Design at the Electronic System Level will help system architects, system integrators, design engineers, IP developers and researchers to understand the state-of-the-art and future tendencies in various aspects of modelling of system platforms.

Written for:
SoC developers, platform providers, system engineers, modelers, IP developers, IP integrators

Keywords:


[ 本帖最后由 benemale 于 2008-1-27 23:17 编辑 ]
作者: benemale    时间: 2008-1-26 21:37
( , 下载次数: 65 )
System Level Design of Reconfigurable Systems-on-Chip

Voros, Nikolaos S.; Masselos, Konstantinos (Eds.)

2005, 231 p., Hardcover
ISBN: 978-0-387-26103-4


This item usually ships in 2-3 business days

$129.00

About this book
|
Table of contents
|
Sample pages

About this book
System Level Design of Reconfigurable Systems-on-Chip provides insight in the challenges and difficulties encountered during the design of reconfigurable Systems-on-Chip (SoCs). Reconfiguration is becoming an important part of System-on-Chip design to cope with the increasing demands for simultaneous flexibility and computational power.
The book focuses on system level design issues for reconfigurable SoCs, and provides information on reconfiguration aspects of complex SoCs and how they can be implemented in practice. It is divided in three parts. The first part provides background information and requirements on reconfigurable technologies and systems. The second one identifies existing methodological gaps, and introduces a design flow for developing reconfigurable Systems-on-Chip. The high level part of the design flow can be covered by two C++ based methodologies: one based on SystemC and one based on OCAPI-XL, both including appropriate extensions to handle reconfiguration issues. Finally, the third part of the book presents reconfigurable SoCs from the perspective of the designer, through three indicative case studies from the wireless and multimedia communication domain.

Written for:
Reconfigurable computing/hardware designers, system-on-chip designers, embedded system designers, electrical engineers, computer technology engineers, hardware/software engineers

Keywords:


[ 本帖最后由 benemale 于 2008-1-28 21:04 编辑 ]
作者: benemale    时间: 2008-1-26 21:39
( , 下载次数: 62 )
VLSI-SoC: From Systems to Silicon
IFIP TC10/ WG 10.5 Thirteenth International Conference on Very Large Scale Integration of System on Chip (VLSI-SoC2005), October 17-19, 2005, Perth, Australia

Series: IFIP International Federation for Information Processing , Vol. 240

Reis, Ricardo; Osseiran, Adam; Pfleiderer, Hans-Joerg (Eds.)

2007, X, 344 p. 176 illus., Hardcover
ISBN: 978-0-387-73660-0


This item usually ships in 2-3 business days

$149.00

About this book
|
Table of contents

About this book
International Federation for Information Processing
The IFIP series publishes state-of-the-art results in the sciences and technologies of information and communication.  The scope of the series includes: foundations of computer science; software theory and practice; education; computer applications in technology; communication systems; systems modeling and optimization; information systems; computers and society; computer systems technology; security and protection in information processing systems; artificial intelligence; and human-computer interaction.  Proceedings and post-proceedings of referred international conferences in computer science and interdisciplinary fields are featured.  These results often precede journal publication and represent the most current research.  The principal aim of the IFIP series is to encourage education and the dissemination and exchange of information about all aspects of computing.

For more information about the 300 other books in the IFIP series, please visit www.springer.com.

For more information about IFIP, please visit www.ifip.org.


Written for:
Researchers and practitioners of VLSI

[ 本帖最后由 benemale 于 2008-1-27 23:32 编辑 ]
作者: benemale    时间: 2008-1-26 21:42
( , 下载次数: 44 )
VLSI-SoC: Research Trends in VLSI and Systems on Chip
Fourteenth International Conference on Very Large Scale Integration of System on Chip (VLSI-SoC2006), October 16-18, 2006, Nice, France

Series: IFIP International Federation for Information Processing , Vol. 249

De Micheli, Giovanni; Mir, Salvador; Reis, Ricardo (Eds.)

2008, X, 398 p., Hardcover
ISBN: 978-0-387-74908-2


This item usually ships in 2-3 business days

$149.00

About this book
|
Table of contents

About this book
International Federation for Information Processing
The IFIP series publishes state-of-the-art results in the sciences and technologies of information and communication.  The scope of the series includes: foundations of computer science; software theory and practice; education; computer applications in technology; communication systems; systems modeling and optimization; information systems; computers and society; computer systems technology; security and protection in information processing systems; artificial intelligence; and human-computer interaction.  Proceedings and post-proceedings of referred international conferences in computer science and interdisciplinary fields are featured.  These results often precede journal publication and represent the most current research.  The principal aim of the IFIP series is to encourage education and the dissemination and exchange of information about all aspects of computing.

For more information about the 300 other books in the IFIP series, please visit www.springer.com.

For more information about IFIP, please visit www.ifip.org.

Written for:
Researchers and practitioners of VLSI.

Keywords:



[ 本帖最后由 benemale 于 2008-1-27 23:45 编辑 ]
作者: benemale    时间: 2008-1-26 21:44
( , 下载次数: 37 )
Information Systems and Data Compression

Seidler, Jerzy A.

1997, 496 p., Hardcover
ISBN: 978-0-7923-9953-7


Order now, and we will ship when available. (Your credit card will not be charged until we ship).

$256.00

About this book
|
Table of contents

About this book
Information Systems and Data Compression presents a uniform approach and methodology for designing intelligent information systems. A framework for information concepts is introduced for various types of information systems such as communication systems, information storage systems and systems for simplifying structured information. The book introduces several new concepts and presents a novel interpretation of a wide range of topics in communications, information storage, and information compression. Numerous illustrations for designing information systems for compression of digital data and images are used throughout the book.

[ 本帖最后由 benemale 于 2008-1-30 23:47 编辑 ]
作者: benemale    时间: 2008-1-26 21:45
( , 下载次数: 33 )
Personal Wireless Communications
The 12th IFIP International Conference on Personal Wireless Communications (PWC 2007), Prague, Czech Republic, September 2007

Series: IFIP International Federation for Information Processing , Vol. 245

Bestak, Robert; Simak, Boris; Kozlowska, Ewa (Eds.)

2007, XV, 680 p., Hardcover
ISBN: 978-0-387-74158-1


This item usually ships in 2-3 business days

$239.00

About this book
|
Table of contents
|
Sample pages

About this book
International Federation for Information Processing
The IFIP series publishes state-of-the-art results in the sciences and technologies of information and communication.  The scope of the series includes: foundations of computer science; software theory and practice; education; computer applications in technology; communication systems; systems modeling and optimization; information systems; computers and society; computer systems technology; security and protection in information processing systems; artificial intelligence; and human-computer interaction.  Proceedings and post-proceedings of referred international conferences in computer science and interdisciplinary fields are featured.  These results often precede journal publication and represent the most current research.  The principal aim of the IFIP series is to encourage education and the dissemination and exchange of information about all aspects of computing.

For more information about the 300 other books in the IFIP series, please visit www.springer.com.

For more information about IFIP, please visit www.ifip.org.

Written for:
Researchers and practitioners interested in mobile computing and wireless networks

[ 本帖最后由 benemale 于 2008-1-27 23:14 编辑 ]
作者: benemale    时间: 2008-1-26 21:46
( , 下载次数: 40 )
Wireless Sensor Networks
5th European Conference, EWSN 2008, Bologna, Italy, January 30-February 1, 2008, Proceedings

Series: Lecture Notes in Computer Science , Vol. 4913
Sublibrary: Computer Communication Networks and Telecommunications

Verdone, Roberto (Ed.)

2008, XIII, 388 p., Softcover
ISBN: 978-3-540-77689-5


Not yet published. Available: March 5, 2008

$79.95

About this book

About this book
This book constitutes the refereed proceedings of the 5th European Workshop on Wireless Sensor Networks, EWSN 2008, held in Bologna, Italy, in January/February 2008.
The 23 revised full papers presented were carefully reviewed and selected from 110 submissions. The papers are organized in topical sections on localization, detection of space/time correlated events, network coding, ZigBee, topology, software, as well as deployment and application development.

Written for:
Researchers and professionals
Keywords:


[ 本帖最后由 benemale 于 2008-1-30 23:30 编辑 ]
作者: easyma    时间: 2008-1-27 00:09
怎么很多书看不到下载呀
作者: easyma    时间: 2008-1-27 00:14
楼主，我都想要，呵呵
特别是以下：


Introduction to Reconfigurable Computing
Innovative Algorithms and Techniques in Automation, Industrial Electronics and Telecommunications
Field Programmable Logic and Application
System Level Design of Reconfigurable Systems-on-Chip
Personal Wireless Communications
谢谢了
作者: zero    时间: 2008-1-27 01:44
benemale,额滴神

这几本，拜托了

ScalableHardwareVerificationwithSymbolicSimulation
PlatformBasedDesignattheElectronicSystemLevel
IntroductiontoReconfigurableComputing
InnovativeAlgorithmsandTechniquesinAutomationIndustrialElectronicsandTelecommunications





[ 本帖最后由 zero 于 2008-1-27 01:54 编辑 ]
作者: opqrst    时间: 2008-1-27 02:38
每本都是好书，尤其是前两页的，价值很高。
作者: kylkzy    时间: 2008-1-27 09:33
神啊，请把书都放上去吧！
作者: hudie2002    时间: 2008-1-27 09:52
楼主真乃神人也，不愧是火星人！
作者: natrac    时间: 2008-1-27 10:00
benemale神：请问有没有Logic synthesis and verification这本书啊，我找了很久都没找到，Springer/Kluwer 2001年11月出的，有的话，麻烦上传一下，先谢谢啦！！！

书的介绍http://www.amazon.com/Synthesis-Verification-Springer-International-Engineering/dp/0792376064

[ 本帖最后由 natrac 于 2008-1-27 21:32 编辑 ]
作者: denap    时间: 2008-1-27 15:30
Thanks for sharing!!
作者: denap    时间: 2008-1-27 15:35
Thanks for sharing!!
作者: xiaoyingqun    时间: 2008-1-27 16:05
谢谢你了！好资料啊！
作者: QQYY    时间: 2008-1-27 17:08
楼主好东西实在多啊~
作者: benemale    时间: 2008-1-27 22:40


   
原帖由 natrac 于 2008-1-27 10:00 发表

                               
登录/注册后可看大图

benemale神：请问有没有Logic synthesis and verification这本书啊，我找了很久都没找到，Springer/Kluwer 2001年11月出的，有的话，麻烦上传一下，先谢谢啦！！！

书的介绍http://www.amazon.com/S ...



报告老大，书能找到，可惜没权限下载。。。如果是元旦那段时间就好了，现在没戏了，等有机会吧。。。
作者: opqrst    时间: 2008-1-28 12:53
System Level Design of Reconfigurable Systems-on-Chip
解压缩失败。其他几本没问题。
作者: freelion    时间: 2008-1-28 22:19
不服高人有罪
作者: xuanxuan    时间: 2008-1-28 22:49
貌似不错的呀
作者: pedro888    时间: 2008-1-28 22:57
thanks for your information....................

thanks........................................................
作者: pedro888    时间: 2008-1-28 23:17
thanks for your information....................

thanks........................................................
作者: foy    时间: 2008-1-28 23:44
都是好书啊，多谢楼主了
作者: foy    时间: 2008-1-29 00:43
验证的几本下了，多谢
作者: xuanxuan    时间: 2008-1-29 15:10
在哪里搞到的？
作者: lufeng21cn    时间: 2008-1-29 15:14
楼主真是强人一个,牛!!!
作者: xiaopingtan    时间: 2008-1-30 12:03
感谢共享
作者: natrac    时间: 2008-1-30 12:39


   
原帖由 benemale 于 2008-1-27 22:40 发表

                               
登录/注册后可看大图



报告老大，书能找到，可惜没权限下载。。。如果是元旦那段时间就好了，现在没戏了，等有机会吧。。。



好地，epubcn好像有这本书，不过注册不了
作者: zlhrsy    时间: 2008-1-31 10:47
thank you very much
作者: benemale    时间: 2008-1-31 22:20


   
原帖由 benemale 于 2008-1-26 21:46 发表

                               
登录/注册后可看大图

65956
Wireless Sensor Networks
5th European Conference, EWSN 2008, Bologna, Italy, January 30-February 1, 2008, Proceedings

Series: Lecture Notes in Computer Science , Vol. 4913
Sublibrary: Com ...



不知何时论坛已变为帖子超过7200分钟(也就是5天)就不能编辑了，Wireless Sensor Networks这本书的part01上传有问题，

只能在这里回贴了，希望大家能看到，阿门~~~~~~~~~
作者: donaphael    时间: 2008-1-31 23:23
下了 VLSI-SoC: From Systems to Silicon
准备寒假看看
作者: zlhrsy    时间: 2008-2-1 09:56
楼主哪里下到这么多好东东，可否共享下载链接
作者: Journeyman    时间: 2008-2-3 18:06
要命啊，钱都交您着了
作者: infotech    时间: 2008-2-10 14:51
已经下载，好好拜读！


   
原帖由 benemale 于 2008-1-26 21:21 发表

                               
登录/注册后可看大图

65942
Innovative Algorithms and Techniques in Automation, Industrial Electronics and Telecommunications

Sobh, T.; Elleithy, K.; Mahmood, A.; Karim, M. (Eds.)

2007, XVI, 552 p., Hardcover
ISBN ...

作者: swl58    时间: 2008-2-10 16:20
Thanks for sharing!
作者: sawfish    时间: 2008-2-14 00:39
Thanks!
作者: jianchongzhou    时间: 2008-2-25 12:41
继续下好书
作者: jianchongzhou    时间: 2008-2-25 12:44
楼主的好书可真是多啊
作者: jianchongzhou    时间: 2008-2-25 12:46
继续下一本
作者: sawfish    时间: 2008-2-25 12:48
Thanks!
作者: jianchongzhou    时间: 2008-2-25 12:49
继续下一本
作者: jianchongzhou    时间: 2008-2-25 12:55
继续下一本
作者: jianchongzhou    时间: 2008-2-25 13:01
继续下一本
作者: jianchongzhou    时间: 2008-2-25 13:04
继续下一个包
作者: jianchongzhou    时间: 2008-2-25 13:08
开始下一本
作者: jianchongzhou    时间: 2008-2-25 13:20
又开始断了
作者: jianchongzhou    时间: 2008-2-25 13:25
又断了,速度实在是太不行了
作者: jianchongzhou    时间: 2008-2-25 13:32
好不容易才下下来一本
作者: jianchongzhou    时间: 2008-2-25 13:36
楼主的这些书真是新啊
作者: jianchongzhou    时间: 2008-2-25 13:40
继续顶一个
作者: jianchongzhou    时间: 2008-2-25 13:43
继续下一本
作者: jianchongzhou    时间: 2008-2-25 13:48
继续顶一把
作者: jianchongzhou    时间: 2008-2-25 13:53
继续顶一把
作者: jianchongzhou    时间: 2008-2-25 13:56
继续顶一把
作者: keilwang    时间: 2008-2-25 14:51
内容挺全的，看看，多谢！
作者: keilwang    时间: 2008-2-25 14:53
积分不够，只好多顶一下了！
作者: jianchongzhou    时间: 2008-2-25 15:14
继续下一本
作者: jianchongzhou    时间: 2008-2-25 15:17
继续下一本
作者: jianchongzhou    时间: 2008-2-25 15:19
继续顶，加油
作者: jianchongzhou    时间: 2008-2-25 15:24
再顶一个,加油
作者: keilwang    时间: 2008-2-25 15:24
下载了，看看学学
作者: jianchongzhou    时间: 2008-2-25 15:32
继续顶一个
作者: jianchongzhou    时间: 2008-2-25 15:41
继续顶一把
作者: jianchongzhou    时间: 2008-2-25 15:43
继续下一本
作者: jianchongzhou    时间: 2008-2-25 15:49
继续下一个包
作者: jianchongzhou    时间: 2008-2-25 15:54
ding,ding!
作者: jianchongzhou    时间: 2008-2-25 16:04
我估计楼主主要还是搞模拟和射频的,但是楼主收集的资料可真是多啊
作者: smaaa    时间: 2008-2-25 17:28
提示: 作者被禁止或删除 内容自动屏蔽
作者: smaaa    时间: 2008-2-25 17:53
提示: 作者被禁止或删除 内容自动屏蔽
作者: smaaa    时间: 2008-2-25 17:59
提示: 作者被禁止或删除 内容自动屏蔽
作者: smaaa    时间: 2008-2-25 18:02
提示: 作者被禁止或删除 内容自动屏蔽
作者: jianchongzhou    时间: 2008-2-25 22:46
继续开始下
作者: jianchongzhou    时间: 2008-2-25 22:47
继续顶一个
作者: jianchongzhou    时间: 2008-2-25 22:51
开始下一本
作者: jianchongzhou    时间: 2008-2-25 22:54
继续顶一个
作者: jianchongzhou    时间: 2008-2-25 22:55
今天速度还是比较快的
作者: jianchongzhou    时间: 2008-2-25 22:58
继续下一个
作者: jianchongzhou    时间: 2008-2-25 22:59
开始下一本
作者: jianchongzhou    时间: 2008-2-25 23:01
先顶一个先
作者: jianchongzhou    时间: 2008-2-25 23:03
从来没见过有这么多新书
作者: jianchongzhou    时间: 2008-2-25 23:04
继续下,下的好辛苦



欢迎光临 EETOP 创芯网论坛 (原名：电子顶级开发网) (https://bbs.eetop.cn/) Powered by Discuz! X3.5