Limit Search Results
Author
SpringerLink (Online service)
(145)
Khatri, Sunil P. author.
(4)
Bertacco, Valeria. author.
(3)
Leblebici, Yusuf. author.
(3)
Spear, Chris. author.
(3)
Language
Publication Date
-
2011
(37)
2010
(25)
2006
(21)
2012
(15)
2007
(11)
Subject
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
145 Results Found Subscribe to search results
0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000DEFAULT
Print
1. 
Cover image for Formal Development of a Network-Centric RTOS Software Engineering for Reliable Embedded Systems
Formal Development of a Network-Centric RTOS Software Engineering for Reliable Embedded Systems
Author 
Verhulst, Eric. author. Boute, Raymond T. author. Faria, José Miguel Sampaio. author. Sputh, Bernhard H.C. author. Mezhuyev, Vitaliy. author.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4419-9736-4
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Design and Analysis of Biomolecular Circuits Engineering Approaches to Systems and Synthetic Biology
Design and Analysis of Biomolecular Circuits Engineering Approaches to Systems and Synthetic Biology
Author 
Koeppl, Heinz. editor. Setti, Gianluca. editor. di Bernardo, Mario. editor. Densmore, Douglas. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4419-6766-4
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Towards Synthesis of Micro-/Nano-systems The 11th International Conference on Precision Engineering (ICPE) August 16–18, 2006, Tokyo, Japan
Towards Synthesis of Micro-/Nano-systems The 11th International Conference on Precision Engineering (ICPE) August 16–18, 2006, Tokyo, Japan
Author 
Kimura, Fumihiko. author. Horio, Kenichiro. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/1-84628-559-3
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for All-Embracing Manufacturing Roadmap System
All-Embracing Manufacturing Roadmap System
Author 
Halevi, Gideon. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-94-007-4180-5
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Mixed Reality and Human-Robot Interaction
Mixed Reality and Human-Robot Interaction
Author 
Wang, Xiangyu. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-94-007-0582-1
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Adaptable Embedded Systems
Adaptable Embedded Systems
Author 
Beck, Antonio Carlos Schneider. editor. Lang Lisbôa, Carlos Arthur. editor. Carro, Luigi. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(331281.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-1746-0
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Nanometer Variation-Tolerant SRAM Circuits and Statistical Design for Yield
Nanometer Variation-Tolerant SRAM Circuits and Statistical Design for Yield
Author 
Abu-Rahma, Mohamed H. author. Anis, Mohab. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(331282.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-1749-1
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Bio/CMOS Interfaces and Co-Design
Bio/CMOS Interfaces and Co-Design
Author 
Carrara, Sandro. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(331564.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-4690-3
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Integrated Optical Interconnect Architectures for Embedded Systems
Integrated Optical Interconnect Architectures for Embedded Systems
Author 
O'Connor, Ian. editor. Nicolescu, Gabriela. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(330817.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4419-6193-8
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Automotive Radar Sensors in Silicon Technologies
Automotive Radar Sensors in Silicon Technologies
Author 
Jain, Vipul. author. Heydari, Payam. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(330821.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4419-6775-6
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Process Variations and Probabilistic Integrated Circuit Design
Process Variations and Probabilistic Integrated Circuit Design
Author 
Dietrich, Manfred. editor. Haase, Joachim. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4419-6621-6
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for 3D TCAD Simulation for Semiconductor Processes, Devices and Optoelectronics
3D TCAD Simulation for Semiconductor Processes, Devices and Optoelectronics
Author 
Li, Simon. author. Fu, Yue. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-0481-1
Format: 
Availability 
Online Library~1
Available:
Copies:
13. 
Cover image for The MPEG Representation of Digital Media
The MPEG Representation of Digital Media
Author 
Chiariglione, Leonardo. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4419-6184-6
Format: 
Availability 
Online Library~1
Available:
Copies:
14. 
Cover image for Scalable Multi-core Architectures Design Methodologies and Tools
Scalable Multi-core Architectures Design Methodologies and Tools
Author 
Soudris, Dimitrios. editor. Jantsch, Axel. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4419-6778-7
Format: 
Availability 
Online Library~1
Available:
Copies:
15. 
Cover image for Distributed, Embedded and Real-time Java Systems
Distributed, Embedded and Real-time Java Systems
Author 
Higuera-Toledano, M. Teresa. editor. Wellings, Andy J. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4419-8158-5
Format: 
Availability 
Online Library~1
Available:
Copies:
16. 
Cover image for Error Control for Network-on-Chip Links
Error Control for Network-on-Chip Links
Author 
Fu, Bo. author. Ampadu, Paul. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4419-9313-7
Format: 
Availability 
Online Library~1
Available:
Copies:
17. 
Cover image for Nanometer CMOS Sigma-Delta Modulators for Software Defined Radio
Nanometer CMOS Sigma-Delta Modulators for Software Defined Radio
Author 
Morgado, Alonso. author. del Río, Rocío. author. Rosa, José M. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-0037-0
Format: 
Availability 
Online Library~1
Available:
Copies:
18. 
Cover image for Heterogeneous Multicore Processor Technologies for Embedded Systems
Heterogeneous Multicore Processor Technologies for Embedded Systems
Author 
Uchiyama, Kunio. author. Arakawa, Fumio. author. Kasahara, Hironori. author. Nojiri, Tohru. author. Noda, Hideyuki. author.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-0284-8
Format: 
Availability 
Online Library~1
Available:
Copies:
19. 
Cover image for Ultra High-Speed CMOS Circuits Beyond 100 GHz
Ultra High-Speed CMOS Circuits Beyond 100 GHz
Author 
Gharavi, Sam. author. Heydari, Babak. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-0305-0
Format: 
Availability 
Online Library~1
Available:
Copies:
20. 
Cover image for Understanding and Using the Controller Area Network Communication Protocol Theory and Practice
Understanding and Using the Controller Area Network Communication Protocol Theory and Practice
Author 
Di Natale, Marco. author. Zeng, Haibo. author. Giusto, Paolo. author. Ghosal, Arkadeb. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-0314-2
Format: 
Availability 
Online Library~1
Available:
Copies:
21. 
Cover image for Statistical Performance Analysis and Modeling Techniques for Nanometer VLSI Designs
Statistical Performance Analysis and Modeling Techniques for Nanometer VLSI Designs
Author 
Shen, Ruijing. author. Tan, Sheldon X.-D. author. Yu, Hao. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-0788-1
Format: 
Availability 
Online Library~1
Available:
Copies:
22. 
Cover image for Reliability, Availability and Serviceability of Networks-on-Chip
Reliability, Availability and Serviceability of Networks-on-Chip
Author 
Cota, Érika. author. Morais Amory, Alexandre. author. Soares Lubaszewski, Marcelo. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-0791-1
Format: 
Availability 
Online Library~1
Available:
Copies:
23. 
Cover image for Low Power Design with High-Level Power Estimation and Power-Aware Synthesis
Low Power Design with High-Level Power Estimation and Power-Aware Synthesis
Author 
Ahuja, Sumit. author. Lakshminarayana, Avinash. author. Shukla, Sandeep Kumar. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-0872-7
Format: 
Availability 
Online Library~1
Available:
Copies:
24. 
Cover image for SystemVerilog for Verification A Guide to Learning the Testbench Language Features
SystemVerilog for Verification A Guide to Learning the Testbench Language Features
Author 
Spear, Chris. author. Tumbush, Greg. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-0715-7
Format: 
Availability 
Online Library~1
Available:
Copies:
25. 
Cover image for VLSI Physical Design: From Graph Partitioning to Timing Closure
VLSI Physical Design: From Graph Partitioning to Timing Closure
Author 
Kahng, Andrew B. author. Lienig, Jens. author. Markov, Igor L. author. Hu, Jin. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-90-481-9591-6
Format: 
Availability 
Online Library~1
Available:
Copies:
26. 
Cover image for Low-Power High-Resolution Analog to Digital Converters Design, Test and Calibration
Low-Power High-Resolution Analog to Digital Converters Design, Test and Calibration
Author 
Zjajo, Amir. author. Pineda de Gyvez, José. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-90-481-9725-5
Format: 
Availability 
Online Library~1
Available:
Copies:
27. 
Cover image for Regular Nanofabrics in Emerging Technologies Design and Fabrication Methods for Nanoscale Digital Circuits
Regular Nanofabrics in Emerging Technologies Design and Fabrication Methods for Nanoscale Digital Circuits
Author 
Ben Jamaa, M. Haykel. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-94-007-0650-7
Format: 
Availability 
Online Library~1
Available:
Copies:
28. 
Cover image for Multiprocessor System-on-Chip Hardware Design and Tool Integration
Multiprocessor System-on-Chip Hardware Design and Tool Integration
Author 
Hübner, Michael. editor. Becker, Jürgen. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4419-6460-1
Format: 
Availability 
Online Library~1
Available:
Copies:
29. 
Cover image for Focal-Plane Sensor-Processor Chips
Focal-Plane Sensor-Processor Chips
Author 
Zarándy, Ákos. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4419-6475-5
Format: 
Availability 
Online Library~1
Available:
Copies:
30. 
Cover image for Nanoscale Memory Repair
Nanoscale Memory Repair
Author 
Horiguchi, Masashi. author. Itoh, Kiyoo. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4419-7958-2
Format: 
Availability 
Online Library~1
Available:
Copies:
31. 
Cover image for Post-Silicon and Runtime Verification for Modern Processors
Post-Silicon and Runtime Verification for Modern Processors
Author 
Wagner, Ilya. author. Bertacco, Valeria. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4419-8034-2
Format: 
Availability 
Online Library~1
Available:
Copies:
32. 
Cover image for Programming Many-Core Chips
Programming Many-Core Chips
Author 
Vajda, András. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4419-9739-5
Format: 
Availability 
Online Library~1
Available:
Copies:
33. 
Cover image for Reliability of Nanoscale Circuits and Systems Methodologies and Circuit Architectures
Reliability of Nanoscale Circuits and Systems Methodologies and Circuit Architectures
Author 
Stanisavljević, Miloš. author. Schmid, Alexandre. author. Leblebici, Yusuf. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4419-6217-1
Format: 
Availability 
Online Library~1
Available:
Copies:
34. 
Cover image for Dependability in Electronic Systems Mitigation of Hardware Failures, Soft Errors, and Electro-Magnetic Disturbances
Dependability in Electronic Systems Mitigation of Hardware Failures, Soft Errors, and Electro-Magnetic Disturbances
Author 
Kanekawa, Nobuyasu. author. Ibe, Eishi H. author. Suga, Takashi. author. Uematsu, Yutaka. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4419-6715-2
Format: 
Availability 
Online Library~1
Available:
Copies:
35. 
Cover image for Ultra Low-Power Integrated Circuit Design for Wireless Neural Interfaces
Ultra Low-Power Integrated Circuit Design for Wireless Neural Interfaces
Author 
Holleman, Jeremy. author. Zhang, Fan. author. Otis, Brian. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4419-6727-5
Format: 
Availability 
Online Library~1
Available:
Copies:
36. 
Cover image for On-Chip Interconnect with aelite Composable and Predictable Systems
On-Chip Interconnect with aelite Composable and Predictable Systems
Author 
Hansson, Andreas. author. Goossens, Kees. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4419-6865-4
Format: 
Availability 
Online Library~1
Available:
Copies:
37. 
Cover image for Low Power Networks-on-Chip
Low Power Networks-on-Chip
Author 
Silvano, Cristina. editor. Lajolo, Marcello. editor. Palermo, Gianluca. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4419-6911-8
Format: 
Availability 
Online Library~1
Available:
Copies:
38. 
Cover image for Analog Layout Synthesis A Survey of Topological Approaches
Analog Layout Synthesis A Survey of Topological Approaches
Author 
Graeb, Helmut E. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4419-6932-3
Format: 
Availability 
Online Library~1
Available:
Copies:
39. 
Cover image for Design of Image Processing Embedded Systems Using Multidimensional Data Flow
Design of Image Processing Embedded Systems Using Multidimensional Data Flow
Author 
Keinert, Joachim. author. Teich, Jürgen. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4419-7182-1
Format: 
Availability 
Online Library~1
Available:
Copies:
40. 
Cover image for Ultra-thin Chip Technology and Applications
Ultra-thin Chip Technology and Applications
Author 
Burghartz, Joachim. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4419-7276-7
Format: 
Availability 
Online Library~1
Available:
Copies:
41. 
Cover image for Wearable Monitoring Systems
Wearable Monitoring Systems
Author 
Bonfiglio, Annalisa. editor. De Rossi, Danilo. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4419-7384-9
Format: 
Availability 
Online Library~1
Available:
Copies:
42. 
Cover image for Run-time Adaptation for Reconfigurable Embedded Processors
Run-time Adaptation for Reconfigurable Embedded Processors
Author 
Bauer, Lars. author. Henkel, Jörg. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4419-7412-9
Format: 
Availability 
Online Library~1
Available:
Copies:
43. 
Cover image for Low-Power Variation-Tolerant Design in Nanometer Silicon
Low-Power Variation-Tolerant Design in Nanometer Silicon
Author 
Bhunia, Swarup. editor. Mukhopadhyay, Saibal. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4419-7418-1
Format: 
Availability 
Online Library~1
Available:
Copies:
44. 
Cover image for Introduction to Mixed-Signal, Embedded Design
Introduction to Mixed-Signal, Embedded Design
Author 
Doboli, Alex. author. Currie, Edward H. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4419-7446-4
Format: 
Availability 
Online Library~1
Available:
Copies:
45. 
Cover image for Advanced Techniques in Logic Synthesis, Optimizations and Applications
Advanced Techniques in Logic Synthesis, Optimizations and Applications
Author 
Gulati, Kanupriya. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4419-7518-8
Format: 
Availability 
Online Library~1
Available:
Copies:
46. 
Cover image for Cloud Connectivity and Embedded Sensory Systems
Cloud Connectivity and Embedded Sensory Systems
Author 
Spaanenburg, Lambert. author. Spaanenburg, Hendrik. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4419-7545-4
Format: 
Availability 
Online Library~1
Available:
Copies:
47. 
Cover image for Voltage Regulators for Next Generation Microprocessors
Voltage Regulators for Next Generation Microprocessors
Author 
López, Toni. author. Elferich, Reinhold. author. Alarcón, Eduard. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4419-7560-7
Format: 
Availability 
Online Library~1
Available:
Copies:
48. 
Cover image for On-Chip Instrumentation Design and Debug for Systems on Chip
On-Chip Instrumentation Design and Debug for Systems on Chip
Author 
Stollon, Neal. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4419-7563-8
Format: 
Availability 
Online Library~1
Available:
Copies:
49. 
Cover image for Energy Harvesting Systems Principles, Modeling and Applications
Energy Harvesting Systems Principles, Modeling and Applications
Author 
Kaźmierski, Tom J. editor. Beeby, Steve. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4419-7566-9
Format: 
Availability 
Online Library~1
Available:
Copies:
50. 
Cover image for Reconfigurable Field Programmable Gate Arrays for Mission-Critical Applications
Reconfigurable Field Programmable Gate Arrays for Mission-Critical Applications
Author 
Battezzati, Niccolò. author. Sterpone, Luca. author. Violante, Massimo. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4419-7595-9
Format: 
Availability 
Online Library~1
Available:
Copies:
51. 
Cover image for CMOS Circuits for Passive Wireless Microsystems
CMOS Circuits for Passive Wireless Microsystems
Author 
Yuan, Fei. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4419-7680-2
Format: 
Availability 
Online Library~1
Available:
Copies:
52. 
Cover image for Digitally-Assisted Analog and RF CMOS Circuit Design for Software-Defined Radio
Digitally-Assisted Analog and RF CMOS Circuit Design for Software-Defined Radio
Author 
Okada, Kenichi. editor. Kousai, Shouhei. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4419-8514-9
Format: 
Availability 
Online Library~1
Available:
Copies:
53. 
Cover image for The Simple Art of SoC Design Closing the Gap between RTL and ESL
The Simple Art of SoC Design Closing the Gap between RTL and ESL
Author 
Keating, Michael. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4419-8586-6
Format: 
Availability 
Online Library~1
Available:
Copies:
54. 
Cover image for Multi-objective Design Space Exploration of Multiprocessor SoC Architectures The MULTICUBE Approach
Multi-objective Design Space Exploration of Multiprocessor SoC Architectures The MULTICUBE Approach
Author 
Silvano, Cristina. editor. Fornaciari, William. editor. Villar, Eugenio. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4419-8837-9
Format: 
Availability 
Online Library~1
Available:
Copies:
55. 
Cover image for Nano-Electronic Devices Semiclassical and Quantum Transport Modeling
Nano-Electronic Devices Semiclassical and Quantum Transport Modeling
Author 
Vasileska, Dragica. editor. Goodnick, Stephen M. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4419-8840-9
Format: 
Availability 
Online Library~1
Available:
Copies:
56. 
Cover image for Principles of VLSI RTL Design A Practical Guide
Principles of VLSI RTL Design A Practical Guide
Author 
Churiwala, Sanjay. author. Garg, Sapan. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4419-9296-3
Format: 
Availability 
Online Library~1
Available:
Copies:
57. 
Cover image for High-Level Verification Methods and Tools for Verification of System-Level Designs
High-Level Verification Methods and Tools for Verification of System-Level Designs
Author 
Kundu, Sudipta. author. Lerner, Sorin. author. Gupta, Rajesh K. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4419-9359-5
Format: 
Availability 
Online Library~1
Available:
Copies:
58. 
Cover image for Reconfigurable Computing From FPGAs to Hardware/Software Codesign
Reconfigurable Computing From FPGAs to Hardware/Software Codesign
Author 
Cardoso, João M. P. editor. Hübner, Michael. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-0061-5
Format: 
Availability 
Online Library~1
Available:
Copies:
59. 
Cover image for Scalable Techniques for Formal Verification
Scalable Techniques for Formal Verification
Author 
Ray, Sandip. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4419-5998-0
Format: 
Availability 
Online Library~1
Available:
Copies:
60. 
Cover image for A Practical Introduction to Hardware/Software Codesign
A Practical Introduction to Hardware/Software Codesign
Author 
Schaumont, Patrick R. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4419-6000-9
Format: 
Availability 
Online Library~1
Available:
Copies:
61. 
Cover image for Low Power Hardware Synthesis from Concurrent Action-Oriented Specifications
Low Power Hardware Synthesis from Concurrent Action-Oriented Specifications
Author 
Singh, Gaurav. author. Shukla, Sandeep K. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4419-6481-6
Format: 
Availability 
Online Library~1
Available:
Copies:
62. 
Cover image for Design and Verification of Microprocessor Systems for High-Assurance Applications
Design and Verification of Microprocessor Systems for High-Assurance Applications
Author 
Hardin, David S. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4419-1539-9
Format: 
Availability 
Online Library~1
Available:
Copies:
63. 
Cover image for Embedded Software Design and Programming of Multiprocessor System-on-Chip Simulink and System C Case Studies
Embedded Software Design and Programming of Multiprocessor System-on-Chip Simulink and System C Case Studies
Author 
Popovici, Katalin. author. Rousseau, Frédéric. author. Jerraya, Ahmed A. author. Wolf, Marilyn. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4419-5567-8
Format: 
Availability 
Online Library~1
Available:
Copies:
64. 
Cover image for Extreme Low-Power Mixed Signal IC Design Subthreshold Source-Coupled Circuits
Extreme Low-Power Mixed Signal IC Design Subthreshold Source-Coupled Circuits
Author 
Tajalli, Armin. author. Leblebici, Yusuf. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4419-6478-6
Format: 
Availability 
Online Library~1
Available:
Copies:
65. 
Cover image for Processor and System-on-Chip Simulation
Processor and System-on-Chip Simulation
Author 
Leupers, Rainer. editor. Temam, Olivier. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4419-6175-4
Format: 
Availability 
Online Library~1
Available:
Copies:
66. 
Cover image for FPGA Design Best Practices for Team-based Design
FPGA Design Best Practices for Team-based Design
Author 
Simpson, Philip. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4419-6339-0
Format: 
Availability 
Online Library~1
Available:
Copies:
67. 
Cover image for Software Automatic Tuning From Concepts to State-of-the-Art Results
Software Automatic Tuning From Concepts to State-of-the-Art Results
Author 
Naono, Ken. editor. Teranishi, Keita. editor. Cavazos, John. editor. Suda, Reiji. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4419-6935-4
Format: 
Availability 
Online Library~1
Available:
Copies:
68. 
Cover image for Designing Inclusive Interactions Inclusive Interactions Between People and Products in Their Contexts of Use
Designing Inclusive Interactions Inclusive Interactions Between People and Products in Their Contexts of Use
Author 
Langdon, Patrick Martin. editor. Clarkson, Peter John. editor. Robinson, Peter. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-84996-166-0
Format: 
Availability 
Online Library~1
Available:
Copies:
69. 
Cover image for Quantifying and Exploring the Gap Between FPGAs and ASICs Measuring and Exploring
Quantifying and Exploring the Gap Between FPGAs and ASICs Measuring and Exploring
Author 
Kuon, Ian. author. Rose, Jonathan. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4419-0739-4
Format: 
Availability 
Online Library~1
Available:
Copies:
70. 
Cover image for Power-Aware Testing and Test Strategies for Low Power Devices
Power-Aware Testing and Test Strategies for Low Power Devices
Author 
Girard, Patrick. editor. Nicolici, Nicola. editor. Wen, Xiaoqing. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4419-0928-2
Format: 
Availability 
Online Library~1
Available:
Copies:
71. 
Cover image for Analysis and Design of Resilient VLSI Circuits Mitigating Soft Errors and Process Variations
Analysis and Design of Resilient VLSI Circuits Mitigating Soft Errors and Process Variations
Author 
Garg, Rajesh. author. Khatri, Sunil P. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4419-0931-2
Format: 
Availability 
Online Library~1
Available:
Copies:
72. 
Cover image for Advanced Test Methods for SRAMs Effective Solutions for Dynamic Fault Detection in Nanoscaled Technologies
Advanced Test Methods for SRAMs Effective Solutions for Dynamic Fault Detection in Nanoscaled Technologies
Author 
Bosio, Alberto. author. Dilillo, Luigi. author. Girard, Patrick. author. Pravossoudovitch, Serge. author. Virazel, Arnaud. author.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4419-0938-1
Format: 
Availability 
Online Library~1
Available:
Copies:
73. 
Cover image for Designing Embedded Systems with the SIGNAL Programming Language Synchronous, Reactive Specification
Designing Embedded Systems with the SIGNAL Programming Language Synchronous, Reactive Specification
Author 
Gamatie, Abdoulaye. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4419-0941-1
Format: 
Availability 
Online Library~1
Available:
Copies:
74. 
Cover image for Hardware Acceleration of EDA Algorithms Custom ICs, FPGAs and GPUs
Hardware Acceleration of EDA Algorithms Custom ICs, FPGAs and GPUs
Author 
Gulati, Kanupriya. author. Khatri, Sunil P. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4419-0944-2
Format: 
Availability 
Online Library~1
Available:
Copies:
75. 
Cover image for On and Off-Chip Crosstalk Avoidance in VLSI Design
On and Off-Chip Crosstalk Avoidance in VLSI Design
Author 
Duan, Chunjie. author. LaMeres, Brock J. author. Khatri, Sunil P. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4419-0947-3
Format: 
Availability 
Online Library~1
Available:
Copies:
76. 
Cover image for Minimizing and Exploiting Leakage in VLSI Design
Minimizing and Exploiting Leakage in VLSI Design
Author 
Jayakumar, Nikhil. author. Paul, Suganth. author. Garg, Rajesh. author. Gulati, Kanupriya. author. Khatri, Sunil P. author.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4419-0950-3
Format: 
Availability 
Online Library~1
Available:
Copies:
77. 
Cover image for VLSI Design for Video Coding H.264/AVC Encoding from Standard Specification to Chip
VLSI Design for Video Coding H.264/AVC Encoding from Standard Specification to Chip
Author 
Lin, Youn-Long Steve. author. Kao, Chao-Yang. author. Kuo, Hung-Chih. author. Chen, Jian-Wen. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4419-0959-6
Format: 
Availability 
Online Library~1
Available:
Copies:
78. 
Cover image for ESL Models and their Application Electronic System Level Design and Verification in Practice
ESL Models and their Application Electronic System Level Design and Verification in Practice
Author 
Bailey, Brian. author. Martin, Grant. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4419-0965-7
Format: 
Availability 
Online Library~1
Available:
Copies:
79. 
Cover image for C Compilers for ASIPs Automatic Compiler Generation with LISA
C Compilers for ASIPs Automatic Compiler Generation with LISA
Author 
Hohenauer, Manuel. author. Leupers, Rainer. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4419-1176-6
Format: 
Availability 
Online Library~1
Available:
Copies:
80. 
Cover image for Security in Embedded Devices
Security in Embedded Devices
Author 
Gebotys, Catherine H. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4419-1530-6
Format: 
Availability 
Online Library~1
Available:
Copies:
81. 
Cover image for Power-efficient System Design
Power-efficient System Design
Author 
Panda, Preeti Ranjan. author. Silpa, B. V. N. author. Shrivastava, Aviral. author. Gummidipudi, Krishnaiah. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4419-6388-8
Format: 
Availability 
Online Library~1
Available:
Copies:
82. 
Cover image for Synthesis of Embedded Software Frameworks and Methodologies for Correctness by Construction
Synthesis of Embedded Software Frameworks and Methodologies for Correctness by Construction
Author 
Shukla, Sandeep K. editor. Talpin, Jean-Pierre. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4419-6400-7
Format: 
Availability 
Online Library~1
Available:
Copies:
83. 
Cover image for SystemC: From the Ground Up
SystemC: From the Ground Up
Author 
Black, David C. author. Donovan, Jack. author. Bunton, Bill. author. Keist, Anna. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-387-69958-5
Format: 
Availability 
Online Library~1
Available:
Copies:
84. 
Cover image for Static Timing Analysis for Nanometer Designs A Practical Approach
Static Timing Analysis for Nanometer Designs A Practical Approach
Author 
Chadha, Rakesh. author. Bhasker, J. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-387-93820-2
Format: 
Availability 
Online Library~1
Available:
Copies:
85. 
Cover image for Embedded System Design Modeling, Synthesis and Verification
Embedded System Design Modeling, Synthesis and Verification
Author 
Gajski, Daniel D. author. Abdi, Samar. author. Gerstlauer, Andreas. author. Schirner, Gunar. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4419-0504-8
Format: 
Availability 
Online Library~1
Available:
Copies:
86. 
Cover image for Functional Design Errors in Digital Circuits Diagnosis, Correction and Repair
Functional Design Errors in Digital Circuits Diagnosis, Correction and Repair
Author 
Chang, Kai-hui. author. Markov, Igor L. author. Bertacco, Valeria. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4020-9365-4
Format: 
Availability 
Online Library~1
Available:
Copies:
87. 
Cover image for Hardware Software Co-Design of a Multimedia SOC Platform
Hardware Software Co-Design of a Multimedia SOC Platform
Author 
Chen, Sao-Jie. author. Lin, Guang-Huei. author. Hsiung, Pao-Ann. author. Hu, Yu-Hen. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4020-9623-5
Format: 
Availability 
Online Library~1
Available:
Copies:
88. 
Cover image for Model Predictive Control System Design and Implementation Using MATLAB®
Model Predictive Control System Design and Implementation Using MATLAB®
Author 
Wang, Liuping. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-84882-331-0
Format: 
Availability 
Online Library~1
Available:
Copies:
89. 
Cover image for Introduction to Embedded System Design Using Field Programmable Gate Arrays
Introduction to Embedded System Design Using Field Programmable Gate Arrays
Author 
Dubey, Rahul. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-84882-016-6
Format: 
Availability 
Online Library~1
Available:
Copies:
90. 
Cover image for Nanosystems Design and Technology
Nanosystems Design and Technology
Author 
Micheli, Giovanni. author. Leblebici, Yusuf. author. Gijs, Martin. author. Vörös, Janos. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4419-0255-9
Format: 
Availability 
Online Library~1
Available:
Copies:
91. 
Cover image for Clocking in Modern VLSI Systems
Clocking in Modern VLSI Systems
Author 
Xanthopoulos, Thucydides. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4419-0261-0
Format: 
Availability 
Online Library~1
Available:
Copies:
92. 
Cover image for Open Verification Methodology Cookbook
Open Verification Methodology Cookbook
Author 
Glasser, Mark. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4419-0968-8
Format: 
Availability 
Online Library~1
Available:
Copies:
93. 
Cover image for Carbon Nanotube Electronics
Carbon Nanotube Electronics
Author 
Kong, Jing. editor. Javey, Ali. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-387-69285-2
Format: 
Availability 
Online Library~1
Available:
Copies:
94. 
Cover image for Timing Optimization Through Clock Skew Scheduling
Timing Optimization Through Clock Skew Scheduling
Author 
Kourtev, Ivan S. editor. Taskin, Baris. editor. Friedman, Eby G. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-387-71056-3
Format: 
Availability 
Online Library~1
Available:
Copies:
95. 
Cover image for Functional Verification Coverage Measurement and Analysis
Functional Verification Coverage Measurement and Analysis
Author 
Piziali, Andrew. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b117979
Format: 
Availability 
Online Library~1
Available:
Copies:
96. 
Cover image for Creating Assertion-Based IP
Creating Assertion-Based IP
Author 
Foster, Harry D. author. Krolnik, Adam C. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-387-68398-0
Format: 
Availability 
Online Library~1
Available:
Copies:
97. 
Cover image for Nanometer Technology Designs High-Quality Delay Tests
Nanometer Technology Designs High-Quality Delay Tests
Author 
Tehranipoor, Mohammad. author. Ahmed, Nisar. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-387-75728-5
Format: 
Availability 
Online Library~1
Available:
Copies:
98. 
Cover image for Low-Power High-Level Synthesis for Nanoscale CMOS Circuits
Low-Power High-Level Synthesis for Nanoscale CMOS Circuits
Author 
Patra, Priyardarsan. author. Kougianos, Elias. author. Ranganathan, Nagarajan. author. Mohanty, Saraju P. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-387-76474-0
Format: 
Availability 
Online Library~1
Available:
Copies:
99. 
Cover image for CMOS Active Inductors and Transformers Principle, Implementation, and Applications
CMOS Active Inductors and Transformers Principle, Implementation, and Applications
Author 
Yuan, Fei. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-387-76479-5
Format: 
Availability 
Online Library~1
Available:
Copies:
100. 
Cover image for System Verilog for Verification A Guide to Learning the Testbench Language Features
System Verilog for Verification A Guide to Learning the Testbench Language Features
Author 
Spear, Chris. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-387-76530-3
Format: 
Availability 
Online Library~1
Available:
Copies:
101. 
Cover image for Design for Manufacturability and Statistical Design A Constructive Approach
Design for Manufacturability and Statistical Design A Constructive Approach
Author 
Orshansky, Michael. author. Nassif, Sani R. author. Boning, Duane. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-387-69011-7
Format: 
Availability 
Online Library~1
Available:
Copies:
102. 
Cover image for Power Distribution Networks with On-Chip Decoupling Capacitors
Power Distribution Networks with On-Chip Decoupling Capacitors
Author 
Popovich, Mikhhail. author. Mezhiba, Andrey V. author. Friedman, Eby G. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-387-71601-5
Format: 
Availability 
Online Library~1
Available:
Copies:
103. 
Cover image for Standardized Functional Verification
Standardized Functional Verification
Author 
Wiemann, Alan. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-387-71733-3
Format: 
Availability 
Online Library~1
Available:
Copies:
104. 
Cover image for Rapid Prototyping of Digital Systems
Rapid Prototyping of Digital Systems
Author 
Hamblen, James O. author. Hall, Tyson S. author. Furman, Michael D. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-387-72671-7
Format: 
Availability 
Online Library~1
Available:
Copies:
105. 
Cover image for Systematic Methodology for Real-Time Cost-Effective Mapping of Dynamic Concurrent Task-Based Systems on Heterogeneous Platforms
Systematic Methodology for Real-Time Cost-Effective Mapping of Dynamic Concurrent Task-Based Systems on Heterogeneous Platforms
Author 
Ma, Zhe. editor. Marchal, Pol. editor. Scarpazza, Daniele Paolo. editor. Yang, Peng. editor. Wong, Chun. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4020-6344-2
Format: 
Availability 
Online Library~1
Available:
Copies:
106. 
Cover image for CMOS Current-Mode Circuits for Data Communications
CMOS Current-Mode Circuits for Data Communications
Author 
Yuan, Fei. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-387-47691-9
Format: 
Availability 
Online Library~1
Available:
Copies:
107. 
Cover image for Routing Congestion in VLSI Circuits: Estimation and Optimization
Routing Congestion in VLSI Circuits: Estimation and Optimization
Author 
Saxena, Prashant. author. Shelar, Rupesh S. author. Sapatnekar, Sachin S. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/0-387-48550-3
Format: 
Availability 
Online Library~1
Available:
Copies:
108. 
Cover image for Global Specification and Validation of Embedded Systems Integrating Heterogeneous Components
Global Specification and Validation of Embedded Systems Integrating Heterogeneous Components
Author 
Nicolescu, G. editor. Jerraya, A. A. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4020-6153-0
Format: 
Availability 
Online Library~1
Available:
Copies:
109. 
Cover image for Full-Chip Nanometer Routing Techniques
Full-Chip Nanometer Routing Techniques
Author 
Ho, Tsung-Yi. author. Chang, Yao-Wen. author. Chen, Sao-Jie. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4020-6195-0
Format: 
Availability 
Online Library~1
Available:
Copies:
110. 
Cover image for Inverse Problems in Electric Circuits and Electromagnetics
Inverse Problems in Electric Circuits and Electromagnetics
Author 
Chechurin, V. L. author. Korovkin, N. V. author. Hayakawa, M. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-387-46047-5
Format: 
Availability 
Online Library~1
Available:
Copies:
111. 
Cover image for Dynamics of Microelectromechanical Systems
Dynamics of Microelectromechanical Systems
Author 
Lobontiu, Nicolae. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-387-68195-5
Format: 
Availability 
Online Library~1
Available:
Copies:
112. 
Cover image for Closing the Power Gap Between ASIC & Custom Tools and Techniques for Low Power Design
Closing the Power Gap Between ASIC & Custom Tools and Techniques for Low Power Design
Author 
Chinnery, David. author. Keutzer, Kurt. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-387-68953-1
Format: 
Availability 
Online Library~1
Available:
Copies:
113. 
Cover image for Verilog and SystemVerilog Gotchas 101 Common Coding Errors and How to Avoid Them
Verilog and SystemVerilog Gotchas 101 Common Coding Errors and How to Avoid Them
Author 
Sutherland, Stuart. author. Mills, Don. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-387-71715-9
Format: 
Availability 
Online Library~1
Available:
Copies:
114. 
Cover image for Hardware Verification with SystemVerilog An Object-Oriented Framework
Hardware Verification with SystemVerilog An Object-Oriented Framework
Author 
Mintz, Mike. author. Ekendahl, Robert. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-387-71740-1
Format: 
Availability 
Online Library~1
Available:
Copies:
115. 
Cover image for Layoutsynthese elektronischer Schaltungen — Grundlegende Algorithmen für die Entwurfsautomatisierung
Layoutsynthese elektronischer Schaltungen — Grundlegende Algorithmen für die Entwurfsautomatisierung
Author 
Lienig, Jens. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/3-540-29942-4
Format: 
Availability 
Online Library~1
Available:
Copies:
116. 
Cover image for Leakage in Nanometer CMOS Technologies
Leakage in Nanometer CMOS Technologies
Author 
Narendra, Siva G. author. Chandrakasan, Anantha. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/0-387-28133-9
Format: 
Availability 
Online Library~1
Available:
Copies:
117. 
Cover image for Scalable Hardware Verification with Symbolic Simulation
Scalable Hardware Verification with Symbolic Simulation
Author 
Bertacco, Valeria. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/0-387-29906-8
Format: 
Availability 
Online Library~1
Available:
Copies:
118. 
Cover image for Embedded System Design
Embedded System Design
Author 
Marwedel, Peter. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/0-387-30087-2
Format: 
Availability 
Online Library~1
Available:
Copies:
119. 
Cover image for Constraint-Based Verification
Constraint-Based Verification
Author 
Yuan, Jun. author. Pixley, Carl. author. Aziz, Adnan. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/0-387-30784-2
Format: 
Availability 
Online Library~1
Available:
Copies:
120. 
Cover image for Abstraction Refinement for Large Scale Model Checking
Abstraction Refinement for Large Scale Model Checking
Author 
Wang, Chao. author. Hachtel, Gary D. author. Somenzi, Fabio. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/0-387-34600-7
Format: 
Availability 
Online Library~1
Available:
Copies:
121. 
Cover image for The Core Test Wrapper Handbook Rationale and Application of IEEE Std. 1500™
The Core Test Wrapper Handbook Rationale and Application of IEEE Std. 1500™
Author 
Silva, Francisco. author. McLaurin, Teresa. author. Waayers, Tom. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/0-387-34609-0
Format: 
Availability 
Online Library~1
Available:
Copies:
122. 
Cover image for Thermal and Power Management of Integrated Circuits
Thermal and Power Management of Integrated Circuits
Author 
Vassighi, Arman. author. Sachdev, Manoj. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/0-387-29749-9
Format: 
Availability 
Online Library~1
Available:
Copies:
123. 
Cover image for Writing Testbenches using System Verilog
Writing Testbenches using System Verilog
Author 
Bergeron, Janick. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/0-387-31275-7
Format: 
Availability 
Online Library~1
Available:
Copies:
124. 
Cover image for A Roadmap for Formal Property Verification
A Roadmap for Formal Property Verification
Author 
DasGupta, Pallab. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4020-4758-9
Format: 
Availability 
Online Library~1
Available:
Copies:
125. 
Cover image for Integrated System-Level Modeling of Network-on-Chip enabled Multi-Processor Platforms
Integrated System-Level Modeling of Network-on-Chip enabled Multi-Processor Platforms
Author 
Kogel, Tim. author. Leupers, Rainer. author. Meyr, Heinrich. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/1-4020-4826-2
Format: 
Availability 
Online Library~1
Available:
Copies:
126. 
Cover image for Semiconductor Modeling For Simulating Signal, Power, and Electromagnetic Integrity
Semiconductor Modeling For Simulating Signal, Power, and Electromagnetic Integrity
Author 
Leventhal, Roy G. author. Green, Lynne. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b104647
Format: 
Availability 
Online Library~1
Available:
Copies:
127. 
Cover image for Verification Methodology Manual for SystemVerilog
Verification Methodology Manual for SystemVerilog
Author 
Bergeron, Janick. author. Cerny, Eduard. author. Hunter, Alan. author. Nightingale, Andrew. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b135575
Format: 
Availability 
Online Library~1
Available:
Copies:
128. 
Cover image for Electromagnetic Compatibility of Integrated Circuits Techniques for low emission and susceptibility
Electromagnetic Compatibility of Integrated Circuits Techniques for low emission and susceptibility
Author 
Ben Dhia, Sonia. editor. Ramdani, Mohamed. editor. Sicard, Etienne. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b137864
Format: 
Availability 
Online Library~1
Available:
Copies:
129. 
Cover image for Systemverilog for Verification A Guide to Learning the Testbench Language Features
Systemverilog for Verification A Guide to Learning the Testbench Language Features
Author 
Spear, Chris. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b138536
Format: 
Availability 
Online Library~1
Available:
Copies:
130. 
Cover image for Rapid Prototyping of Digital Systems
Rapid Prototyping of Digital Systems
Author 
Hamblen, James O. author. Hall, Tyson S. author. Furman, Michael D. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/0-387-28965-8
Format: 
Availability 
Online Library~1
Available:
Copies:
131. 
Cover image for Interconnect Noise Optimization in Nanometer Technologies
Interconnect Noise Optimization in Nanometer Technologies
Author 
Elgamel, Mohamed A. author. Bayoumi, Magdy A. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/0-387-29366-3
Format: 
Availability 
Online Library~1
Available:
Copies:
132. 
Cover image for A Practical Introduction to PSL
A Practical Introduction to PSL
Author 
Eisner, Cindy. author. Fisman, Dana. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-387-36123-9
Format: 
Availability 
Online Library~1
Available:
Copies:
133. 
Cover image for Hardware Verification with C++ A Practitioner’s Handbook
Hardware Verification with C++ A Practitioner’s Handbook
Author 
Mintz, Mike. author. Ekendahl, Robert. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-387-36254-0
Format: 
Availability 
Online Library~1
Available:
Copies:
134. 
Cover image for SystemVerilog for Design A Guide to Using SystemVerilog for Hardware Design and Modeling
SystemVerilog for Design A Guide to Using SystemVerilog for Hardware Design and Modeling
Author 
Sutherland, Stuart. author. Davidmann, Simon. author. Flake, Peter. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/0-387-36495-1
Format: 
Availability 
Online Library~1
Available:
Copies:
135. 
Cover image for Reuse-Based Methodologies and Tools in the Design of Analog and Mixed-Signal Integrated Circuits
Reuse-Based Methodologies and Tools in the Design of Analog and Mixed-Signal Integrated Circuits
Author 
CASTRO-LÓPEZ, R. author. FERNÁNDEZ, F.V. author. GUERRA-VINUESA, O. author. RODRÍGUEZ-VÁZQUEZ, Á. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4020-5139-5
Format: 
Availability 
Online Library~1
Available:
Copies:
136. 
Cover image for Design of Embedded Control Systems
Design of Embedded Control Systems
Author 
Adamski, Marian Andrzej. author. Karatkevich, Andrei. author. Wegrzyn, Marek. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/0-387-28327-7
Format: 
Availability 
Online Library~1
Available:
Copies:
137. 
Cover image for Digital Design and Implementation with Field Programmable Devices
Digital Design and Implementation with Field Programmable Devices
Author 
Navabi, Zainalabedin. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b117975
Format: 
Availability 
Online Library~1
Available:
Copies:
138. 
Cover image for Assertion-Based Design
Assertion-Based Design
Author 
Foster, Harry. author. Krolnik, Adam. author. Lacey, David. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b117047
Format: 
Availability 
Online Library~1
Available:
Copies:
139. 
Cover image for Direct Transistor-level Layout for Digital Blocks
Direct Transistor-level Layout for Digital Blocks
Author 
Gopalakrishnan, Prakash. author. Rutenbar, Rob A. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b117054
Format: 
Availability 
Online Library~1
Available:
Copies:
140. 
Cover image for SystemC Kernel Extensions for Heterogeneous System Modeling A framework for Multi-MoC Modeling & Simulation
SystemC Kernel Extensions for Heterogeneous System Modeling A framework for Multi-MoC Modeling & Simulation
Author 
Patel, Hiren D. author. Shukla, Sandeep K. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b117249
Format: 
Availability 
Online Library~1
Available:
Copies:
141. 
Cover image for Interconnect-Centric Design for Advanced SoC and NoC
Interconnect-Centric Design for Advanced SoC and NoC
Author 
Nurmi, Jari. editor. Tenhunen, Hannu. editor. Isoaho, Jouni. editor. Jantsch, Axel. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b117241
Format: 
Availability 
Online Library~1
Available:
Copies:
142. 
Cover image for Mixed-Signal Layout Generation Concepts
Mixed-Signal Layout Generation Concepts
Author 
Lin, Chieh. author. Roermund, Arthur H. M. author. Leenaerts, Domine M. W. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b106472
Format: 
Availability 
Online Library~1
Available:
Copies:
143. 
Cover image for Advances in Design and Specification Languages for SoCs Selected Contributions from FDL’04
Advances in Design and Specification Languages for SoCs Selected Contributions from FDL’04
Author 
Boulet, Pierre. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b136935
Format: 
Availability 
Online Library~1
Available:
Copies:
144. 
Cover image for Functional Verification of Programmable Embedded Architectures A Top-Down Approach
Functional Verification of Programmable Embedded Architectures A Top-Down Approach
Author 
Mishra, Prabhat. author. Dutt, Nikil D. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b137514
Format: 
Availability 
Online Library~1
Available:
Copies:
145. 
Cover image for Taxonomies for the Development and Verification of Digital Systems
Taxonomies for the Development and Verification of Digital Systems
Author 
Bailey, Brian. editor. Martin, Grant. editor. Anderson, Thomas. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b104217
Format: 
Availability 
Online Library~1
Available:
Copies: