.png){kind=logo}
Computer-aided design (CAD)
Results 421 - 440 of 958
Computer-aided design (CAD)
Paperback. This book presents the latest approaches to formal verification techniques to seamlessly integrate different formal verification methods within a single logical foundation. It outlines theoretical and practical issues and includes a range of case studies. Num Pages: 257 pages, biography. BIC Classification: TJFC; UGC. Category: (G) General (US: Trade). Dimension: 235 x 155 x 14. Weight in Grams: 403.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer-Verlag New York Inc. United States
- Number of pages
- 257
- Condition
- New
- SKU
- V9781489984449
- ISBN
- 9781489984449
Paperback
Condition: New
€ 138.85
€ 138.85
Paperback. This text examines several leading-edge design and verification technologies that have been successfully applied to microprocessor systems for high-assurance applications at various levels. It includes many practical case studies. Editor(s): Hardin, David S. Num Pages: 450 pages, 16 black & white tables, biography. BIC Classification: TGPR; TJFC; UGC. Category: (G) General (US: Trade). Dimension: 235 x 155 x 23. Weight in Grams: 688.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer-Verlag New York Inc. United States
- Number of pages
- 450
- Condition
- New
- SKU
- V9781489984593
- ISBN
- 9781489984593
Paperback
Condition: New
€ 140.41
€ 140.41
Paperback. Editor(s): Boulet, Pierre. Num Pages: 315 pages, biography. BIC Classification: THR; TJF; TJFC; UGC; UGK; UY. Category: (G) General (US: Trade). Dimension: 235 x 155 x 17. Weight in Grams: 486.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer-Verlag New York Inc. United States
- Number of pages
- 315
- Condition
- New
- SKU
- V9781489984692
- ISBN
- 9781489984692
Paperback
Condition: New
€ 194.34
€ 194.34
paperback. The differences between FPGA and ASIC technologies are examined in this reference, with a particular focus on cost, performance and power consumption. Common misconceptions between the two devices are addressed and specific design choices are highlighted. Num Pages: 191 pages, 51 black & white tables, biography. BIC Classification: TJF; TJFC; UGC; UK. Category: (G) General (US: Trade). Dimension: 235 x 155 x 10. Weight in Grams: 302.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer-Verlag New York Inc. United States
- Edition
- 2010th Edition
- Number of pages
- 191
- Condition
- New
- SKU
- V9781489985095
- ISBN
- 9781489985095
Paperback
Condition: New
€ 127.78
€ 127.78
Paperback. VLSI design has grown more challenging due to detrimental effects of radiation particle strikes and processing variations. This book describes the design of resilient VLSI circuits, presenting algorithms and techniques to analyze and mitigate design problems. Num Pages: 234 pages, 28 black & white tables, biography. BIC Classification: TJFC; UGC. Category: (G) General (US: Trade). Dimension: 235 x 155 x 13. Weight in Grams: 367.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer-Verlag New York Inc. United States
- Number of pages
- 234
- Condition
- New
- SKU
- V9781489985101
- ISBN
- 9781489985101
Paperback
Condition: New
€ 138.85
€ 138.85
Paperback. This book describes synchronous programming for the design of safety-critical embedded systems such as automotive, nuclear power plants, and multimedia. The programming language used is SIGNAL, and the techniques presented promote the use of formal concepts. Num Pages: 282 pages, 7 black & white tables, biography. BIC Classification: TJFC; UGC. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 15. Weight in Grams: 438.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer-Verlag New York Inc. United States
- Number of pages
- 282
- Condition
- New
- SKU
- V9781489985125
- ISBN
- 9781489985125
Paperback
Condition: New
€ 138.85
€ 138.85
Paperback. This insightful book will help both novice and experienced verification engineers master the Open Verification Methodology through extensive examples. It describes basic verification principles and explains the essentials of transaction-level modeling. Num Pages: 255 pages, 22 black & white tables, biography. BIC Classification: TJFC; UGC. Category: (G) General (US: Trade). Dimension: 235 x 155 x 14. Weight in Grams: 397.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer-Verlag New York Inc. United States
- Number of pages
- 255
- Condition
- New
- SKU
- V9781489985132
- ISBN
- 9781489985132
Paperback
Condition: New
€ 138.85
€ 138.85
Paperback. This book presents two techniques to reduce leakage power in digital VLSI ICs. The first reduces leakage through the selective use of high threshold voltage sleep transistors, while the second by applying the optimal Reverse Body Bias voltage. Num Pages: 241 pages, 37 black & white tables, biography. BIC Classification: TJFC; UGC. Category: (G) General (US: Trade). Dimension: 235 x 155 x 13. Weight in Grams: 379.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer-Verlag New York Inc. United States
- Number of pages
- 241
- Condition
- New
- SKU
- V9781489985293
- ISBN
- 9781489985293
Paperback
Condition: New
€ 138.85
€ 138.85
Paperback. This book on embedded systems details how to design a future multiprocessor system consisting of several processors and other components. It covers methodology, design and tool concepts and delves into modeling practice and requirement. Many examples included. Num Pages: 377 pages, 13 black & white tables, biography. BIC Classification: TBD; TJFC; UGC; UMZ. Category: (G) General (US: Trade). Dimension: 235 x 155 x 20. Weight in Grams: 581.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer-Verlag New York Inc. United States
- Number of pages
- 377
- Condition
- New
- SKU
- V9781489985309
- ISBN
- 9781489985309
Paperback
Condition: New
€ 67.81
€ 67.81
Paperback. Dependability in Electronic Systems presents practical applications for dependable electronic systems, such as train control, automotive control systems and network servers/routers. Readers will find an overview of dependability, enabling them to select the best choice for maximum results. Num Pages: 229 pages, biography. BIC Classification: TJFC; UGC. Category: (G) General (US: Trade). Dimension: 235 x 155 x 12. Weight in Grams: 361.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer-Verlag New York Inc. United States
- Number of pages
- 229
- Condition
- New
- SKU
- V9781489985941
- ISBN
- 9781489985941
Paperback
Condition: New
€ 160.96
€ 160.96
Paperback. This book reviews the state of the art in error control for Network on Chip (NOC) links. It details key issues in NOC error control faced by circuit and system designers as well as practical error control techniques to minimize the impact of these errors. Num Pages: 162 pages, 6 black & white tables, biography. BIC Classification: TJFC; UGC. Category: (G) General (US: Trade). Dimension: 235 x 155 x 9. Weight in Grams: 261.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer-Verlag New York Inc. United States
- Number of pages
- 162
- Condition
- New
- SKU
- V9781489986337
- ISBN
- 9781489986337
Paperback
Condition: New
€ 138.85
€ 138.85
Low Power Hardware Synthesis from Concurrent Action-Oriented Specifica...
Singh, Gaurav; Shukla, Sandeep Kumar
Paperback. Low Power Hardware Synthesis provides an introduction to low-power hardware, providing a high-level description of design in terms of Concurrent Action-Oriented Specifications (CAOS). Novel techniques are described, in addition to various verification issues associated with hardware design. Num Pages: 184 pages, biography. BIC Classification: TJFC; UGC. Category: (G) General (US: Trade). Dimension: 235 x 155 x 10. Weight in Grams: 291.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer-Verlag New York Inc. United States
- Number of pages
- 184
- Condition
- New
- SKU
- V9781489987020
- ISBN
- 9781489987020
Paperback
Condition: New
€ 127.78
€ 127.78
The Core Test Wrapper Handbook. Rationale and Application of IEEE STD....
McLaurin, Teresa; Waayers, Tom
Paperback. Series: Frontiers in Electronic Testing. Num Pages: 305 pages, biography. BIC Classification: THR; TJF; TJFC; UGC. Category: (G) General (US: Trade). Dimension: 235 x 155 x 17. Weight in Grams: 474.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer-Verlag New York Inc. United States
- Number of pages
- 305
- Condition
- New
- SKU
- V9781489987693
- ISBN
- 9781489987693
Paperback
Condition: New
€ 138.97
€ 138.97
Low Power Design with High-Level Power Estimation and Power-Aware Synt...
Ahuja, Sumit; Lakshminarayana, Avinash; Shukl...
Paperback. This book presents fresh research techniques, algorithms, methodologies and experimental results for high-level power estimation and power-aware high-level synthesis. The book will help get products to market quicker and facilitate low-power ASIC/FPGA design. Num Pages: 192 pages, 23 black & white tables, biography. BIC Classification: TJFC; UGC. Category: (G) General (US: Trade). Dimension: 235 x 155 x 10. Weight in Grams: 302.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer-Verlag New York Inc. United States
- Number of pages
- 192
- Condition
- New
- SKU
- V9781489987808
- ISBN
- 9781489987808
Paperback
Condition: New
€ 127.78
€ 127.78
Paperback. As modern embedded systems increase in complexity, reconfigurable computing, with its flexible design parameters, is becoming more widely adopted. This book covers both hardware and software aspects to help designers become more acquainted with the issues. Editor(s): Cardoso, Joao M. P.; Hubner, Michael. Num Pages: 311 pages, 22 black & white tables, biography. BIC Classification: TJFC; UGC. Category: (G) General (US: Trade). Dimension: 235 x 155 x 17. Weight in Grams: 480.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer-Verlag New York Inc. United States
- Number of pages
- 311
- Condition
- New
- SKU
- V9781489988591
- ISBN
- 9781489988591
Paperback
Condition: New
€ 139.03
€ 139.03
Process Variations and Probabilistic Integrated Circuit Design
. Ed(S): Dietrich, Manfred; Haase, Joachim
Paperback. Based on qualitative and quantitative insight, this volume presents the technological, physical, and mathematical fundamentals for a design paradigm shift for microelectronic circuits. The text explores design flow variations to establish different variants while optimizing the overall design. Editor(s): Dietrich, Manfred; Haase, Joachim. Num Pages: 252 pages, 32 black & white tables, biography. BIC Classification: TJFC; UGC. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 14. Weight in Grams: 415.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer-Verlag New York Inc. United States
- Number of pages
- 252
- Condition
- New
- SKU
- V9781489988607
- ISBN
- 9781489988607
Paperback
Condition: New
€ 127.52
€ 127.52
Semiconductor Modeling:: For Simulating Signal, Power, and Electromagn...
Leventhal, Roy; Green, Lynne
paperback. Num Pages: 786 pages, biography. BIC Classification: TBJ; THR; TJF; TJFC; TJFN; UGC. Category: (G) General (US: Trade). Dimension: 235 x 155 x 40. Weight in Grams: 1193.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer United States
- Edition
- 2006th Edition
- Number of pages
- 786
- Condition
- New
- SKU
- V9781489991379
- ISBN
- 9781489991379
Paperback
Condition: New
€ 199.03
€ 199.03
Paperback. In what will be a valuable reference for FPGA system designers and CAD tool developers, this book sets out the synthesis of logic functions using memories. Indeed, anyone using logic gates to design logic circuits will benefit from the methods described here. Num Pages: 201 pages, biography. BIC Classification: TH; TJFC; UGC. Category: (G) General (US: Trade). Dimension: 235 x 155 x 11. Weight in Grams: 320.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer-Verlag New York Inc. United States
- Number of pages
- 201
- Condition
- New
- SKU
- V9781489991539
- ISBN
- 9781489991539
Paperback
Condition: New
€ 127.78
€ 127.78
Paperback. This book presents new concepts, techniques and promising programming models for designing software for chips with "many" (hundreds to thousands) processor cores. It serves as a single-source reference to the state-of-the-art in programming many-core chips. Num Pages: 240 pages, biography. BIC Classification: TJFC; UGC. Category: (G) General (US: Trade). Dimension: 235 x 155 x 13. Weight in Grams: 373.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer-Verlag New York Inc. United States
- Number of pages
- 240
- Condition
- New
- SKU
- V9781489991690
- ISBN
- 9781489991690
Paperback
Condition: New
€ 138.85
€ 138.85
Integrated Optical Interconnect Architectures for Embedded Systems
. Ed(S): O'Connor, Ian; Nicolescu, Gabriela
Paperback. This book highlights current research in optical interconnect technologies and architectures. Particular emphasis is given to the ways photonic components are assembled into architectures to address the needs of data-intensive on-chip communication. Editor(s): O'Connor, Ian; Nicolescu, Gabriela. Series: Embedded Systems. Num Pages: 284 pages, 8 black & white tables, biography. BIC Classification: TJFC; UGC. Category: (G) General (US: Trade). Dimension: 235 x 155 x 15. Weight in Grams: 438.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag New York Inc. United States
- Number of pages
- 284
- Condition
- New
- SKU
- V9781489992048
- ISBN
- 9781489992048
Paperback
Condition: New
€ 149.55
€ 149.55